3rd International Workshop on the Implementation of Logics
Friday October 18th, 2002, Tbilisi, Georgia


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.

The program is available now.

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:

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@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 edited by Robert Nieuwenhuis and distributed at the workshop. Later versions will be electronically available here. A special issue of the Proceedings of the Kurt Goedel Society will appear containing selected papers of 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:

Please see the LPAR 2002 web page for travel, registration, accomodation, and related issues (when available).

Program committee:

Bart Demoen Univ. Leuven
Thom Frühwirth Ludwig-Maximilians-Univ. München (Univ. Ulm from July 1st 2002)
Thomas Hillenbrand Max-Planck-Institut
William McCune Argonne National Labs
Robert Nieuwenhuis (Chair) Technical University of Catalonia
Renate Schmidt Univ. Manchester / Max-Planck-Inst.
Stephan Schulz Technische Universität München
Hantao Zhang University of Iowa