Invited speakers
Georg Weissenbacher
TU Wien
homepage
slides
Topic: Interpolation-based Model Checking and IC3

Loïc Paulevé
CNRS/U. Paris-Sud
homepage
slides
Topic: Formal methods for capturing dynamics of biological networks

Alessandro Abate
University of Oxford
homepage
slides
Topic: Formal verification of complex systems: model-based and data-driven methods