Past events
- Colloquium Logicum 2024, Vienna,
Austria, October 7-9, 2024
- IMAR 75 - anniversary conference, Bucharest, Romania,
September 27-28, 2024
- Working Formal Methods Symposium
(FROM 2024), Timișoara, Romania, September 16-18, 2024
- Workshop on Proof Mining 2024,
Darmstadt, Germany, September 4-6, 2024
- Logic Colloquium 2024,
Gothenburg, Sweden, June 24-28, 2024
- Oberwolfach Workshop 2346: Mathematical
Logic: Proof Theory, Constructive Mathematics,
Mathematisches Forschungsinstitut Oberwolfach, Germany, November 12-17, 2023
- ILDS Coq and Lean Autumn School 2023,
București, Romania, September 18-20, 2023
- Working Formal Methods Symposium
(FROM 2023), București, Romania, September 21-22, 2023
- The Tenth Congress of Romanian Mathematicians,
Pitești, Romania, June 30-July 5, 2023
- Logic Colloquium 2023,
Milano, Italy, Romania, June 5-9, 2023
- RV/ILDS Blockchain Workshop,
București, Romania, March 22-23, 2023
- 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