15. LPAR Workshops 2008: Doha, Qatar

Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz (Eds.): Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008. CEUR Workshop Proceedings 418 CEUR-WS.org 2008

Josef Urban:
Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange.
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
A TLA+ Proof System.
Geoff Sutcliffe:
The SZS Ontologies for Automated Reasoning Software.
Florian Rabe, Michael Kohlhase:
An Exchange Format for Modular Knowledge.
Loic Pottier:
Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics.
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo:
Transforming and Analyzing Proofs in the CERES-System.
Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn:
Interactive Verification of Concurrent Systems using Symbolic Execution.
José Santos, Vasco M. Manquinho:
Learning Techniques for Pseudo-Boolean Solving.
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue:
Complete Pruning Methods and a Practical Search Strategy for SOL.
Leonardo Mendonça de Moura, Nikolaj Bjørner:
Proofs and Refutations, and Z3.