Second International Workshop
FroCoS'98
Frontiers of Combining Systems
October 2-4, 1998, Amsterdam
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. 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. Recently, the development of
general techniques for the combination and integration of special systems
has been initiated in many areas.
After FroCoS'96, `Frontiers of Combining Systems '98' (FroCoS'98) is the
second workshop intended to offer a common forum for these research
activities. It also aims to offer the possibbility of presenting results
on particular instances of combination and integration, and on their
practical use.
TOPICS
------
Suggested, but not exclusive topics of interest for the workshop are:
* combination of constraint solving techniques and combination of
decision procedures
* integration of equational and other theories into deductive systems
* integration of data structures into CLP formalisms and deduction
processes
* combinations of logics and of term rewriting systems
* hybrid systems in computational linguistics, knowledge representation,
natural language processing, and human computer interaction
* logical modeling of multi-agent systems.
PROGRAMME COMMITEE
------------------
Franz Baader, David Basin, Jacques Calmet, Dov Gabbay (co-chair), Natasha
Kurtonina, Aart Middeldorp, Istvan Nemeti, Maarten de Rijke (co-chair),
Christophe Ringeissen, Klaus Schulz, Amilcar Sernadas, Michael Wooldridge
INVITED SPEAKERS
----------------
Names of invited speakers will be released shortly.
PAPER SUBMISSIONS
-----------------
Authors are invited to submit a detailed abstract of a full paper of at
most 10 pages to the second programme co-chair, either by e-mail
(preferred) or regular mail. Results must be unpublished, and not
submitted for publication elsewhere. The cover page should include title,
authors, and the coordinates of the corresponding author. Following this
it should be indicated which of the thematic areas best describes the
content of the paper.
To be considered, submissions must be received no later than May 15, 1998.
All submissions will be thoroughly evaluated. 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. We intend to
publish the proceedings as a volume of the Kluwer series on ``Applied
Logic''.
ADDRESSES FOR SUBMISSIONS
-------------------------
Electronic submissions should be sent to
using `Submission' as the subject line. Paper submissions should be sent to
Maarten de Rijke
attn: FroCoS'98
ILLC, University of Amsterdam
Plantage Muidergracht 24
1018 TV Amsterdam
The Netherlands
IMPORTANT DATES
---------------
Submission deadline: May 15, 1998
Notification: July 15, 1998
Workshop: October 2--4, 1998
LOCAL ARRANGEMENTS
------------------
Carlos Areces, Christof Monz, Maarten de Rijke, Marco de Vries
FURTHER INFORMATION
-------------------
Email inquiries about FroCoS'98 should be directed to frocos98@wins.uva.nl.
Information about FroCoS'98 can be obtained on the World Wide Web at
http://www.wins.uva.nl/~mdr/FroCoS98.
SPONSORS
--------
FroCoS'98 is sponsored by the Computational Logic Project at ILLC,
University of Amsterdam.