Technische Universität München, Fakultät für Informatik
Lehrstuhl Informatik IV, Research Group Automated Reasoning

2nd International Workshop on Implementation of Logics

*** The workshop is over. Get the proceedings. ***

Sunset under palm trees

Following the successful Reunion Workshop on Implementations of Logic (held in conjunction with LPAR'2000 on Reunion Island), we are now organizing a second workshop on this topic, to be held on December 8th, 2001. The workwhop will be held in conjunction with the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR'2001, in Havana (La Habana), Cuba, December 3-7, 2001.

We have been looking for contributions describing the implementation of automated reasoning programs, theorem provers for various logics, 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.

The deadline has passed, please check below for the list of accepted papers!

Researchers interested in participating are invited to send a short abstract (4 pages) to 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 an MPI preprint by the Max-Plank-Institut für Informatik, and will be distributed at the workshop. If possible, please use LaTeX and the standard article class.

Important information:

Registration is now open, to register, please use the LPAR registration page!

The main LPAR page has travel information. Note in particular that despite the embargo, US citizens are generally allowed to participate in scientific venues like LPAR or the workshop on Cuba by a general license.

Here is a PostScript version of the original call for papers.

Accepted papers

Program committee:

Thom Frühwirth Ludwig-Maximilians-Universität München
Joseph D. Horton University of New Brunswick
Ullrich Hustadt University of Liverpool
Reinhold Letz Technische Universität München
Bernd Löchner Universität Kaiserslautern
William McCune Argonne National Laboratory
Roberto Nieuwenhuis Technical University of Catalonia
Hans De Nivelle (Co-Chair) MPI Saarbrücken
Stephan Schulz (Co-Chair) Technische Universität München
Mark E. Stickel SRI International
Tanel Tammet University of Göteborg and Chalmers University of Technology

Stephan Schulz,, 25.6.2001