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)
25-30 October 2026, LPAR-26: THE 26TH CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, Spetses, Greece
(First-Order Tableaux with Unification for Henkin Quantifiers, [Slides]
Towards a Proof-Theoretic Analysis of Incorrect/Incomplete Proofs (2026) LPAR Shorts) Abstract [Slides]
October 9 to October 11, 2026 FS-Seminar, Payerbach, Austria
September 23-27, 2026, 15th Conference Logic and Applications 2026- LAP 2026, Dubrovnik, Croatia
(The Eliminability of Delta in Goedel Logics) Abstract [Slides]
15-18 September 2026. XXIX Incontro di Logica AILA 2026 - Roma, Italy
(A Proof-Theoretic Treatment of Incorrect/Incomplete Proofs via Hilbert’s Epsilon Calculus) Abstract [Slides] Paper
9-13, September 2026, 20th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Tbilisi, Georgia (Organizer)
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
"Proofs and Programs: Rethinking Mathematical Truth" - from Monday the 24th of August, 10 a.m., until Wednesday the 26th of August, 2:15 p.m. [Slides]
"Logic in Action: Time, Inconsistency, and Computation" - from Thursday the 27th of August, 9 a.m., until Saturday the 29th of August, 11:30 a.m.. [Slides]
August 24–28, 2026, Novikov-125: International Conference Dedicated to the 125th Anniversary of P.S. Novikov, Steklov Mathematical Institute
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) [Slides]
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) [slides] Abstract
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) [Slides] . Paper
April 30, 2026, Helmut Veith Awards 2026
April 27-28, 2026, Kurt Gödel's Birthday Colloquium, TU Wien, Austria (Organizer)
March 30 to April 2, Student Retreat 2026, at Landhotel Yspertal, Austria
(Proof Theorist’s Diary: Cut, Coffee, and Existential Crises)
9 January 16h - 20h, Skylounge of UniWien - Pauli Symposium on "French perspectives in Austria: Mathematics & Informatics for Science & Society".
(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) [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]
3-6, September 2025, 19th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Kutaisi, Georgia (Organizer)
1-5 September 2025, 19th edition of the European Conference on Logics in Artificial Intelligence (JELIA 2025), Kutaisi, Georgia (Organizer)
August 20 to September 4, 2025, 17th International Summer University for Women in Engineering, University of Bremen in Germany, ngenieurinnen-sommeruni
Course Title: Challenge the truth!” 3 days (14 hours) [Slides]
Extension Course: "Non-classical logics: Would've, Could've, Should've!" (4+3 Hours) [Slides]
21-25 July, 2025, Logic Algebra and Truth Degree (LATD 2025), Siena, Italy -
(Decidability of Bernays–Schoenfinkel Class of Goedel Logics) Abstract [Slides]
28-31 July 2025 Summer school on Reverse Mathematics and Computability, Vienna, Austria at the Schrödinger Institute esi
16-18 July 2025,The VOrST (The Vienna Oracle of Set Theory) at TU Wien, Austria 2025
14-15 July 2025, Shelah's 80th birthday conference at TU Wien, Austria 2025
7–11 July 2025, Logic Colloquium 2025- LC2025, TU WIEN, Austria (Organizer)
(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]
April 28th, 2025, Kurt Gödel's Birthday Colloquium, TU Wien, Austria (Organizer)
(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]
9 -14, September 2024, 15th Conference on Interactive Theorem Proving (ITP 2024), Tbilisi, Georgia(Organizer)
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]
20 - 22 March 2024, A workshop on Proof, Argumentation, Computation, Modalities And Negation(PACM∧N), Verona, Italy
5–16, February 2024, Trends in Proof Theory 2024, TU Vienna, Austria
(2023)
7th of December 2023, Conference on Techniques from Logic in Mathematics, TU Wien, Vienna, Austria
5-6, October 2023, New Perspectives on Anomalies in the Sciences - remote
18-22, September 2023, 14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, Georgia
15-16, September 2023, DaLi: Dynamic Logic - New trends and applications, Tbilisi, Georgia
11-15, September, Logic Algebra and Truth Degree ( LATD 2023), 2023 Tbilisi, Georgia
7-15, September 2023, 17th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel -Society, Tbilisi, Georgia (Organizer)
22-27, September 2014, 10th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Tbilisi, Georgia
Upcoming (2027-2028)
(8-12 September 2028) 22nd International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia
15-19 November 2027, The Eighth World Congress on Paraconsistency (WCP8), Tohoku University
(20-26 September 2027) 21st International Tbilisi Summer School in Logic and Language, Tbilisi, Georgia
Sunday 12 – Saturday 18 September, 2027 VSM Summer School Universitätssport- und Seminarzentrum Dientnerhof. Dorf 36, 5652 Dienten am Hochkönig
223-28 August, 2027, XXVIIIth Congress of Logic, Methodology and Philosophy of Science and Technology Kobe University, Japan, Deadline 15 November
(27 September - 1st October 2027) 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
March 30- April 2, 2027 Student Retreat 2027 Landhotel Yspertal, Austria