The following workshops and conferences are affiliated with CAV’18.

IFAC Conference on Analysis and Design of Hybrid Systems
Organizer: Alessandro Abate

Mid-FLoC workshops (July 13)

Runtime Verification for Rigorous Systems Engineering (RV4RISE)
Organizers: Ezio Bartocci and Dejan Nickovic

Formal Reasoning in Distributed Algorithms (FRIDA)
Organizers: Swen Jacobs, Igor Konnov, Stephan Merz and Josef Widder

Horn Clauses for Verification and Synthesis (HCVS)
Organizers: Nikolaj Bjorner, Fabio Fioravanti, Andrey Rybalchenko and Valerio Senni

Verification and Deduction Mentoring Workshop
Organizers: Jasmin Blanchette, Lu Feng, Barbara Jobstmann, Laura Kovacs, and Andrew Reynolds

Memorial Session for Mike Gordon
Organizers: Tom Melham, and John Harrison

Post-FLoC workshops (July 18-19)

July 18-19: Machine Learning for Programming
Organizers: Bruno Marnette, Charles Sutton and Viktor Kuncak

July 18-19: Tenth Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)
Organizer: Natarajan Shankar

July 18: Parallel Logical Reasoning
Organizer: Anton Wijs

Juy 18: SYNT 2018 Workshop on Synthesis
Organizers: Roderick Bloem and Paulo Tabuada

July 19: Robots, Morality, and Trust through the Verification Lens
Organizers: Morteza Lahijanian, Lu Feng and Nils Jansen

July 19: VEMDP 2018 – Verification of Engineered Molecular Devices and Programs
Organizers: Michael Boemo, Luca Cardelli, Frits Dannenberg and Nicola Paoletti

July 19: Fun with Formal Methods (FWFM)
Organizers: Nikolay Shilov, John Rushby and Alexei Lisitsa

July 18-19: 11th International Workshop on Numerical Software Verification (NSV-XI)
Organizer: Alexandre Chapoutot, Nasrine Damouche and Alessandro Pinto

Other workshops and conferences

Please visit for other workshops and conferences affiliated with FloC’18.