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:
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}.
| 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 |