(PN) LPAR’08 workshops
————————————– LPAR’08 Workshops – 22nd November 2008 ————————————– preceding LPAR’08, the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning November 23-27, 2008, Carnegie Mellon University, Doha, Qatar http://www.qatar.cmu.edu/lpar08 ——————————————————————————- 1. APS-4 – Analytic Proof Systems 4 Organizers: Matthias Baaz and Christian Fermueller Submission deadline: October 18, 2008 Submission: 1-2 pages abstract Web: [...]