[Hol-info] FMBC 2024 – Fourth Call for Papers (deadline extension)

2024-01-28 Thread Marmsoler, Diego via hol-info
[ Please distribute, apologies for multiple postings. ] = 5th International Workshop on Formal Methods for Blockchains - Fourth Call (deadline extension) https://fmbc.gitlab.io/2024 April 07, 2024, Luxembourg City, Luxembo

[Hol-info] ThEdu'24 - Open Call for Extended Abstracts

2024-01-28 Thread Walther Neuper via hol-info
Call for Extended Abstracts & Demonstrations * ThEdu'24 Theorem proving components for Educational software 2 July 2024 http://www.uc.pt/en/congressos/thedu/ThEdu2