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 http://www.floc2018.org/workshops/ for other workshops and conferences affiliated with FloC’18.