- 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, May 12, 2024, Bucharest, Romania.
- LOS/IMAR/ILDS Logic Seminar, March 07, 2024, Bucharest, Romania.
- Talk: "(Post-)Quantum Cryptography II"
- LOS/IMAR/ILDS Logic Seminar, February 22, 2024, Bucharest, Romania.
- Talk: "(Post-)Quantum Cryptography"
- Working Formal Methods Symposium (FROM 2023), September 21-22, 2023, Bucharest, Romania.
- ILDS Coq and Lean Autumn School 2023, September 18-20, 2023, Bucharest, Romania.
