[Hol-info] 19th International Conference on Integrated Formal Methods - iFM 2024

2024-06-09 Thread geoff--- via hol-info
== iFM 2024 - 3rd Call for Papers - 19th International Conference on Integrated Formal Methods Manchester, UK, November 13-15, 2024. https://ifm2024.cs.manchester.ac.uk/ == ***Invited speakers*** - Philippa Gardner,

[Hol-info] 18th International Conference on Reachability Problems - RP'24

2024-06-09 Thread geoff--- via hol-info
The 18th International Conference on Reachability Problems (RP'24) Sep 25, 2024 - Sep 27, 2024Vienna, Austria https://easychair.org/smart-program/RP24/ - The 18th International Conference on Reachability Problems (RP'24) is being