The goal of the 6th International Workshop on CPAchecker is to bring together researchers and practitioners that are interested in the open-source verification framework CPAchecker. The presentations include new concepts and algorithms in CPAchecker, application to interesting problems, experience reports, and discussion on further directions of the open-source project. The workshop is a presentations-only event, i.e., there are no proceedings.


Participation is open and free for everyone.

To receive the meeting credentials before the workshop starts, you need to register until September 27, 2021. If you intend to contribute a talk, please register until September 23, 2021.

For registration, fill out this Google form.

If you have any questions, please contact us.


The workshop takes place virtually via Zoom. The link will be shared to all registered participants via E-Mail.

Logo Software Systems Lab Logo LMU Munich Logo