[Hol-info] ThEdu'23 proceedings - cfp

Open Call for Papers **     Proceedings for ThEdu'23     Theorem Proving Components for Educational Software    http://www.uc.pt/en/congressos/thedu/thedu23 *

[Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2023)

International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification - RSSRail 2023 October 10-12, 2023 Berlin, Germany https://rssr2023.ebuef.de/ Call for Participation We would like to invite you to participate in the RSSRail 2023

[Hol-info] ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION

ILDS Coq and Lean Autumn School 2023 interactive theorem proving school September 18-20, 2023, Bucharest, Romania https://events.ilds.ro/autumnschool2023/ co-located with FROM 2023 https://from2023.cs.unibuc.ro DESCRIPTION

[Hol-info] FROM 2023 – THIRD CALL FOR PAPERS

FROM 2023 Seventh Working Formal Methods Symposium September 21-22, 2023, Bucharest, Romania https://from2023.cs.unibuc.ro co-located with the ILDS Coq and Lean Summer School https://events.ilds.ro/autumnschool2023/ D