[Apologies for multiple copies]
Second 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 three 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 published in the proceedings which
will appear in Springer-Verlag LNAI series.
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: armando@dist.unige.it
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 frocos@mrg.dist.unige.it.
Papers should not exceed 15 pages, and should be received via e-mail
by October 15, 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 FroCoS'2002 will be published by
Springer-Verlag in the LNAI series and will be available at the
conference.
Important Dates:
Paper Submissions: October 15, 2001
E-mail for paper submissions: frocos@mrg.dist.unige.it
Notification of Acceptance: December 30, 2001
Final Versions due: January 20, 2002
Conference: April 8-10, 2002
Up-to-date information on FroCoS'2002 is available by WWW:
http://www.mrg.dist.unige.it/conferences/frocos2002/
This archive was generated by hypermail 2b29 : Wed Sep 05 2001 - 15:06:43 PDT