[Hol-info] Second round of abstract submissions - WADT 2024

[Apologies for cross-posting] == WADT 2024 - Second round of abstract submissions 27th International Workshop on Algebraic Development Techniques https://conf.researchr.org/home/wadt-2024 Part of the STAF 2024 multi-conference

[Hol-info] 11th Rodin Workshop - Call for Abstracts

The 11th Rodin User and Developer Workshop, 25th June, 2024, Bergamo, Italy Rodin Workshop 2024 Website The 11th Rodin workshop will be collocated with the ABZ 2024 Conference. The purpose of this

[Hol-info] The 18th International Conference on Reachability Problems - RP 2024

Call for Papers The 18th International Conference on Reachability Problems - RP 2024 September 25-27, 2024, TU Wien, Vienna, Austria https://easychair.org/smart-program/RP24/index.html **Overview** The 18th International Conference on Reachability Problems (RP'24) is being organised as a