9th Workshop on CPAchecker: Call for Participation
Po-Chun Chien
Dear CPAchecker Developers, Users, and Friends,
The 9th International Workshop on CPAchecker (CPA 2024) will be organized as a co-located event
at the 26th International Symposium on Formal Methods (FM 2024).
It will take place on 2024-09-09 in Milan, Italy.
We invite you to present talks on recent developments and use cases of CPAchecker,
as well as topics related to automatic software verification in general.
In order to plan the workshop and the talks, we cordially invite you to fill out the following Google form:
https://forms.gle/eb13VVsUYnwxTmct7
If you would like to give a full or lightning talk, please complete the form before 2024-07-10.
We will arrange the workshop slots based on the information we receive until then.
For further information, please visit the workshop's webpage:
https://cpa.sosy-lab.org/2024/
Kind regards,
The Organizers of CPA 2024