The registration for the 7th International Workshop on CPAchecker, CPA 2022 is closed!

Registration Deadline:  15.09.2022
Workshop fee:              120€

Although the Covid19 case numbers are increasing, we are still planning to have an in-person workshop.
In case the regulations do not allow in-person events, we will let you know latest by 15.09.
Hence, the workshop fee will be charged by end of September.