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