[DL] CFP: Third International Workshop on the Implementation of Logics

[lpar2002 at cs.man.ac.uk]

              Call for submissions (extended deadline)

     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 provers and other 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 information:

   * Submission of abstracts: July 30th, 2002 (extended)
   * 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 Fruewirth          (Univ. Ulm)
 Thomas Hillenbrand      Max-Planck-Institut
 William McCune          Argonne National Labs
 Robert Nieuwenhuis      Tech. Univ. Catalonia, Barcelona (Chair)
 Renate Schmidt          Univ. Manchester / Max-Planck-Institute
 Stephan Schulz          TU Mue7nchen
 Hantao Zhang            University of Iowa

For more information, see http://www.lsi.upc.es/~roberto/wil2002.html.