The following workshops have been accepted this year to be held July 18-19, 2021 before the main conference.
Single Day Workshops (July 19):
Formal Approaches to Certifying Compliance (FACC)
Organizers: Mike Dodds, Byron Cook
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
Two Day Workshops (July 18 and 19):
Verification Mentoring Workshop (VMW)
Organizers: Jean-Baptiste Jeannin, Arjun Radhakrishna, Suguman Bansal, Roopsha Samantha, Caterina Urban
3rd International Workshop on Formal Methods for Blockchains (FMBC)
Organizers: Bruno Bernardo, Diego Marmsoler
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