Workshops

The following workshops will be held before the main conference.

SINGLE-DAY WORKSHOPS

Verification Mentoring Workshop, July 22nd
Organizers: Grigory Fedyukovich (Florida State University), Eric Koskinen (Stevens Institute of Technology)

Correct Data Compression (CoDaC), July 22nd
Organizers: Ganesh Gopalakrishnan (University of Utah), Martin Burtscher (Texas State University), Stephen F. Siegel (University of Delaware)

13th Workshop on Synthesis (SYNT 2024), July 22nd
Organizers: Yong Li (University of Liverpool), Nadia Polikarpova (University of Carlifornia, San Diego)

Workshop on Verification of Probabilistic Programs (VeriProP 2024), July 23rd
Organizers: Michele Chiari (TU Wien), Fredrik Dahlqvist (Queen Mary University of London), Sebastian Junges (Radboud University), Benjamin Kaminski (Saarland University, University College London), Christoph Matheja (Technical University of Denmark)

Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community (OSSyM), July 23rd
Organizers: Kristin Yvonne Rozier (Iowa State University), Natarajan Shankar (SRI International), Cesare Tinelli (University of Iowa), Moshe Y. Vardi (Rice University)

Formal Reasoning in Distributed Algorithms (FRIDA 2024), July 23rd
Organizers: Swen Jacobs (CISPA), Giuliano Losa (Stellar Development Foundation)

Workshop on Hyperproperties: Advances in Theory and Practice (HYPER 2024), July 23rd
Organizers: Niklas Metzger (CISPA), Hadar Frenkel (CISPA), Hazem Torfah (Chalmers University)

TWO-DAY WORKSHOPS

Symposium on AI Verification (SAIV 2024), July 22nd – July 23rd
Organizers: Guy Avni (University of Haifa), Mirco Giacobbe (University of Birmingham), Taylor T. Johnson (Vanderbilt University), Guy Katz (Hebrew University of Jerusalem), Anna Lukina (Delft University of Technology), Nina Narodytska (VMware Research), Christian Schilling (Aalborg University)

22nd International Workshop on Satisfiability Modulo Theories (SMT 2024), July 22nd – July 23rd
Organizers: Giles Reger (Amazon Web Services), Yoni Zohar (Bar-Ilan University)