7th International Workshop on CPAchecker
(CPA '22)

Head

Prof. Dr. Heike Wehrheim 

Secretary

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)

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 (» Adress and map )

+49 441 798-2066  (F&P

(Changed: 2022-05-18)