About
The International Workshop on CPAchecker is an annual event that brings together researchers, tool developers, practitioners, and users interested in the open source framework CPAchecker. The goal of the workshop is to present and discuss research ideas and tool development in the area of automatic verification of C programs and in particular around CPAchecker. Although the focus of the workshop is CPAchecker, we welcome contributions and talks related to automatic software verification and testing in general. The workshop is presentation-only, i.e., there will be no proceedings.
Date and Location
The workshop will take place on 2026-10-16, co-located with ASE 2026 in Munich, Germany. Please refer to the program page of ASE 2026 for more information.
Call for Contributions
We will have two types of talks:
- Full talk: 20-minute presentation + 5-minute discussion
- Lightning talk: 5-minute presentation
If you want to submit a talk please do it here: https://forms.gle/51KTfSUiA4tPbg6s8
There will be no proceedings, but if you are giving a talk and you wish for your slides to be publicly available on the program please send your slides to the organizers before the workshop.
Important Dates
- Title and abstract submission: 2026-07-15 (both full and lightning talks)
- Notification: 2026-07-22
- Late Submission Deadline: 2026-07-31
- CPAchecker Workshop: 2026-10-16
All deadlines are AoE.
Registration
To attend the workshop you need to be registered for ASE workshops through their official registration, which can be done via the registration site of ASE 2026.
