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 BibTeX

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