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. Poster stands will be available at the venue and participants are welcome to bring posters (A1 portrait) to discuss their work during coffee and lunch breaks.
Date and Location
The workshop will take place on 2024-09-09, co-located with FM 2024 in Milan, Italy. In addition, a tutorial on CPAchecker will be held on 2024-09-10, also as a part of FM 2024. Please refer to the program page of FM 2024 for more information.
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. If you plan to give a talk, please indicate in the registration form (see also Registration below) before 2024-07-10 (AoE), 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
- Title and abstract submission: 2024-07-10 (both full and lightning talks)
- Notification: 2024-07-12
- CPAchecker Workshop: 2024-09-09
- CPAchecker Tutorial: 2024-09-10
All deadlines are AoE.
Registration
Please fill out the Google form if you plan to attend the workshop.
Note that official registration for the workshop has to be done via the registration site of FM 2024.
