Latest Publications

Recent Volumes

• Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors). LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. (EPiC volume 13)
• Alex Simpson (editor). PSPL 2010. International Workshop on Proof Systems for Program Logics (EPiC volume 12)
• Geoff Sutcliffe (editor). CASC-J6. The 6th IJCAR ATP System Competition (EPiC volume 11)
• Andrei Voronkov (editor). Turing-100. The Alan Turing Centenary (EPiC volume 10)
• Renate A. Schmidt, Stephan Schulz and Boris Konev (editors). PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning (EPiC volume 9)
• Daniel Le Berre (editor). POS-10. Pragmatics of SAT (EPiC volume 8)
• Berndt Müller (editor). LAM'10. 3rd International Workshop on Logics, Agents, and Mobility (EPiC volume 7)
• Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors). EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions (EPiC volume 6)
• Ekaterina Komendantskaya, Ana Bove and Milad Niqui (editors). PAR-10. Partiality and Recursion in Interactive Theorem Provers (EPiC volume 5)
• Agostino Dovier, Alessandro Dal Palù and Sebastian Will (editors). WCB10. Workshop on Constraint Based Methods for Bioinformatics (EPiC volume 4)
• Markus Aderhold, Serge Autexier and Heiko Mantel (editors). VERIFY-2010. 6th International Verification Workshop (EPiC volume 3)
• Geoff Sutcliffe, Stephan Schulz and Eugenia Ternovska (editors). IWIL 2010. The 8th International Workshop on the Implementation of Logics (EPiC volume 2)
• Andrei Voronkov, Laura Kovacs and Nikolaj Bjorner (editors). WING 2010. Workshop on Invariant Generation 2010 (EPiC volume 1)