9th International Workshop on CPAchecker - Save the Date (2024-09-09)

[Po-Chun Chien]

Dear Developers, Users, and Friends of CPAchecker,

The 9th International Workshop on CPAchecker 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.

Please save the date in your calendar if you plan to attend the workshop.

Further details will also be announced via this mailing list.

For the up-to-date information, please visit the workshop's webpage:

https://cpa.sosy-lab.org/2024/

Best regards,

Po-Chun Chien