Date: July 25-27, 2019 | Venue: University of Vienna

Markus Aspelmeyer

is professor at the University of Vienna and currently holds the chair for Quantum Information on the Nanoscale. For his work in quantum optics, quantum information and quantum-opto-mechanics he has received the Fresnel Prize of the European Physical Society, the Ignaz Lieben Prize of the Austrian Academy of Sciences and the Fritz-Kohlrausch Prize of the Austrian Physical Society. Together with Garrett Cole, co-founding partner of Crystalline Mirror Solutions, he received the second prize of the Berthold Leibinger Innovationspreis in 2016.

John D.Barrow

is Professor of Mathematical Sciences at Cambridge University and Director of the Millennium Mathematics Project, His research interests are in cosmology, astrophysics and gravitation. He has received many awards, including the 2006 Templeton Prize, 2015 Dirac Gold Medal of the Institute of Physics, and the 2016 Gold Medal of the Royal Astronomical Society. He is a Fellow of the Royal Society and the Academia Europaea. He has written more than 550 scientific papers, and 22 books translated into 28 languages. His play, Infinities, won the Premi Ubu for best play in the Italian theatre in 2002.

  Charles L. Bennett

is Bloomberg Distinguished Professor, the Alumni Centennial Professor of Physics and Astronomy and a Gilman Scholar at Johns Hopkins University. In 2017 he was awarded the Isaac Newton Medal and Prize as "Leader of the Wilkinson Microwave Anisotropy Probe (WMAP), that had a transformative effect in cosmology. The WMAP has, through its incredibly precise measurements of temperature fluctuations in the cosmic microwave background (CMB), revolutionized our understanding of the universe. It transformed cosmology from an order-of-magnitude game to a precision experimental science." He has obtained a large number of other prizes e.g. 2018 Breakthrough Prize in Fundamental Physics, 2015 Caterina Tomassoni and Felice Pietro Chisesi Prize (Tomassoni awards), 2013 Karl G. Jansky Prize Lecturer, 2012 Gruber Cosmology Prize , 2010 Shaw Prize in Astronomy.

David Bennett

Senior Research Scientist at NASA Goddard Space Flight Center and University of Maryland He is principal investigator of the exoplanet Microlensing Survey mission WFIRST (Wide Field Infrared Survey Telescope), with approx. 90 scientists and 30 institutions. Gravitational lensing is based on Einstein’s prediction that the propagation of light is influenced by large masses. Gravitational microlensing provides a unique window on the properties and prevalence of extrasolar planetary systems because of its ability to find low-mass planets.

George F.R. Ellis

is Professor Emeritus, Mathematics Department, University of Cape Town, Cape Town. George Francis Rayner Ellis, FRS, Hon. FRSSAf, is emeritus distinguished professor of complex systems in the Department of Mathematics and Applied Mathematics at the University of Cape Town in South Africa. He has worked for many decades on anisotropic cosmologies (Bianchi models) and inhomogeneous universes, and on the philosophy of cosmology. Together with S. Hawking he wrote “The Large Scale Structure of Space-Time” which has become a standard textbook for studying mathematical aspects of Einstein’s theory. He has published over 500 papers and won the Templeton Prize in 2004. He was also awarded the Order of the Star of South Africa by Nelson Mandela (1999) nd elected as fellow of the British Royal Society.

Juliet Floyd

Professor of Philosophy at Boston University, a philosopher of logic, mathematics and science, her research focuses on the interplay between logic and philosophy from the 18th to the 20th centuries. She is especially known for her work on Wittgenstein’s philosophy of logic and mathematics, but writes widely about such notions as the nature and limitations of philosophical and axiomatic methods, logic and foundations of mathematics, simplicity and modernism in mathematics and the arts, skepticism and rule-following, the concepts of “rigor” and the “everyday” in early twentieth-century philosophy, and the history of American philosophy and pragmatism in relation to European twentieth century analytic philosophy (Vienna Circle, Carnap, Quine, Putnam, Rawls, Cavell).

Tom Henzinger

is president of IST Austria (Institute of Science and Technology Austria). He holds a Dipl.-Ing. degree in Computer Science from Kepler University in Linz, Austria, a Ph.D. degree in Computer Science from Stanford University (1991), and a Dr.h.c. from Fourier University in Grenoble, France (2012) and from Masaryk University in Brno, Czech Republic (2015). He was Assistant Professor of Computer Science at Cornell University (1992-95) and Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley (1996-2004). He was also Director at the Max-Planck Institute for Computer Science in Saarbruecken, Germany (1999) and Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland (2004-09). His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. His HyTech tool was the first model checker for mixed discrete-continuous systems. He is an ISI highly cited researcher, a member of Academia Europaea, a member of the German Academy of Sciences (Leopoldina), a member of the Austrian Academy of Sciences, a Fellow of the AAAS, a Fellow of the ACM, and a Fellow of the IEEE. He has received the Milner Award of the Royal Society, the Wittgenstein Award of the Austrian Science Fund, and an ERC Advanced Investigator Grant.

Reinhard Kahle  

is Carl Friedrich von Weizsäcker Professor for Philosophy and History of Science at the Universität Tübingen. He is expert for the historical background of the Axiomatic Method of David Hilbert, whose prominence in Mathematics in contrast to Physics can be considered as one of the motivations for the cosmological considerations of Kurt Gödel

Jan von Plato

is a prominent logician and historian of logic from the University of Helsinki. He edited and commented a considerable part of Gerhart Gentzen's unpublished writings. He has been awarded an extensive grant to investigate the notes in Gabelsberger shorthand from the estate of Kurt Gödel. Jan von Plato obtained surprising results about Kurt Gödel's work in progres.

Wolfgang Schleich

is professor of theoretical physics and director of the quantum physics department at the University of Ulm. He is best known for his research into the physics of phase space, and in particular Wigner functions, cold atoms, and the interface to solid-state physics, Schleich also conducts tests of general relativity using cold atoms, specifically Bose-Einstein condensates.

Dana Scott, Honorary Chair of the Conference

Dana Scott is one of the most prominent and prolific logicians of our time. Originally a student of Alfred Tarski and Alonzo Church he contributed groundbreaking results to nearly all areas of mathematical logic. In addition, he had a long lasting relation to Kurt Gödel in Princeton. Dana Scott is Turing Award winner and President of the Kurt Gödel Society.

Marika Taylor

is a Professor of theoretical physics and Head of Applied Mathematics and Theoretical Physics within Mathematical Sciences at the University of Southampton, UK. Her research focuses on string theory, quantum field theory and gravitational physics. She uses the holographic principle, which relates gravitational theories to theories without gravity in one less dimension, to investigate the physical properties of black holes and condensed matter systems. She is a Fellow of the Royal Netherlands Academy of Arts and Sciences and won the 2008 Minerva Prize, awarded annually by the Netherlands Organisation for Scientific Research for her paper "Fuzzball solutions for black holes and D1-brane-D5-brane microstates" where she provides a microscopic description of black hole physics. She pioneered the research field of non-relativistic holography. Her PhD thesis, completed in 1998, was supervised by Stephen Hawking.

Toby Walsh

is a leading researcher in Artificial Intelligence. He was named by the Australian newspaper as a "rock star" of Australia's digital revolution. He is Scientia Professor of Artificial Intelligence at UNSW, leads the Algorithmic Decision Theory group at Data61, Australia's Centre of Excellence for ICT Research, and is Guest Professor at TU Berlin. He has been elected a fellow of the Australian Academy of Science, and has won the prestigious Humboldt research award as well as the NSW Premier's Prize for Excellence in Engineering and ICT. He has previously held research positions in England, Scotland, France, Germany, Italy, Ireland and Sweden.

Nobel laureate Rainer Weiss

professor of physics emeritus at MIT. He made pioneering measurements of the spectrum of the cosmic microwave background radiation, and then was co-founder and science advisor of the NASA COBE (microwave background) satellite. Weiss played a leading role in developing the interferometric gravitational wave detectors and co-founded the NSF LIGO (gravitational-wave detection) project. In 2017, Weiss was awarded the Nobel Prize in Physics, along with Kip Thorne and Barry Barish, "for decisive contributions to the LIGO detector and the observation of gravitational waves". In addition he received many other awards: Einstein Prize (2007); Special Breakthrough Prize in Fundamental Physics (2016);Gruber Prize in Cosmology (2016);Shaw Prize (2016); Kavli Prize (2016); Harvey Prize (2016); Princess of Asturias Award (2017)…

Palle Yourgrau

is the Harry A. Wolfson professor of philosophy at Brandeis University, Massachussetts. He is an expert on philosophy of language and philosophy of mathematics and has written on such diverse thinkers as Frege, Kripke, Simone Weil, Plato and Aristoteles. His seminal book "A World Without Time. The Forgotten Legacy of Einstein and Gödel" appeared in 2005 and was translated into nine languages.