- 26th Annual Conference of the Romanian Society of Mathematical Sciences, November 22, 2024, Bucharest, Romania
- 17th International Conference on Security for Information Technology and Communications, November 21-22, 2024, Bucharest, Romania
- 11th Heidelberg Laureate Forum, September 22-27, 2024, Heidelberg, Germany
- Workshop on Proof Mining 2024, September 4-6, 2024, Darmstadt, Germany
- Talk: "Quantitative results on the subgradient extragradient method"
- 14th International School on Rewriting, August 25 - September 1, 2024, Obergurgl, Austria
-
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
