2nd SV-COMP/Test-Comp Workshop 2026
Munich, March 17, 2026
(co-located with ‹Programming› 2026)
The rules and processes of SV-COMP and Test-Comp need to be updated/extended time to time and standard SV-COMP and Test-Comp community sessions at ETAPS do not provide sufficient time for in-depth discussions. After the success of the first SV-COMP/Test-Comp workshop held on April 1, 2025 at Frauenchiemsee, we invite the community to the second SV-COMP/Test-Comp Workshop, which is organized co-located with the conference ‹Programming› 2026. The registration web page will be announced here.
Venue
The workshop takes place at the Institute for Informatics of LMU Munich, Oettingenstr. 67. More information is available on the web page of ‹Programming› 2026 .Program (tentative)
9:00–10:10 |
Opening and Talks |
10:10–10:30 |
Coffee break |
10:30–12:00 |
Discussion on changes in SV-COMP (part I) |
12:00–13:00 |
Lunch |
13:00–14:30 |
Discussion on changes in SV-COMP (part II) |
14:30–15:00 |
Coffee break |
15:00–16:30 |
Discussion on changes in Test-Comp |
Discussion topics will result from a careful analysis of community meeting minutes taken during 2025. The meeting agenda will be agreed on at the beginning. You are very welcome to suggest talks and discussion topics by email to organizers or via the community Zulip (please contact organizers if you have no access to the Zulip and you would like to).
Organizers
Dirk Beyer (LMU Munich, Germany)
Jan Strejček (Masaryk University, Brno, Czechia)