We are happy to announce that we will co-organize (in collaboration with the Faculty of Mathematics and Computer Science, University of Bucharest) the seventh Working Formal Methods Symposium — FROM 2023!
Category: Events
RV/ILDS Blockchain Workshop
We announce the RV/ILDS Blockchain Workshop, an event focused on theoretical and practical aspects of blockchains, to be held on 22-23 March 2023.
RV/ILDS/LOS InFormal Workshop on Logics
We announce the RV/ILDS/LOS InFormal Workshop on Logics, an event focused on formal specification and verification logics, to be held on 26 January 2023.