Past events

• EuroProofNet WG3 meeting, Timișoara, Romania, February 8-9, 2023


• RV/ILDS/LOS InFormal Workshop on Logics, Bucharest, Romania, January 26, 2023


• Working Formal Methods Symposium (FROM 2022), Iași, Romania, September 20-21, 2022


• International Conference on Applied Proof Theory 2022 (APT22), Pescara, Italy, August 29-September 2, 2022


• Working Formal Methods Symposium (FROM 2021), Timișoara, Romania, December 8-9, 2021


• Oberwolfach Workshop 2046: Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach, Germany, November 8-14, 2020


• Working Formal Methods Symposium (FROM 2020), Cluj-Napoca, Romania, September 4-6, 2020


• Working Formal Methods Symposium (FROM 2019), Timișoara, Romania, September 3-5, 2019


• Working Formal Methods Symposium (FROM 2018), Iași, Romania, June 18-20, 2018


• Working Formal Methods Symposium (FROM 2017), Bucharest, Romania, July 5-8, 2017


• The international workshop on Graphs, Networks and Digital Humanities, Bucharest, 2017


• BuCal 2017 (Fuzzy Logic meets Quantum Logic), Bucharest, 2017