[ Please distribute, apologies for multiple postings. ]
5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call
for Participation
https://fmbc.gitlab.io/2024
April 07, 2024, Luxembourg City, Luxemb
**
PAAR-2024: 9TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED
Submissions for the main track of ECAI-2024, the 27th European
Conference on Artificial Intelligence, are now open. You need to
register your paper by 19 April 2024 and then upload the PDF (and any
supplementary materials) by 25 April 2024.
The deadlines for the demo track, for our sister con