(Back)

• Colloquium Logicum 2024, October 7-9, 2024, Vienna, Austria.
• IMAR 75 Anniversary Conference, September 27-28, 2024, București, Romania.
• Working Formal Methods Symposium – FROM 2024, September 16-18, 2024, Timișoara, Romania.
• WPM24 – Workshop on Proof Mining 2024, September 4-6, 2024, Darmstadt, Germany.
• 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.