Past Events
- Logic Colloquium 2024, June 24-28, 2024, Gothenburg, Sweden.
- The Age of Algorithms Workshop, June 20, 2024, București, Romania.
- MFO Workshop №2346 – Mathematical Logic: Proof Theory, Constructive Mathematics, November 12-17, 2023, Oberwolfach, Germany.
- Working Formal Methods Symposium – FROM 2023, September 21-22, 2023, București, Romania.
- ILDS-FMI Coq and Lean Autumn School 2023, September 18-20, 2023, București, Romania.
- Meanings and understanding via proofs – Logical and epistemological approaches (CIVIS Summer School), July 17-21, 2023, București, Romania.
- Tenth Congress of Romanian Mathematicians, June 30 - July 5, 2023, Pitești, Romania.
- Logic Colloquium 2023, June 5-9, 2023, Milan, Italy.
- RV/ILDS Blockchain Workshop, March 22-23, 2023, București, Romania.
- RV/ILDS/LOS InFormal Workshop on Logics, January 26, 2023, București, Romania.
- Working Formal Methods Symposium – FROM 2022, September 19-20, 2022, Iași, Romania.
- International Conference on Applied Proof Theory 2022 (APT22), August 29 - September 2, 2022, Pescara, Italy.
- Logic Colloquium 2022, June 27 - July 1, 2022, Reykjavík, Iceland.
- Scandinavian Logic Society Symposium – SLSS 2022, June 17-19, 2022, Bergen, Norway.
- Nordic Logic Summer School – NLS 2022, June 13-16, 2022, Bergen, Norway.
- IASM-BIRS Workshop 21w5156: New Frontiers in Proofs and Computation, September 12-17, 2021, Hangzhou, China (held online).
- MFO Workshop №2046 – Mathematical Logic: Proof Theory, Constructive Mathematics, November 8-14, 2020, Oberwolfach, Germany (held online).
- Days in Logic 2020, January 30 - February 1, 2020, Lisbon, Portugal.
- ManyVal 2019 – the 8th International Workshop on Many-Valued Logic, November 1-3, 2019, București, Romania.
- Logic Colloquium 2019, August 11-16, 2019, Prague, Czechia.
- PCC (Proof, Computation, Complexity) 2019, July 15-19, 2019, Djursholm, Sweden.
- 13th International Conference on Fixed Point Theory and its Applications, July 9-13, 2019, Xinxiang, China.
- Ninth Congress of Romanian Mathematicians, June 28 - July 3, 2019, Galați, Romania.
- Days of Logic and Computability IV (Shanin-100), May 23-26, 2019, St. Petersburg, Russia.
- Logic Colloquium 2018, July 23-28, 2018, Udine, Italy.
- Workshop on Proofs and Computation (part of the HIM Trimester Program on Types, Sets and Constructions), July 2-6, 2018, Bonn, Germany.
- MFO Workshop №1745 – Mathematical Logic: Proof Theory, Constructive Mathematics, November 5-11, 2017, Oberwolfach, Germany.
- BuCal 2017, September 25-27, 2017, București, Romania.
- Logic Colloquium 2017, August 14-20, 2017, Stockholm, Sweden.
- Working Formal Methods Symposium – FROM 2017, July 5-8, 2017, București, Romania.
- PhDs in Logic IX, May 2-4, 2017, Bochum, Germany.
- Colloquium Logicum 2016, September 10-12, 2016, Hamburg, Germany.
- Logic Colloquium 2016, July 31 - August 6, 2016, Leeds, United Kingdom.
- PhDs in Logic VIII, May 9-11, 2016, Darmstadt, Germany.
- Logic Colloquium 2015, August 3-8, 2015, Helsinki, Finland.
- Scandinavian Logic Society Summer School in Logic 2015, July 27-31, 2015, Helsinki, Finland.
- Eighth Congress of Romanian Mathematicians, June 26 - July 1, 2015, Iași, Romania.
- Second Fall School on Quantum Geometry, October 7-11, 2013, Erlangen, Germany.
- National School on Algebra, 21st edition, September 1-7, 2013, București, Romania.
- Faculty of Sciences – 150 Years Anniversary Conference, August 29 - September 1, 2013, București, Romania.
- National School on Algebra, 20th edition, September 2-8, 2012, Mangalia, Romania.
- Third Romanian-Japanese Algebraic Specification Workshop, April 2-3, 2012, Sinaia, Romania.