‹Programming› 2026
Mon 16 - Fri 20 March 2026 Munich, Germany

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.

Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 17 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
SV-COMP-WS: Opening and TalksSV-COMP-WS at Seminar Room 131
09:00
60m
Meeting
Opening and Talks
SV-COMP-WS

10:00 - 10:30
Coffee BreakCatering at Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
Discussion on changes in SV-COMP (part I)SV-COMP-WS at Seminar Room 131
10:30
90m
Meeting
Discussion on changes in SV-COMP (part I)
SV-COMP-WS

12:00 - 13:30
LunchCatering at Foyer
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Discussion on changes in SV-COMP (part II)SV-COMP-WS at Seminar Room 131
13:30
90m
Meeting
Discussion on changes in SV-COMP (part II)
SV-COMP-WS

15:00 - 15:30
Coffee BreakCatering at Foyer
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
Discussion on changes in Test-CompSV-COMP-WS at Seminar Room 131
15:30
90m
Meeting
Discussion on changes in Test-Comp
SV-COMP-WS