Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
Date: Tue, 16 Jan 1996 22:40:49 +0100 (MET)
From: Stephan Kepser <kepser@cis.uni-muenchen.de>
Message-Id: <199601162140.WAA21444@cis.uni-muenchen.de>
To: info-hol@cs.uidaho.edu
Subject: CfParticipation  FroCoS'96


                       Call for Participation

                    First International Workshop

                 ``Frontiers of Combining Systems''
                             FroCoS'96

                 March 26-29, 1996, Munich, Germany.


Information and Program in the WWW:
  http://www.cis.uni-muenchen.de/hot/frocos96.thml


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. Furthermore, it gives the
possibility to present results on particular instances of combination
and integration, and on their practical use.

Topics of the workshop are:

 * combination of logics (e.g., modal logics, logics in AI, ...)

 * combination of constraint solving techniques  
     (unification and matching algorithms, general symbolic
      constraints, numerical constraints, ...)
     and combination of decision procedures

 * integration of equational and other theories into deductive systems
     (e.g. theory resolution, constraint resolution, constraint
      paramodulation, ...)

 * combination of term rewriting systems

 * integration of data structures (e.g., sets, multisets, lists) 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.


Invited Speakers:

A. Colmerauer, D. Gabbay, U. Glaesser, M. Stickel


Program Committee:

F. Baader, P. Baumgartner, P. Blackburn, A. Bockmayr, A. Boudet,
J. Calmet, A. Colmerauer, D.M. Gabbay, H. Kirchner, H.J. Ohlbach,
J. Pfalzgraf, M. de Rijke, W. Rounds, M. Schmidt-Schauss,
K.U. Schulz. 


Program Chair:

F. Baader  &  K.U. Schulz.


Local Organization:

K.U. Schulz, 
CIS, University of Munich, 
Wagmuellerstr. 23, 
D-80538 Muenchen, 
Germany
E-mail: schulz@cis.uni-muenchen.de