[Hol-info] MARS 2024 - CALL FOR PAPERS - Luxembourg City (Luxembourg) - April 6th, 2024

  Models for Formal Analysis of Real Systems (MARS 2024)    April 6th, 2024 Affiliated with ETAPS 2024 Luxembourg City, Luxembourg http://mars-workshop.org/mars2024/ The

[Hol-info] CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers

Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5-9, 2024 Montreal, Canada https://cicm-conference.org/2024/

[Hol-info] FMBC 2024 - First Call for Papers

[ Please distribute, apologies for multiple postings. ] = 5th International Workshop on Formal Methods for Blockchains - First Call https://fmbc.gitlab.io/2024 April 07, 2024, Luxembourg City, Luxembourg Co-located with