Workshops

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)

2nd International Workshop on Rigorous Systems Engineering of Cyber-Physical Systems (R4RISE)
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

CAV Mentoring Workshop
Organizers: Lu Feng, and Barbara Jobstmann

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: Sergiy Bogomolov

Other workshops and conferences

Please visit http://www.floc2018.org/workshops/ for other workshops and conferences affiliated with FloC’18.