[ Please distribute, apologies for multiple postings. ]
=
5th International Workshop on Formal Methods for Blockchains - Second Call
https://fmbc.gitlab.io/2024
April 07, 2024, Luxembourg City, Luxembourg
Co-loc
(Apologies for multiple postings)
The 2nd European Summer School in Artificial Intelligence - ESSAI 2024
July 15-26, 2024
Athens, Greece
https://essai2024.di.uoa.gr/
IMPORTANT DATES
07 Feb 2024: Course Title submission deadline (mandatory)
14 Feb 2024: Final submission
06 Mar 2024: Notification
