LPAR'08 Workshops
22 November 2008
- APS-4 - Analytic Proof Systems 4 (organized by Matthias Baaz and Christian Fermüller, UT, Vienna)
- ALICS - Applications of Logic in Computer Security (organized by Catherine Meadows, NRL)
- IWIL - International Workshop on Implementations of Logic (organized by Boris Konev, U. Liverpool, Renate Schmidt, U. Manchester, and Stephan Schulz, TU Munich)
- KEAPPA - Knowledge Exchange: Automated Provers and Proof Assistants (organized by Piotr Rudnicki, U. Alberta, and Geoff Sutcliffe, U. Miami)
Sponsorship
For information on exhibition and sponsorship opportunities at the conference, contact Iliano Cervesato at
Press and Media
For media-related inquiries, contact Noha Al Afifi at
Please send email to for any additional information.