The First Call for Papers is available in two forms:
plain-text and LaTeX respectively.
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. The development of general techniques for the combination and integration of special systems has been initiated in many areas, and the Workshop ``Frontiers of Combining Systems'' intends to offer a common forum for these research activities.
Suggested, but not exclusive topics of interest for the workshop are: combination of logics; combination of constraint solving techniques and combination of decision procedures; integration of equational and other theories into deductive systems; combination of term rewriting systems; integration of data structures into CLP formalisms and deduction processes; hybrid systems in computational linguistics, knowledge representation, natural language semantics, and human computer interaction; logic modelling of multi-agent systems.
Submissions: A PostScript version of the full paper (preferable LaTeX format) via e-mail, and one hard copy, should be received by the due date. Results must be unpublished and not submitted for publication elsewhere. For other submission requirements, see the Call for Papers.
Please send submissions to the local organizer:
K.U. Schulz, CIS, University of Munich,
Wagmüllerstr. 23, D-80538 München, Germany
E-mail: schulz@cis.uni-muenchen.de
Important Dates
Submission Deadline: October 16, 1995
Notification of Acceptance: December 1, 1995
Final Versions due: January 1, 1996
Further Information on FroCoS'96 is available by WWW (under ``events'').