Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
FroCoS'2000 Call for Participation
[go: Go Back, main page]

Call for Participation

Frontiers of Combining Systems

FroCoS'2000

March 22-24, 2000

Nancy, France

Also available as a txt file

In various areas of computer science, such as logic, computation, program development and proof, artificial intelligence, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques for the combination and integration of special systems has been initiated in many areas. The two previous international workshops on ``Frontiers of Combining Systems'' were held in Munich (1996) and in Amsterdam (1998). Like its predecessors, FroCoS'2000 is intended to offer a common forum for research activities in the general area of combination and integration of systems, and on their practical use.



Topics

Suggested, but not exclusive topics of interest for the workshop are:

We have accepted high quality original papers that cover relevant aspects of these topics. All papers will be presented at the conference and published in the proceedings.



Conference Registration

Until February 22, 2000 the registration fee is 1000 French Francs and 800 French Francs for students. After this date, the fee is 1500 French Francs.

The registration fee includes

To register, please use one of the following methods:



Hotel Accommodation

Participants have to arrange bookings directly with the various hotels located near the site of the conference. The list of suggested hotels can be found here. These hotels keep several rooms available for the conference participants until February 15, 2000. After this date, availability is not guaranteed. Please make your hotel reservation as soon as possible, by quoting FroCoS'2000 Conference (see the list of hotels for phone and fax numbers). Do not hesitate to contact the local organizers for any problem with the hotel reservation.



Invited Speakers

It is unfortunately impossible for Richard Zippel to come to Nancy at the time of the conference. Another talk will be given by Nachum Dershowitz who has kindly accepted our late invitation.



Scientific Program

The full scientific program is available on a separate page.



Proceedings

Accepted papers will appear in the proceedings of the conference, published as a volume of the Lecture Notes in Artificial Intelligence (LNCS) series, Springer-Verlag. Proceedings will be available at the time of the conference. Please note the new deadline for final versions: February 1, 2000.

Authors Instructions can be found here.

The publication date announced by Springer-Verlag is March 15, as volume 1794. The table of contents can be found here (PS file).



Important Dates

FroCoS'2000 is just before ETAPS'2000 (Berlin, March 25- April 2, 2000) so that attendance to both conferences can be suitably combined.



Program Committee



Local Organization



Sponsors