14. VMCAI 2013: Rome, Italy

Invited Talks

Session 1: Analysis of Systems with Continuous Behavior

Session 2: Synthesis

Session 3: Analysis Algorithms and Theorem Proving Techniques for Program Analysis

Session 4: Automata-Based Techniques

Session 5: Tools

Session 6: Types and Proof Methodologies

Session 7: Abstract Domains

Session 8: Combining Boolean Solving and Abstract Domains for Theories

Session 9: Distributed/Concurrent System Verification

maintained by Schloss Dagstuhl LZI at University of Trier