4th International Workshop on the Implementation of Logics
Friday September 26th, 2003, Almaty, Kazakhstan


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.


Call for papers (submisson closed)

Important dates:

Registration:

LPAR 2003 registration fee covers the workshop. Workshop only registration is also available; the workshop only fee is 120 EUR. For further details on travel, registration, accommodation, and related issues please see the LPAR 2003 web page.

Workshop program

Workshop proceedings

Program committee:

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


Previous events:

Reunion Workshop (held in conjunction with LPAR'2000 on Reunion Island),
Second Workshop in Cuba (together with LPAR'2001 in Havana, Cuba),
Third workshop in Tbilisi (together with LPAR'2002 in Tbilisi, Georgia).

Maintained by Boris Konev, B.Konev@csc.liv.ac.ukLast updated September 16, 2003.