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.
Category: Events
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.