Events Archives - Institute for Logic and Data Science

RV/ILDS Blockchain Workshop

Posted on March 6, 2023March 6, 2023 by Andrei Sipoș

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

Posted on January 20, 2023March 6, 2023 by Andrei Sipoș

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.