Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
From: Stephan Kepser <kepser@cis.uni-muenchen.de>
Message-Id: <9506140037.AA17839@thecube.cis.uni-muenchen.de>
Date: Wed, 14 Jun 95 02:37:17 +0200
To: info-hol@cs.uidaho.edu
Subject: 1st CFP FroCS96


                       First 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''.


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


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
First 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*{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-Schau{\ss},
K.U.~Schulz.

\subsubsection*{Program Chair:}

F.~Baader \& K.U.~Schulz.

\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 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}