Following a series of successful
workshops on the implementation of logics held in conjunction with
the LPAR conference, there will be
a
fourth workshop on this topic, to be held in conjunction with the 10th International Conference on Logic for
Programming, Artificial Intelligence, and Reasoning, LPAR 2003, September 22-26,
Almaty, Kazakhstan.
We are looking for contributions describing implementation techniques of automated reasoning programs, theorem provers for various logics, 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, experimental paper, position paper, system description, or research paper of between 2 and 15 pages to B.Konev@csc.liv.ac.uk. 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 of the workshop which will be edited by Boris Konev and
distributed to the participants. Following the workshop, final versions
of the accepted papers will be made available electronically in the
workshop's homepage.
Elvira
Albert |
Universidad Complutense de Madrid |
Bart Demoen | Catholic Univ. Leuven |
Thom Frühwirth | Universität Ulm |
Ullrich Hustadt |
Univ. Liverpool |
Boris Konev (co-chair) |
Univ. Liverpool |
William McCune | Argonne National Laboratory |
Gopalan
Nadathur |
Univ. Minnesota |
Alexandre Riazanov |
Univ. Manchester |
Kostis Sagonas |
Uppsala University |
Renate
Schmidt
(co-chair) |
Univ. Manchester |
Stephan Schulz | Technische Universität München / RISC Linz |
Mark Stickel |
SRI International |
Hantao Zhang |
University of Iowa |