7th International Workshop on CPAchecker
(CPA '22)


Prof. Dr. Heike Wehrheim 


Marion Bramkamp

Uhlhornsweg 84 — Room A2 2-228

+49 441 798-4522

7th International Workshop on CPAchecker
(CPA '22)

The workshop will take place as an in-person event on 05.10 and 06.10.2022 in Oldenburg.

It is planned to take place for 1.5 days, (full day at 5.10, the half day at 6.10)


The goal of the 7th 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.


A02 03-338 (» Adress and map )

+49 441 798-2066  (F&P

(Changed: 19 Dec 2022)  |