Workshops

The following workshops will be held before the main conference.

SINGLE-DAY WORKSHOPS

Correct Data Compression (CoDaC), July 22nd

Commutativity Reasoning & Applications (Commute 2024), July 22nd

Verification Mentoring Workshop, July 22nd

Workshop on Verification of Probabilistic Programs (VeriProP 2024), July 23rd

Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community, July 23rd

Formal Reasoning in Distributed Algorithms (FRIDA), July 23rd

Workshop on Hyperproperties: Advances in Theory and Practice (HYPER), July 23rd

TWO-DAY WORKSHOPS

Symposium on AI Verification, July 22nd – July 23rd

Deep Learning-Aided Verification (DAV), July 22nd – July 23rd

SMT Workshop, July 22nd – July 23rd