RV/ILDS Blockchain Workshop - Bucharest Mach 2023
The RV/ILDS Blockchain Workshop was an event organized jointly by the Institute for Logic and Data Science and Runtime Verification and focused on theoretical and practical aspects of different blockchains. It was held last March 22nd and 23rd, 2023, in Bucharest, Romania.