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. It is organized jointly by Runtime Verification (RV), the Institute for Logic and Data Science (ILDS) and the Research Center for Logic, Optimization and Security (LOS), University of Bucharest.