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 in general. The workshop is presentation-only, i.e., there will be no proceedings.
Date and Location
The workshop will take place on 2024-09-09, co-located with FM 2024 in Milan, Italy.
Call for Contributions
We will have two types of talks:
- Full talk: 15-minute presentation + 5-minute discussion
- Lightning talk: 5-minute presentation
We cordially invite you to present your research at the workshop. Please indicate in the registration form (TBA, see also Registration below) if you wish to give a talk and submit the following information about your talk:
- Full talk: title and abstract
- Lightning talk: title and short description (2-3 sentences) about the idea
Important Dates
- Abstract submission: TBA (both full and lightning talks)
- Notification: TBA
All deadlines are AoE.
Registration
TBA
