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:
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 email@example.com. 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.
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.
|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|