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
Tue 17 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mMeeting | Opening and Talks SV-COMP/Test-Comp | ||
10:30 - 12:00 | |||
10:30 90mMeeting | Discussion on changes in SV-COMP (part I) SV-COMP/Test-Comp | ||
13:30 - 15:00 | |||
13:30 90mMeeting | Discussion on changes in SV-COMP (part II) SV-COMP/Test-Comp | ||
15:30 - 17:00 | |||
15:30 90mMeeting | Discussion on changes in Test-Comp SV-COMP/Test-Comp | ||
