First Call for Papers
Fourth International Workshop
``Frontiers of Combining Systems''
FroCoS'2002
April 8-10, 2002
Santa Margherita (near Genova), Italy
http://www.mrg.dist.unige.it/conferences/frocos2002/
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), in Amsterdam (1998), and in
Nancy (2000). Like its predecessors, FroCoS'2002 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.
Suggested, but not exclusive topics of interest for the workshop are:
* combination of logics
* combination of constraint solving techniques, of decision
procedures, of term rewriting systems
* combination of deduction systems and computer algebra
* integration of decision procedures and other solving processes into
constraint programming and deduction systems
* modelisation of hybrid systems
* logic modelling of multi-agent systems.
We expect to attract high quality original papers that cover relevant
aspects of these topics. All submissions will be thoroughly evaluated.
On the basis of the referee reports, papers will be selected for
presentation at the conference and for the published post-conference
proceedings.
Program Committee:
A. Armando (U. Genova)
D. Basin (U. Freiburg)
F. Benhamou (U. Nantes)
J. Calmet (U. Karlsruhe)
G. Delzanno (U. Genova)
B. Gramlich (TU Wien)
D. Kapur (U. New Mexico)
H. Kirchner (LORIA Nancy)
M. Kohlhase (CMU)
C. Ringeissen (LORIA Nancy)
M. Rusinowitch (LORIA Nancy)
K. Schulz (LMU Muenchen)
R. Sebastiani (U. Trento)
C. Tinelli (U. Iowa)
L. Vigano` (U. Freiburg)
F. Wolter (U. Leipzig)
Program Chair:
Alessandro Armando
DIST - University of Genova
Viale Causa, 13
16145 - Genova
Italy
E-mail: [EMAIL PROTECTED]
Local Organization:
A. Armando
L. Compagna
S. Ranise
Paper Submissions:
Authors are encouraged to use LaTeX and the standard article
class/style file (10pt). The primary means of submission will be
electronic, in PostScript format. Papers should be compressed, then
uuencoded, and e-mailed to the address [EMAIL PROTECTED]
Papers should not exceed 15 pages, and should be received via e-mail
by October 1, 2001. Results must be unpublished, and not submitted for
publication elsewhere. Submissions should start with title, author(s)
(names, correspondence addresses, e-mail addresses), and abstract.
The proceedings of the previous edition have been published in the
LNAI series by Springer-Verlag (LNAI, no. 1794).
Important Dates:
Paper Submissions: October 15, 2001
E-mail for paper submissions: [EMAIL PROTECTED]
Notification of Acceptance: December 30, 2001
Final Versions due: February 5, 2002
Conference: April 8-10, 2002
Information on FroCoS'2002 is available by WWW:
http://www.mrg.dist.unige.it/conferences/frocos2002/
