- SPIN - International SPIN Workshop on Model Checking of Software
- RV - International Workshop on Runtime Verification
- EC2 - Workshop Exploiting Concurrency Efficiently and Correctly
- GASICS - Workshop on Games for Design, Verification and Synthesis
- VETO - Workshop on Computer Science Security and Electronic Vote
- MITACS - French-Canadian Workshop on Foundation and Practice of Security
- QA - Workshop on Quantitative Analysis of Software
- PSY - Workshop on Practical Synthesis for Concurrent Systems
- AFM - Workshop on Automated Formal Methods
- FAC - Workshop on Formal Verification of Analog Circuits
- CFV - Workshop on Constraints in Formal Verification
HWMCC - Hardware Model-checking CompetitionCANCELLEDPADVES - Platforms for Analysis, Design and Verification of Embedded SystemsCANCELLED