Invited Speakers and Invited Tutorials

Invited speakers

Challenges for Formal Methods in Distributed Computing

Formal Methods from an Industrial Perspective

Information Technology in Russia

  • Panel: Future of CAV


Dynamic Symbolic Execution (abstract)

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

Software Model Checking for People who Love Automata (abstract)

First-Order Theorem Proving and Vampire (abstract)