Past events
-
9th Regional Summer School on Applied Mathematics, July 10-18, 2024, Sinaia, Romania
- Deep Blockchain Fundamentals Workshop, Bucharest,
Romania, May 12, 2024
- LOS/IMAR/ILDS Logic Seminar, Bucharest, March 07, 2024
- Talk: "(Post-)Quantum Cryptography II"
- LOS/IMAR/ILDS Logic Seminar, Bucharest, February 22, 2024
- Talk: "(Post-)Quantum Cryptography"
- Working Formal Methods Symposium (FROM 2023), Bucharest,
Romania, September 21-22, 2023
- ILDS Coq and Lean Autumn School 2023, Bucharest,
Romania, September 18-20, 2023