Community Discussions and Meetings
The preferred communication channel for general community discussion, topics specific to solving any technical problems, and questions is our Zulip stream. Please send an email to Dirk Beyer (competition organizer) for an invitation to the Zulip stream.
The joint SV-COMP/Test-Comp community meetings take place via this Zoom meeting room on the following dates. The meeting times alternate between 10:00 and 16:00 (CET), in order to make it easier for participants in different time zones. These meetings usually take up to one hour.
| 2026-10-08 16:00 | 2026-10-15 10:00 |
| 2026-10-22 16:00 | 2026-10-29 10:00 |
| 2026-11-05 16:00 | 2026-11-12 10:00 |
| 2026-11-19 16:00 | 2026-11-26 10:00 |
| 2026-12-03 16:00 | 2026-12-10 10:00 |
Important Dates
All deadlines below are AoE.
| Oct. 25, 2026 | Tool registration deadline (create merge request for <tool_id>.yml in FM-Tools repository) |
| This year no submission deadline for verification tasks; Test-Comp 2027 uses the test tasks available in the SV-Benchmarks repository | |
| Oct. 31, 2026 | Tool submission deadline (all CI checks must succeed) |
| Nov. 3, 2026 | Freezing of verification tasks (any pull request merged after this date invalidates the task) |
| Nov. 10, 2026 | Notification of qualified tool |
| Nov. 17, 2026 | Final tool resubmission deadline (the last chance to resubmit a new version of the tool, evaluation phase starts) |
| Dec. 1, 2026 | Offline benchmarking phase completed and competition results communicated to the participants (evaluation phase ends) |
| Dec. 4, 2026 | Publication of competition results |
| Dec. 17, 2026 | Submission of competition-contribution papers |
| Jan. 14, 2027 | Notification of competition-contribution papers |
| Jan. 21, 2027 | Camera-ready submission of accepted competition-contribution papers |