The following workshops will be held before the main conference.

Single day workshops

Verification Mentoring workshop, July 18th
Organisers: Ankush Densai, Burcu Kulahcioglu Ozkan, Marijana Lazic