Workshops

The following workshops have been accepted this year to be held July 18-19, 2021 before the main conference.

Single Day Workshops (July 18 or 19):

Formal Approaches to Certifying Compliance (FACC)
Organizers: Mike Dodds, Byron Cook

3rd International Workshop on Formal Methods for Blockchains (FMBC)
Organizers: Bruno Bernardo, Diego Marmsoler

Workshop on Synthesis (SYNT)
Organizers: Elizabeth Polgreen, Guillermo A. Pérez
Hosted Competitions: Reactive Synthesis Competition (SYNTCOMP 2021) and Syntax-guided Synthesis Competition (SyGus-Comp 2021)

Workshop on Theory and Practice of String Solving (TPSS)
Organizers: Vijay Ganesh, Dirk Nowotka

Verifying Probabilistic Programs (VeriProP)
Organizers: Fredrik Dahlqvist, Sebastian Junges, Benjamin Kaminski, Christoph Matheja

Verification Mentoring Workshop (VMW)
Organizers: Jean-Baptiste Jeannin, Arjun Radhakrishna

Two Day Workshops (July 18 and 19):

4th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)
Organizers: Aws Albarghouthi, Guy Katz and Nina Narodytska
Hosted Competition: 2nd International Verification of Neural Networks Competition (VNN-COMP’21) organized by Stanley Bak and Changliu Liu

14th International Workshop on Numerical Software Verification (NSV)
Organizers: ​Rayna Dimitrova​, Chuchu Fan

19th International Workshop on Satisfiability Modulo Theories (SMT)
Organizers: Alexander Nadel, Aina Niemetz

Workshop Chair

Arie Gurfinkel, University of Waterloo