[Hol-info] SEFM'24 -- Deadline extended!

= DEADLINE EXTENSION == 22nd International Conference on Software Engineering and Formal Methods 4-8 November 2024 University of Aveiro, Portugal https://sefm-conference.github.io/2024/ The 21st edition of the

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

== 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

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

[Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FCA-Doctoral Consortium

DOCTORAL CONSORTIUM FIRST CALL FOR APPLICATIONS KR 2024 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Doctoral Consortium - First Call for Applications The 21st International Conference on Principles