| Workshops |
|---|
|
The 5th International Verification Workshop (VERIFY'08) Bernhard Beckert and Gerwin Klein |
|
Practical Aspects of Automated Reasoning (PAAR-2008) Boris Konev, Renate Schmidt, and Stephan Schulz |
|
Evaluation of Systems for Higher Order Logic (ESHOL) Cancelled - merged into PAAR |
|
Complexity, Expressibility, and Decidability in Automated
Reasoning (CEDAR'08) Franz Baader, Silvio Ghilardi, Miki Hermann, Ulrike Sattler, and Viorica Sofronie-Stokkermans |
|
Constraints in Formal Verification Miroslav Velev |
|
Combining Systems for Efficient and Scalable Reasoning (CoSyScaRe 08) Cancelled |
|
The 5th TPTP Tea Party Geoff Sutcliffe, Stephan Schulz |
| Tutorials |
|
Introduction to Nominal Isabelle Christian Urban |
|
Formal Methods in Use at Galois, Inc. Joe Hurd |
|
SMT Solvers in Program Analysis and Verification Nikolaj Bjørner and Leonardo de Moura |
|
Coalgebraic Logics and Applications (COALA) Dirk Pattinson |
| Competitions |
| The CADE ATP System Competition (CASC-J4) |