Invited speakers

• Jennifer Welch (Texas A&M University)

Challenges for Formal Methods in Distributed Computing

• Jeanette Wing (Microsoft Research International)

Formal Methods from an Industrial Perspective

• Maria Vozhegova (Sberbank)

Information Technology in Russia

• Panel: Future of CAV

Tutorialists

• Cristian Cadar (Imperial College London)

Dynamic Symbolic Execution (abstract)

• David Harel (The Weizmann Institute of Science).

Can we Computerize an Elephant? On the Grand Challenge of Modeling a Complete Multi-Cellular Organism (abstract)

• Andreas Podelski (University of Freiburg)

Software Model Checking for People who Love Automata (abstract)

• Andrei Voronkov (The University of Manchester)

First-Order Theorem Proving and Vampire (abstract)