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.
Program Display Configuration
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, Viennachange
