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)
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
29 June - 3 July 2026, Advances in Modal Logic (AiML 2026), Amsterdam, The Netherlands (Constructivity Within Constant-Domain S5) Abstract Slides
July 13–29, 2026, The Federated Logic Conference (FLoC), summer school 13-17 July 2026; Lisbon, Portugal
July 24–25, 2026, 10th Women in Logic workshop 2026, Lisbon, Portugal, (TBA) Deadline: May 5, 2026
July 26-29, 2026, 13th International Joint Conference on Automated Reasoning (IJCAR 2026) Lisbon, Portugal (A Tableaux-Based Theorem Prover for the Simplest Non-definable Henkin Quantifier) Abstract Slides
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 3rd - 6th, 2026, 32nd Workshop on Logic, Language, Information and Computation (WoLLIC 2026), Lima, Peru (Quantified S5: Skolemization and Decidable Classes) 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 30 – September 5, VSM Summer School 2026 2026 , in Strobl am Wolfgangsee at the Bifeb (Bundesinstitut für Erwachsenenbildung), Austria
XXIX Incontro di Logica AILA 2026 - Roma 14-18 September 2026 (TBA) Deadline: 30 April 2026 Abstract Slides
September 23-27, 2026, 15th Conference Logic and Applications 2026- LAP 2026, Dubrovnik, Croatia (TBA) Deadline
(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)
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