5-9 July 2021
Virtual and Nuertingen, Germany
Celebrating 90 Years of G�del's Incompleteness Theorems The conference is a hybrid event, taking place online and on site in N�rt ingen (Germany) from 5 to 9 July 2021. The topics of the conference comprise all areas of logic relating in a narrower or wider sense to G�del's incompleteness results. This includes the history of logic, proof theory, philosophy of mathematics, aspects of incompleteness in computer science and others. The conference is organised as a collection of workshops for these specific topics. For the programme see https://uni-tuebingen.de/en/212629 If you would like to participate online, please write to events.cfvwz@listserv.uni-tuebingen.de to receive the Zoom link. The conference is organised by the Carl Friedrich von Weizs�cker Center, the Kurt G�del Society and by the ERC-funded project "G�del En�igma: Re �dis�cov� er�ing Kurt G�del through his un�pub�lished works" headed by Jan vo n Plato. Program committee: Matthias Baaz, Reinhard Kahle, Thomas Piecha, Jan von Pl ato -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam