Kurt Gödel's Birthday Colloquium

April 27 - 28, 2026

The Kurt Gödel Society and Vienna University of Technology are pleased to invite you to a two-day colloquium in celebration of the birthday of Kurt Gödel.

This annual event brings together leading researchers in logic, mathematics, and theoretical computer science to reflect on Gödel’s profound legacy and explore current developments inspired by his work.

The 2026 edition will take place over two days, featuring invited lectures, discussions, and opportunities for informal exchange within the international research community.

Important Information

When: April 27–28, 2026
Where: Boecklsaal (AA0162), TU Wien
Karlsplatz 13, 1040 Vienna, Austria

(tumaps)

Contact: kgs@logic.at

Speakers

Juan Pablo Aguilera (Vienna, Austria)

A non-linear form of Gödel’s incompleteness theorem

Ekaterina Fokina (Vienna, Austria)

From Gödel Numbering to Graph Dichotomy (cancelled)

Rosalie Iemhoff (Utrecht, The Netherlands)

Logical Inference in Nonclassical Theories

Raheleh Jalali (Bath, Great Britain)

A Characterization of Skolemization in Intermediate Logics

Laura Kovacs (Vienna, Austria)

The Vampire Diary

Aristotelis Panagiotopoulos (Vienna, Austria)

lncompleteness Theorems for Observables in General Relativity

Alejandro Poveda Ruzafa (Barcelona, Spain)

On the HOD Conjecture

Georg Schiemer (Vienna, Austria)

How are new axioms confirmed?

Andrei Voronkov (Manchester, Great Britain)

Automation of Proofs in Mathematics and Induction

Yong Cheng (Wuhan, China)

The Limits of Limitlessness: Charting the 'Natural' Threshold of Incompleteness

Richard Zach (Calgary, Canada )

Gödel's Place in the History of Logic

Schedule - Monday

Schedule - Tuesday

Organizing Committee

Matthias Baaz
Mariami Gamsakhurdia
Anela Lolić
Sandra Müller
Stella Mahler

Page updated

Google Sites

Report abuse