Workshop-Program

Workshop-Program

If you are interested in giving a talk at the CPAchecker Workshop, please contact .

The full program will be annouced a few weeks in advance.

We currently plan to have a full workshop day on the 05.10 starting arond 09.00 and a half day on the 06.10 (approx until 13.00).

(Changed: 2022-05-18)