Welcome

The Kurt Gödel Society was founded in 1987 and is chartered in Vienna. It is an international organization for the promotion of research in the areas of Logic, Philosophy, History of Mathematics, above all in connection with the biography of Kurt Gödel, and in other areas to which Gödel made contributions, especially mathematics, physics, theology, philosophy and Leibniz studies.

Top News

23-08-09 11:33

Fifth Vienna Tbilisi Summer School in Logic and Language

For the fifth time students and teachers meet in Tbilisi, Georgia, for a summer school. Please see the conference page http://www.logic.at/tbilisi09/ fo... [more...]

23-07-09 18:16

Collegium Logicum Lecture Series

27 July 2009, 15:30, Makoto Tatsuta (NII, Tokyo) - Non-Commutative First-Order Sequent Calculus [more...]

01-06-09 13:24

Moscow-Vienna Workshop on Logic and Computation 2009

This workshop brings together eminent researchers in the area of Logic and Computation and continues a successful series of joint workshops organised by Steklov Institute Moscow and Vienna Universi... [more...]