[om-a] CFP: Third International Workshop on the Implementation of Logics

[Implementation.of.Logics.Workshop at cs.man.ac.uk]

                        Call for submissions

     3rd International Workshop on the Implementation of Logics

                   October 2002, Tbilisi, Georgia

               http://www.lsi.upc.es/~roberto/wil2002


Following the successful Reunion Workshop (held in conjunction with
LPAR'2000 on Reunion Island), and the second Workshop in Cuba
(together with LPAR'2001 in Havana, Cuba), we are now organizing the
third workshop on this topic. Again the workshop will be held in
conjunction with LPAR: the 8th International Conference on Logic for
Programming, Artificial Intelligence, and Reasoning, LPAR 2002 ,
October 14-18th, Tbilisi, Georgia, 2002 (see
http://rpc25.cs.man.ac.uk/lpar2002/).

We are looking for contributions describing implementation techniques
and implementations of automated reasoning programs, logic programming
systems, and related technologies. Topics of interest include, but are
not limited to:

   * Data structures and algorithms for the efficient representation 
     of logical concepts
   * Practical constraint handling
   * Implementation of provers for different logics
   * Efficient model generation
   * Issues of reliability, proof generation and verification
   * Propositional logic and decision procedures
   * Implementation of higher order logics and lambda-calculus
   * Proof search organization and efficient heuristics for classical 
     and inductive provers
   * Experiences with new or unusual calculi
   * Evaluation and benchmarking of logic-based systems

We are particularly interested in contributions that help the
community to understand how to build useful and powerful reasoning
systems in practice.

Researchers interested in participating are invited to send a short
abstract (e.g., 4 pages) to roberto at lsi.upc.es. Submissions will be
refereed by the program committee, which will select a balanced
program of high-quality contributions.

Submissions should be in standard-conforming Postscript or plain
ASCII.  Final versions should be in Postscript and will be included in
the proceedings. The proceedings of the workshop will be published as
a LSI-UPC Technical Report preprint by the Technical University of
Catalonia, and will be distributed at the workshop. Authors are
encouraged to use LaTeX2e and the Springer llncs class files. If you
use this style, turn on page numbers using \pagestyle{plain}.

Important dates:

   * Submission of abstracts: July 20th, 2002
   * Notification: August 8th
   * Final version: October 1st
   * Workshop: one or two days between October 14-18, with LPAR 2002.


Program committee:

 Bart Demoen                Univ. Leuven
 Thom Frühwirth             Ludwig-Maxim.-U. Munich (U. Ulm from 7/02)
 Thomas Hillenbrand         Max-Planck-Institut
 William McCune             Argonne National Labs
 Robert Nieuwenhuis (Chair) TU Catalonia, Barcelona
 Renate Schmidt             U. Manchester / Max-Planck-Inst.
 Stephan Schulz             TU Munich
--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems