23-27 Jul 2019
Vienna, Austria
Kurt Goedel's Legacy: Does Future lie in the Past? July 23-27, 2019 WEB: https://kgs.logic.at/goedels-legacy/ In 1949, Kurt Goedel showed that there exist solutions to Einstein?s equations of general relativity allowing for closed timelike curves. A closed timelike curve is a world line (in space and time) along which a material particle can travel returning to its spacetime starting point. The existence of such curves would allow time travel into one?s own past leading to all kind of causality paradoxes. Einstein, commenting on what now is known as the Goedel Universe, remarked about the possible existence of causality violating curves that ?This problem had already bothered me when constructing the theory without being able to come to clear conclusions?. Still today, there is an ongoing debate on how physical such solutions are and whether general relativity would prevent the formation of regions where causality violation is possible, e.g. ?S.Hawking's chronology protection conjecture?. Some physicists speculate that closed time curves might be ruled out by a future theory of quantum gravity which would replace general relativity and there are many other attempts to overcome that problem. Closely related are Geodel?s philosophical ideas on the existence of time, a subject that he intensively discussed with Einstein in Princetown. ?In my view Kurt Goedel?s papers represent an important contribution to general relativity, especially his analysis of the concept of time.? said Einstein. The Kurt Goedel Society intends to celebrate the 70th anniversary of Goedel?s seminal publication and the 100th anniversary of the decisive experimental verification of general relativity by organizing a conference at the University of Vienna, Austria. This event will bring together the prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The conference will be enhanced with a special exhibition about life and work of Kurt Goedel with emphasis on the Goedel's solution. Program Committee: · Peter C. Aichelburg, University of Vienna · Matthias Baaz, Vienna University of Technology (Chair) · Piotr T. Chru?ciel, University of Vienna · Daniel Grumiller, Vienna University of Technology · Gary Mar, Stony Brook University · Vesna Sabljakovic-Fritz, Vienna University of Technology and IJCAI · Karl Sigmund, University of Vienna · Friedrich K. Stadler, University of Vienna Organized by: the Kurt Goedel Society Program will consist of the invited talks, contributed talks and posters. Confirmed invited speakers include: Markus Aspelmeyer, John D.Barrow, Charles L. Bennett, David Bennett, George F.R. Ellis, Juliet Floyd, Georg Gottlob, Jan von Plato, Wolfgang Schleich, Dana Scott (Honorary Chair of the Conference), Marika Taylor, Toby Walsh, Nobel laureate Rainer Weiss and Palle Yourgrau. Tentative Timeline: March 1, 2019: Submission software online April 1, 2019: Submission deadline for contributed talks and posters April 15, 2019: Notification May 10, 2019: Early registration deadline July 23-27, 2019: Conference WEB: https://kgs.logic.at/goedels-legacy/ -- [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