Bringing Computer Science
Logic to all parts
of the world
Invited speakers
overview
committees
programme
dates
invited speakers
hotel and travel information
call for papers
submission
registration
Helmut Veith
: Technische Universität München
Richard Waldinger
: SRI
J.A. Makowsky
: Technion
© 2007 LPAR