The goal of the 4th 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 105 € for the event plus 82 € per night for accommodation (includes breakfast the next morning). For enrolled students that are willing to share the room with someone, the accommodation reduces to 53 € per night. The default for participants is one night October 1–2, but you can also book accommodation for the night before and the night after on the registration form.

We are currently looking into a convenient payment methods via our university and inform the participants once the payment methods are fixed.


The workshop takes place at Frauenchiemsee Monastery, Frauenchiemsee Nr. 50, 83256 Frauenchiemsee, which is on an island in one of Bavaria's nicest lakes, the Chiemsee.

Logo Software Systems Lab Logo LMU Munich Logo