Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
4th International Workshop on the Implementation of Logics
[go: Go Back, main page]

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.uk. Last updated September 16, 2003.