FOM: workshop on implementation of logics

[Stephen G Simpson]

 From: lpar2002 at cs.man.ac.uk
 To: "'LPAR 2002 mailing list'" <lpar02 at cs.man.ac.uk>
 Subject: CFP: Third International Workshop on the Implementation of Logics
 Date: Mon, 22 Jul 2002 12:02:54 +0100


	       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.