The following workshops will be held before the main conference. Workshops will be held at the Faculty of Electrical Engineering and Computing in its Building D. Please see venues page for details.
WORKSHOPS ON JULY 21st
Verification Mentoring Workshop (VMW)
Room: Grey Council Hall (D-building, ground floor)
Organizers: Grigory Fedyukovich, Florida State University; Mukund Raghothaman, University of Southern California
Workshop on Verification of Quantum Computing (VQC)
Room: D-260 (D-building, 2nd floor)
Organizers: Runzhou Tao, University of Maryland; Yu-Fang Chen, Academia Sinica
International Workshop on Trustworthy Cyber-Physical Systems (TACPS)
Room: D-273 (D-building, 2nd floor)
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)
Room: D-346 (D-building, 3rd floor)
Organizers: Hadar Frenkel, Bar Ilan University; Ana Oliveira Da Costa, IST Austria; Niklas Metzger, CISPA – Helmholtz Center for Information Security
Allen Emerson Memorial
Room: D-160 (D-building, 1st floor)
Organizers: Kedar Namjoshi, Nokia Bell Labs; Thomas Wahl, Trusted Science & Technology
Symposium on AI Verification (SAIV), Both Days
Room: D-152 (D-building, 1st floor)
Organizers: Mirco Giacobbe, University of Birmingham; Anna Lukina, Delft University of Technology
WORKSHOPS ON JULY 22nd
Meeting on String Constraints and Applications (MOSCA)
Room: D-273 (D-building, 2nd floor)
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)
Room: D-346 (D-building, 3rd floor)
Organizers: Shufang Zhu, University of Liverpool; Mark Santolucito, Columbia University
12th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Room: D-260 (D-building, 3rd floor)
Organizers: Emanuele De Angelis, CNR-IASI; Florian Frohn, RWTH Aachen
Workshop on Verification of Probabilistic Programs (VeriProP)
Room: Grey Council Hall (D-building, ground floor)
Organizers: Michele Chiari, TU Wien; Kevin Batz, RWTH Aachen University; Maximilian Weininger, IST Austria
Ken McMillan Celebration
Room: D-160 (D-building, 1st floor)
Organizers: Ranjit Jhala, UCSD; Isil Dillig, UT Austin
Symposium on AI Verification (SAIV), Both Days
Room: D-152 (D-building, 1st floor)
Organizers: Mirco Giacobbe, University of Birmingham; Anna Lukina, Delft University of Technology