LPAR'08 Workshops
22 November 2008
- APS-4 -
Analytic Proof Systems 4
- Organizers: Matthias Baaz and Christian Fermüller, UT, Vienna
- Submission deadline: October 24, 2008
- Submission: 1-2 pages abstract
- ALICS -
Applications of Logic in Computer Security
- Organizer: Catherine Meadows, NRL
- Submission deadline: October 24, 2008
- Submission: 1-5 pages abstract
- IWIL -
International Workshop on Implementations of Logic
- Organizers: Boris Konev, U. Liverpool, Renate Schmidt, U. Manchester, and Stephan Schulz, TU Munich
- Submission deadline: October 21, 2008
- Submission: 10 pages abstract
- KEAPPA -
Knowledge Exchange: Automated Provers and Proof Assistants
- Organizers: Piotr Rudnicki, U. Alberta, and Geoff Sutcliffe, U. Miami
- Submission deadline: October 18, 2008
- Submission: 10 pages abstract
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.