3. ITP 2012: Princeton, NJ, USA

Invited Talks

Invited Tutorial

Formalization of Mathematics I

Program Abstraction and Logics

Data Structures and Synthesis


(Non-)Termination and Automata

Program Verification

Rough Diamonds I: Reasoning about Program Execution

Theorem Prover Development

Formalization of Mathematics II

Rough Diamonds II: Prover Infrastructure and Modeling Styles

maintained by Schloss Dagstuhl LZI at University of Trier