Keynote speakers:
-
Nikolaj Bjorner, Microsoft Research
Title of the invited talk: SecGuru: Azure Network Verification using Z3
-
Lionel Briand, University of Luxembourg
Title of the invited talk: Scalable Software Testing and Verification Through Heuristic Search and Optimization
-
Vincent Danos, University of Edinburgh
Title of the invited talk: Approximations for Stochastic Graph Rewriting
