The goal of the 1st 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 to everybody who enrolls on the registration table. The registration fee is 60 EUR, to be paid in cash at the event.


The workshop takes place at University of Passau, Innstra├če 33, room FIM 242.

Logo Software Systems Lab Logo University of Passau Logo