🚀 go-pugleaf

                          SECOND CALL FOR PAPERS

                      Frontiers of Combining Systems
                                 FroCoS'98

                      ILLC,  University of Amsterdam
                             October 2-4, 1998

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

The first international workshop on `Frontiers of Combining Systems' 
(FroCoS'96) was held in Munich in 1996.  Like its predecessor, `Frontiers of 
Combining Systems `98' (FroCoS'98) is intended to offer a common forum for 
research activities in the general area of combination and integration of 
systems.  It also offers the possibility to present results on particular 
instances of combination and integration, and on their practical use.

TOPICS OF INTEREST
Papers on the following topics are especially welcome:
  + combination of constraint solving techniques and combination of 
    decision procedures
  + integration of data structures deduction processes
  + integration of equational and other theories into deductive systems
  + combinations of logics and of term rewriting systems
  + hybrid systems in computational linguistics, knowledge representation, 
    natural language processing, and HCI
  + logical modeling of multi-agent systems.
Papers on related subjects will also be considered.

PROGRAM COMMITTEE
Franz Baader, David Basin, Jacques Calmet, Dov Gabbay (co-chair), Natasha 
Kurtonina, Aart Middeldorp, Istvan Nemeti, Jochen Pfalzgraf, Maarten de 
Rijke (co-chair), Christophe Ringeissen, Klaus Schulz, Amilcar Sernadas, 
John Slaney, Michael Wooldridge

INVITED SPEAKERS
Krzysztof Apt, Doug Howe, Claude Kirchner and Andrzej Tarlecki (unconf.).

PAPER SUBMISSIONS
Authors are invited to submit original research papers by e-mail 
(preferred) or surface mail to the second Programme Committee co-chair at

  frocos98@wins.uva.nl

using `Submission' as the subject line, or at

  Maarten de Rijke
  attn: FroCoS'98
  ILLC, University of Amsterdam
  Plantage Muidergracht 24
  1018 TV Amsterdam
  The Netherlands

Submissions may not exceed 15 typed pages in no less than 11-point font.  
They should be formatted as a PostScript file in A4 size.

The cover page should include title, authors, and the coordinates of the 
corresponding author.  Submissions should begin with a succinct statement 
of the issues, a summary of the main results, and a brief explanation of 
their significance and relevance to the workshop.  References and 
comparisons with related work should be included.  Results must be 
unpublished, and not submitted for publication elsewhere.

Submissions must be received no later than May 15, 1998.  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; final versions of accepted papers are due September 1, 1998.  It is a 
condition of acceptance that at least one author of each accepted paper 
attends the workshop to present the work.  We intend to publish the 
proceedings as a volume of the Kluwer series on ``Applied Logic.''

IMPORTANT DATES
  + Deadline for submissions: May 15, 1998
  + Notification: July 15, 1998
  + Final version of accepted papers due: September 1, 1998
  + Workshop dates: Friday October 2 - Sunday October 4, 1998

LOCAL ARRANGEMENTS
Carlos Areces, Christof Monz, Maarten de Rijke, Marco de Vries

SPONSORS
FroCoS'98 is sponsored by the Spinoza project `Logic in Action' at ILLC, 
University of Amsterdam.

FURTHER INFORMATION
Further information and a PostScript version of this Call for Papers is 
available on the World Wide Web at http://www.wins.uva.nl/~mdr/FroCoS98 .