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 2023-09-11, co-located with ASE 2023 in Kirchberg, Luxembourg.

Call for Contributions

We will have two types of talks:

We cordially invite you to present your research at the workshop. Please indicate in the registration form (also see Registration below) if you wish to give a talk and submit the following information about your talk:

Important Dates

All deadlines are AoE.


Please fill out the Google form for attending the workshop. If you wish to give a talk, please complete the form by 2023-07-31.

Note that official registration for the workshop has to be done via ASE 2023 registration website.

Logo Software Systems Lab Logo LMU Munich Logo