Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Date: Sat, 9 Sep 95 22:26:11 +0200
From: Stephan Kepser <kepser@cis.uni-muenchen.de>
Message-Id: <9509092026.AA01044@thecube.cis.uni-muenchen.de>
To: info-hol@cs.uidaho.edu
Subject: 2nd CFP FroCS96


                            Second Call for Papers

                          First International Workshop

                       ``Frontiers of Combining Systems''
                                   FroCoS'96

                       March 26-29, 1996, Munich, Germany.


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.

Suggested, but not exclusive topics of interest for 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.


We hope 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 workshop and for the proceedings.  We intend to
publish the proceedings as one volume of the Kluwer series on
``Applied Logic''.


Invited Speakers:

B. Buchberger, A. Colmerauer, D.M. Gabbay, M. Stickel. 


Program Committee:

F.~Baader (Co-Chair), 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 (Co-Chair).


Local Organization:

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


Paper submissions:

A PostScript version of the full paper (preferable LaTeX format), not
exceeding 15 pages (incl. title page and references), should be
received via e-mail by October 16, 1995.  In addition, one hard copy
of the paper should be received by the same date.  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. Please send submissions to the local
organizer.

Notification of Acceptance: December 1, 1995.

Final Versions due: January 1, 1996.

Information on FroCoS'96 is available by WWW:   
   http://www.cis.uni-muenchen.de} (under ``events'').


------------------------ LaTeX Version -------------------------------
\documentstyle{article}

\pagestyle{empty}

\textheight=760pt\textwidth=470pt\topmargin -45pt
\oddsidemargin=0pt\evensidemargin=0pt\abovedisplayskip=0pt
\belowdisplayskip=0pt\leftmargin=.4cm
\parindent0pt
\parskip 0pt
\topskip0pt 
\begin{document}

\begin{center} \large
Second Call for Papers\\[6pt]

First International Workshop\\[6pt]
{\Huge ``Frontiers of Combining Systems''}\\[6pt]
FroCoS'96\\[7pt]
\large March 26-29, 1996, Munich, Germany.
\end{center}


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.

Suggested, but not exclusive
topics of interest for the workshop are:\vspace*{-5pt}
\begin{itemize}\topsep 0pt\parsep 0pt \itemsep 0pt
 \item combination of logics (e.g., modal logics, logics in AI,\dots)
 \item combination of constraint solving techniques  
      (unification and matching algorithms, general symbolic constraints, numerical constraints,\dots) and 
       combination of decision procedures
 \item integration of equational and other theories into deductive systems (e.g.
     theory resolution, constraint resolution, constraint paramodulation,\dots)
 \item combination of term rewriting systems
 \item integration of data structures (e.g., sets, multisets, lists) into
     CLP formalisms and deduction processes
 \item hybrid systems in computational linguistics, knowledge representation,
     natural language semantics, and human computer interaction
 \item logic modelling of multi-agent systems.
\end{itemize}

We hope 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 workshop and for the proceedings.
We intend to publish the proceedings as one volume of the Kluwer series on ``Applied Logic''. 

\subsubsection*{Invited Speakers:}

B.~Buchberger, A.~Colmerauer, D.M.~Gabbay, M.~Stickel. 

\subsubsection*{Program Committee:}

F.~Baader (Co-Chair), 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-Schau{\ss}, K.U.~Schulz (Co-Chair).

\subsubsection*{Local Organization:} 

K.U.~Schulz, CIS, University of Munich, Wagm\"ullerstr.~23, D-80538 M\"unchen, Germany\\ E-mail: \verb|schulz@cis.uni-muenchen.de|

\subsubsection*{Paper submissions:} 

A PostScript version of the full paper (preferable LaTeX format), not
exceeding 15 pages (incl. title page and references), should be received via e-mail by {\bf October 16, 1995}.
In addition, one hard copy of the paper should be received by the same date. 
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. Please send submissions  to the local organizer.  

Notification of Acceptance: December 1, 1995.

Final Versions due: January 1, 1996.

Information on FroCoS'96 is available by WWW:  {\tt http://www.cis.uni-muenchen.de} (under ``events'').
\end{document}