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.

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:

We are particularly interested in contributions that help the community to understand how to build useful and powerful reasoning systems in practice.

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.

Important dates:


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.

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 July, 4, 2003.