We are happy to announce that we will co-organize (in collaboration with the Faculty of Mathematics and Computer Science, University of Bucharest, and the Research Center for Logic, Optimization and Security, University of Bucharest) the ILDS-FMI Coq and Lean Autumn School 2023!
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!
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.
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.