the 70th anniversary of Goedel's seminal publication and the 100th
anniversary of the decisive experimental verification of general relativity,
taking place at the University of Vienna, July 25-27, 2019:
KURT GOEDEL`s LEGACY: DOES FUTURE LIE IN THE PAST?
This event will bring together the most prominent researchers from the
fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The
conference will be complemented by a special exhibition about life and work
of Kurt Goedel with emphasis on the Goedel's solution. 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, Marika Taylor, Toby Walsh, Nobel laureate Rainer
Weiss and Palle Yourgrau. Dana Scott is the Honorary Chair of the
Conference.
IMPORTANT DATES
April 23, 2019: Submission deadline for contributed posters and talks
May 10, 2019: Early registration deadline
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
ORGANIZERS AND SPONSORS
Organized by the Kurt Goedel Society, with a kind support of the Institute
of Discrete Mathematics and Geometry at TU Wien, ÖAW, TURIS, the Vienna
Center for Logic and Algorithms (VCLA at TU WIEN), Universität Wien, Vienna
Circle, and the Vienna Circle Society.
WEBSITE
https://kgs.logic.at/goedels-legacy/
https://www.facebook.com/events/301928290466410/
#Time4Goedel
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************