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 and Other Events
(2026)
November 23-27, 2026, Trends in Logic XXVI, Tohoku University, Sendai Deadline July 31, 2026.
25-30 October 2026, LPAR-26: THE 26TH CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, Spetses, Greece
19 - October 23, 2026, Workshop on Logical Foundations of Complexity Theory, Isaac Newton Institute, Cambridge, UK
October 9 to October 11, 2026 FS-Seminar
September 23-27, 2026, 15th Conference Logic and Applications 2026- LAP 2026, Dubrovnik, Croatia (TBA)
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
9-13, September 2026, 20th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Tbilisi, Georgia
August 31 – September 5, VSM Summer School 2026, in Strobl am Wolfgangsee at the Bifeb (Bundesinstitut für Erwachsenenbildung), Austria
(with Stella Mahler) August 24 to September 4, 2026 18th International Summer University for Women in Engineering, University of Bremen in Germany, ngenieurinnen-sommeruni 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 3-7, 2026, Computability and Complexity by Gender Minorities (CoCoGEMS) , TU Wien
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
July 24 - 25, 2026, Sixth International Workshop on Structures and Deduction 2026 (FLoC), Lisbon (How to deal with Henkin Quantifiers in First-Order Logic)
July 24–25, 2026, 10th Women in Logic workshop 2026, Lisbon, Portugal, (A Proof-Theoretic Treatment of Incorrect/Incomplete Proofs via Hilbert’s Epsilon Calculus)
6 - 10 July 2026, 4th European Summer School on Artificial Intelligence, Vienna, 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
April 27-28, 2026, Kurt Gödel's Birthday Colloquium, TU Wien, Austria
March 30 to April 2, Student Retreat 2026, at Landhotel Yspertal, Austria (Proof Theorist’s Diary: Cut, Coffee, and Existential Crises)
(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
(Goedel Logics) 3-6, September 2025, 19th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Kutaisi, Georgia
August 20 to September 4, 2025, 17th International Summer University for Women in Engineering, University of Bremen in Germany, ngenieurinnen-sommeruni
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)
(Introduction to Epsilon Calculus) - 18th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Tbilisi, Georgia (3 hours),13-14, September 2024 Abstract Slides
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)
15-19 November 2027, The Eighth World Congress on Paraconsistency (WCP8), Tohoku University
223-28 August, 2027, XXVIIIth Congress of Logic, Methodology and Philosophy of Science and Technology Kobe University, Japan, Deadline 15 November
16th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2027) Deadline
IMS Graduate Summer School in Logic 2025 (Singapure / July) Deadline
June 28 – July 2, LATD 2027 Eszterházy Károly, Catholic University, Eger (Hungary)
June 1 - 3, 2027, 57th annual symposium on Multiple-Valued Logic ISMVL 2027, Kongsberg, Norway. Paper Submission Deadline:
November 1, 2026
LPAR2027
20 - 24 Apr 2027, PHILOSOPHY OF SCIENCE - Dubrovnik, IUC Deadline
5-29 January 2027, 35th EACSL Annual Conference on Computer Science Logic 2027, Brighton, UK Deadline July 8, 2026.