Invited Talks/Seminars
(TBA) October 2026, Seminar on Logic, Algebra and Categories (LAC) jointly organised by the Logic and Categorical Algebra groups of the Department of Mathematics “Federigo Enriques” of the University of Milan, Italy
(From Hilbert’s Epsilon Calculus to Non-Classical Logics) 4th of March 2026, CLE Permanent Seminar on Metaphysics - (O Grupo de Lógica Teórica e Aplicada (GLTA)) The Centre for Logic, Epistemology and the History of Science at the University of Campinas (CLE/UNICAMP), Brazil Abstract
(A gentle introduction on Epsilon Calculus) -17 December 2025 - Theory&Logic group Seminar TU Wien Slides
(Epsilon Calculus: Between Existence and Error) - Workshop Epsilon Calculus: Logic, History and Philosophy November 25 – 27, 2025, Department of Philosophy – University of Vienna, Austria Abstract Slides
(Epsilon/tau Quantifiers and Its Applications) - Université de Montpellier, Research Seminar at Christian Retoré’s group at LIRMM (1 hour), 23rd June 2025 Abstract Slides
(First-order Goedel Logics) - Japan Advanced Institute of Science and Technology (JAIST), Kanazawa, Japan (1 hour), 13th June 2024 Abstract Slides
Contributed Talks
(2026)
March 30 to April 2, Student Retreat 2026, at Landhotel Yspertal, Austria (Proof Theorist’s Diary: Cut, Coffee, and Existential Crises)
April 27-28, 2026, Kurt Gödel's Birthday Colloquium, TU Wien, Austria
May 19-21, 2026, 56th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2026), Sendai, Miyagi, Japan (Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics) Abstract Slides
July 13–29, 2026, The Federated Logic Conference (FLoC), summer school 13-17 July 2026; Lisbon, Portugal
July 18-19, 2026, LCC 2026, 16th International Workshop on Logic and Computational Complexity, Lisbon submission May 10, 2026
July 24 - 25, 2026, Sixth International Workshop on Structures and Deduction 2026 Lisbon (How to deal with Henkin Quantifiers in First-Order Logic)
July 24–25, 2026, 10th Women in Logic workshop 2026, Lisbon, Portugal, (TBA)
27- 31 July 2026, Topology, Algebra, and Categories in Logic (TACL2026), Kraków, Poland (School: 20 - 24 July, 2026) (The Eliminability of Delta in Goedel Logics ) Abstract Slides
August 24–28, 2026, Novikov-125: International Conference Dedicated to the 125th Anniversary of P.S. Novikov, Steklov Mathematical Institute, 8, Gubkina str., Moscow
August 24 to September 4, 2026 18th International Summer University for Women in Engineering, University of Bremen in Germany, ngenieurinnen-sommeruni Abstract Slides
August 30 – September 5, VSM Summer School 2026, in Strobl am Wolfgangsee at the Bifeb (Bundesinstitut für Erwachsenenbildung), Austria
7-12, September 2026, 20th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Tbilisi, Georgia
15-18 September 2026. XXIX Incontro di Logica AILA 2026 - Roma (A Proof-Theoretic Treatment of Incorrect/Incomplete Proofs via Hilbert’s Epsilon Calculus) Abstract Slides
21 - 24 September 2026 Colloquium Logicum 2026 at the University of Würzburg (Germany) Deadline June 30, 2026.
September 23-27, 2026, 15th Conference Logic and Applications 2026- LAP 2026, Dubrovnik, Croatia (TBA) Deadline
25-30 October 2026, LPAR-26, Spetses, Greece,Deadline June 3, 2026.
November 23-27, 2026 ,Trends in Logic XXVI, Tohoku University, Sendai Deadline July 31, 2026.
(2025)
29 September-1 October 2025, 15th in a series of meetings of the International Symposium on Frontiers of Combining Systems (FroCoS), Reykjavik, Iceland (An Analytic Representation of the Semantics of First-Order S5) Abstract Slides Recording paper
September 24-28, 2025, 14th Conference Logic and Applications - LAP2025, Dubrovnik, Croatia (Incorrect Proofs and Epsilon Calculus), (Decidability of Bernays–Schoenfinkel Class of Goedel Logics) Abstract Slides
8-12 September 2025, 15th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2025), Kutaisi, Georgia - (Goedel Logics: On the Elimination of Delta) Abstract Slides
21-25 July, 2025, Logic Algebra and Truth Degree (LATD 2025), Siena, Italy - (Decidability of Bernays–Schoenfinkel Class of Goedel Logics) Abstract Slides
7–11 July 2025, Logic Colloquium 2025- LC2025, TU WIEN, Austria (On the False-Tolerant Structure of Hilbert's Epsilon Calculus) Abstract Slides
12-16 MAY, 2025, LOGICA 2025, HEJNICE, CZECH REPUBLIC, (Towards a Proof-Theoretic Analysis of Incorrect Proofs) Abstract Slides
(2024)
1 - 5 July 2024, Topology, Algebra, and Categories in Logic (TACL 2024), Barcelona, Spain (20 min), (The limits of Prenexation in Goedel Logics) Abstract Slides
24–28 June 2024, Logic Colloquium 2024, Gothenburg, Sweden (30 min), (Goedel Logics: The Prenex Forms ) Abstract Slides
Upcoming (2027)
25-29 January 2027, 35th EACSL Annual Conference on Computer Science Logic 2027, Brighton, UK Deadline July 8, 2026.
PHILOSOPHY OF SCIENCE - Dubrovnik, IUC ---- 20 Apr 2027 - 24 Apr 2027 Deadline
IMS Graduate Summer School in Logic 2025 (Singapure / July) Deadline
16th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2027) Deadline
XXVIIIth Congress of Logic, Methodology and Philosophy of Science and Technology Kobe University, Japan, 23-28 August, 2027 Deadline
15-19 November 2027, The Eighth World Congress on Paraconsistency (WCP8), Tohoku University