The following workshops will be held before the main conference. Workshops will be held at the Faculty of Electrical Engineering and Computing. Please see venues page for details.
WORKSHOPS ON JULY 21st
Verification Mentoring Workshop (VMW)
Organizers: Grigory Fedyukovich, Florida State University; Mukund Raghothaman, University of Southern California
Workshop on Verification of Quantum Computing
Organizers: Runzhou Tao, University of Maryland; Yu-Fang Chen, Academia Sinica
International Workshop on Trustworthy Cyber-Physical Systems (TACPS)
Organizers: Xi (James) Zheng, Macquarie University; Ivan Ruchkin, University of Florida; Ziyang Li, University of Pennsylvania
Workshop on Hyperproperties: Advances in Theory and Applications (HYPER)
Organizers: Hadar Frenkel, Bar Ilan University; Ana Oliveira Da Costa, IST Austria; Niklas Metzger, CISPA – Helmholtz Center for Information Security
Allen Emerson Memorial
Organizers: Kedar Namjoshi, Nokia Bell Labs; Thomas Wahl, Trusted Science & Technology
Symposium on AI Verification (SAIV), Both Days
Organizers: Mirco Giacobbe, University of Birmingham; Anna Lukina, Delft University of Technology
WORKSHOPS ON JULY 22nd
Automated Reasoning for ML Compilers
Organizers: Temesghen Kahsai, Amazon; Sean McLaughlin, Amazon; Daniel Kroening, Amazon
Meeting on String Constraints and Applications (MOSCA)
Organizers: Matthew Hague, Royal Holloway University of London; Ondřej Lengál, Brno University of Technology; Joel Day, Loughborough University
14th Workshop on Synthesis (SYNT)
Organizers: Shufang Zhu, University of Liverpool; Mark Santolucito, Columbia University
12th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Organizers: Emanuele De Angelis, CNR-IASI; Florian Frohn, RWTH Aachen
Workshop on Verification of Probabilistic Programs (VeriProP)
Organizers: Michele Chiari, TU Wien; Kevin Batz, RWTH Aachen University; Maximilian Weininger, IST Austria
Ken McMillan Celebration
Organizers: Ranjit Jhala, UCSD; Isil Dillig, UT Austin
Symposium on AI Verification (SAIV), Both Days
Organizers: Mirco Giacobbe, University of Birmingham; Anna Lukina, Delft University of Technology