Community Meetings
The joint SV-COMP/Test-Comp community meetings take place online every Tuesday, starting September 24, 2024 in
this Zoom meeting room.
These meetings usually take one hour.
The meeting times (except for the first) alternate between 10:00 and 16:00 (CET),
in order to make it easier for participants in differnt time zones.
2024-09-24 18:00 | 2024-10-01 16:00 |
2024-10-08 10:00 | 2024-10-15 16:00 |
2024-10-22 10:00 | 2024-10-29 16:00 |
2024-11-05 10:00 | 2024-11-12 16:00 |
2024-11-19 10:00 | 2024-11-26 16:00 |
2024-12-03 10:00 | 2024-12-10 16:00 |
Important Dates
Oct. 11, 2024 |
First tool deadline: Registration of tools (create a record at EasyChair) |
Oct. 15, 2024 |
Submission deadline for verification tasks (via pull request in sv-benchmarks repo) |
Oct. 20, 2024 |
Second tool deadline: Register and submit participating system
for training and qualification runs, to check if all options are correctly set and the environment is prepared |
Nov. 1, 2024 |
Freezing of verification tasks (pull requests after deadline are NOT merged) |
Nov. 18, 2024 |
Notifications and tool reviews; list of qualified competition candidates published |
Nov. 22, 2024 |
Third tool deadline: Competition candidates can resubmit a new version of the verifier (evaluation phase starts) |
Dec. 2, 2024 |
Offline benchmarking phase completed and competition results communicated to the participants (evaluation phase ends) |
Dec. 6, 2024 |
Publication of competition results |
Dec. 20, 2024 |
Paper deadline for submission of system descriptions |
Jan. 20, 2025 |
Paper notification |
Jan. 24, 2025 |
Camera-ready paper deadline for summary papers of qualified competition candidates |