Community Meetings
The joint SV-COMP/Test-Comp community meetings take place online every Tuesday, starting October 21, 2025 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 different time zones.
| 2025-10-21 10:00 | 2025-10-28 16:00 |
| 2025-11-04 10:00 | 2025-11-11 16:00 |
| 2025-11-18 10:00 | 2025-11-25 16:00 |
| 2025-12-02 10:00 | 2025-12-09 16:00 |
Important Dates
| Oct. 21, 2025 |
Tool registration deadline (create merge requests) |
| Oct. 21, 2025 |
Submission deadline for verification/testing tasks (via merge request in sv-benchmarks repo) |
| Oct. 24, 2025 |
Training runs start (all CI checks succeed) |
| Nov. 7, 2025 |
Freezing of verification/testing tasks (pull requests after deadline are NOT merged) |
| Nov. 18, 2025 |
Notification of qualified competition candidates |
| Nov. 22, 2025 |
The final tool deadline: Competition candidates can resubmit a new version of the tool (evaluation phase starts) |
| Dec. 2, 2025 |
Offline benchmarking phase completed and competition results communicated to the participants (evaluation phase ends) |
| Dec. 5, 2025 |
Publication of competition results |
| Dec. 20, 2025 |
Paper deadline for submission of system descriptions |
| Jan. 20, 2026 |
Paper notification |
| Jan. 24, 2026 |
Camera-ready paper deadline for accepted papers with system descriptions |
