7th International Workshop on CPAchecker
(CPA '22)

Leitung

Prof. Dr. Heike Wehrheim

Kontakt

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum 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)

About

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.

Organizers

Prof. Dr. Heike Wehrheim

Jan Frederik Haltermann M. Sc.

A02 03-338 (» Adresse und Lageplan )

+49 441 798-2066  (F&P

(Stand: 18.05.2022)