SECOND CALL FOR PAPERS
Frontiers of Combining Systems
FroCoS'98
In various areas of logic, computation, language processing, and artificial
intelligence there is an obvious need for using specialized formalisms and
inference mechanisms for special tasks. 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 first international workshop on `Frontiers of Combining Systems'
(FroCoS'96) was held in Munich in 1996. Like its predecessor, `Frontiers of
Combining Systems `98' (FroCoS'98) is intended to offer a common forum for
research activities in the general area of combination and integration of
systems. It also offers the possibility to present results on particular
instances of combination and integration, and on their practical use.
TOPICS OF INTEREST
Papers on the following topics are especially welcome:
+ combination of constraint solving techniques and combination of
decision procedures
+ integration of data structures deduction processes
+ integration of equational and other theories into deductive systems
+ combinations of logics and of term rewriting systems
+ hybrid systems in computational linguistics, knowledge representation,
natural language processing, and HCI
+ logical modeling of multi-agent systems.
Papers on related subjects will also be considered.
PROGRAM COMMITTEE
Franz Baader, David Basin, Jacques Calmet, Dov Gabbay (co-chair), Natasha
Kurtonina, Aart Middeldorp, Istvan Nemeti, Jochen Pfalzgraf, Maarten de
Rijke (co-chair), Christophe Ringeissen, Klaus Schulz, Amilcar Sernadas,
John Slaney, Michael Wooldridge
INVITED SPEAKERS
Krzysztof Apt, Doug Howe, Claude Kirchner, and Andrzej Tarlecki (unconf.).
PAPER SUBMISSIONS
Authors are invited to submit original research papers by e-mail
(preferred) or surface mail to the second Program Committee co-chair at
using `Submission' as the subject line, or at
Maarten de Rijke
attn: FroCoS'98
ILLC, University of Amsterdam
Plantage Muidergracht 24
1018 TV Amsterdam
The Netherlands
Submissions may not exceed 15 typed pages in no less than 11-point font.
They should be formatted as a PostScript file in A4 size.
The cover page should include title, authors, and the coordinates of the
corresponding author. Submissions should begin with a succinct statement
of the issues, a summary of the main results, and a brief explanation of
their significance and relevance to the workshop. References and
comparisons with related work should be included. Results must be
unpublished, and not submitted for publication elsewhere.
Submissions must be received no later than May 15, 1998. On the basis of
the referee reports, papers will be selected for presentation at the
workshop and for the proceedings. Authors will be notified by July 15,
1998; final versions of accepted papers are due September 1, 1998. It is a
condition of acceptance that at least one author of each accepted paper
attends the workshop to present the work. We intend to publish the
proceedings as a volume of the Kluwer series on ``Applied Logic.''
IMPORTANT DATES
+ Deadline for submissions: May 15, 1998
+ Notification: July 15, 1998
+ Final version of accepted papers due: September 1, 1998
+ Workshop dates: Friday October 2 - Sunday October 4, 1998
LOCAL ARRANGEMENTS
Carlos Areces, Christof Monz, Maarten de Rijke, Marco de Vries
SPONSORS
FroCoS'98 is sponsored by the Spinoza project `Logic in Action' at ILLC,
University of Amsterdam.
FURTHER INFORMATION
Further information and a PostScript version of this Call for Papers is
available on the World Wide Web at http://www.wins.uva.nl/~mdr/FroCoS98 .
--Maarten de Rijke Phone: +31 20 525 6511 Fax: +31 20 525 5101 ILLC, Univ. of Amsterdam, Plant. Muidergracht 24, 1018 TV Amsterdam Email: mdr@wins.uva.nl WWW: http://www.wins.uva.nl/~mdr