Invited Talks
(Epsilon/tau Quantifiers and Its Applications) - Université de Montpellier, (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
(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
Local Seminars
17 December 2025 - Theory&Logic group Seminar TU Wien (A gentle introduction on Epsilon Calculus) Slides
Upcoming (2026)
March 30 to April 2, Student Retreat 2026, at Landhotel Yspertal, Austria
May 19-21, 2026, 56th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2026), Sendai, Miyagi, Japan Abstract Slides
29 June - 3 July 2026 Logic Colloquium 2026 Swansea University, Wales, UK Deadline
29 June - 3 July 2026, Advances in Modal Logic (AiML 2026), Amsterdam, The Netherlands Abstract Slides Deadline 20 February 2026
27- 31 July 2026, Topology, Algebra, and Categories in Logic (TACL2026), Kraków, Poland (School: 20 - 24 July, 2026 ) Abstract Slides Abstract submission deadline 23 February 2026
July 13–25, 2026, The Federated Logic Conference (FLoC), summer school 13-17 July 2026; includes CAV, CP, CSF, FSCD, ICLP, IJCAR, ITP, KR, LICS, SAT, Lisbon, Portugal
41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Abstract Slides Deadline 15 January 2026
13th International Joint Conference on Automated Reasoning (IJCAR) Abstract Slides Deadline January 23, 2026
August 3rd - 6th, 2026, 32nd Workshop on Logic, Language, Information and Computation (WoLLIC 2026), Lima, Peru Deadline 16 February 2026
August 3rd – August 14th, 2026, 37th EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (ESSLLI 2026) , Prague, Czech Republic Deadline
August 30 – September 5, VSM Summer School 2026 2026 , in Strobl am Wolfgangsee at the Bifeb (Bundesinstitut für Erwachsenenbildung), Austria
21 - 24 September 2026 Colloquium Logicum 2026 at the University of Würzburg (Germany)
September 23-27, 2026, 15th Conference Logic and Applications 2025 - LAP 2026, Dubrovnik, Croatia Deadline
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