Click to enlarge and download in high resolution.
© VSL / Photography: Nadja Meister. Free use and distribution in context of VSL.
15 July 2014
-
- Day 2 of the LogicLounge: another full room with 100+ participants
-
- Host Oliver Lehmann and logician Georg Gottlob
-
- Georg Gottlob
-
- Early arrival recommended for future LogicLounges
-
- Surprise appearance of Peter Weibel
-
- In the audience: Christos Papadimitriou
-
- The location: Heuer am Karlsplatz
14 July 2014
-
- Logic Lounge at Heuer am Karlsplatz: Over a 100 guests enjoying the conversation between Christos Papadimitriou and Helmut Veith on the pancake stacking problem (as solved together with Bill Gates) and the nexus of sex and algorithms
-
- Helmut Veith
-
- Christos Papadimitriou
-
- Opening speaker Peter Weibel at the Gödel exhibition in the central hall of the Academy of Fine Arts
-
- Karl Sigmund, creator of the Gödel exhibition
-
- Patricia Blanchette, opening speaker
-
- Gerald Steinhardt, Dean of the Faculty of Informatics, and Sabine Seidler, Rector of the Vienna University of Technology
-
- Organizers and speakers of official VSL opening on July 14 (from left): Thomas Eiter, Helmut Veith, Agata Ciabattoni, Dana Scott, Christos Papadimitriou, Moshe Vardi , Stefan Szeider, Georg Gottlob
-
- Christos Papadimitriou (UC Berkeley), among numerous other merits co-author of a paper with Bill Gates in 1979 on the “pancake sorting problem”.
-
- Dana Scott (Carnegie Mellon University), Turing Award Winner 1976 and acquaintance of Kurt Gödel in Princeton.
Click to enlarge and download in high resolution.
© VCLA / Photography: Nadja Meister. Free use and distribution in context of VSL.
Contact
Oliver Lehmann (VSL Media and Public Affairs Chair)
Katarina Singer (Events and Communications)
Media Coverage
Vienna Summer of Logic in the media
Information about the Vienna Summer of Logic
Deutsch
24.07. Der Vienna Summer of Logic geht zu Ende de
19.07. VSL: Höhepunkte der ersten Woche de
14.07. Premiere und Vernissage de
01.07. Die ersten Olympischen Spiele der Logik de
24.06. Dieser Satz ist falsch de
17.06.: Das Silberne Zeitalter der österreichischen Logik de
10.06.2014: Logik ist wie abstrakte Malerei de
02.06.2014: Der Computer ist dumm de
26.05.2014: Logik in der Informatik de
19.05.2014: All you need is logic de
09.12.2013: Basistext Vienna Summer of Logic #1 de
English
01/07/2014: The First Olympic Games of Logic en
24/06/2014: This Sentence is Wrong en
17/06/2014: The Silver Age of Austrian logic en
10/06/2014: Logic is like Abstract Art en
02/06/2014: Your Computer is Stupid en
26/05/2014: Logic in Computer Science en
12/09/2013: Basic text Vienna Summer of Logic #1 en
Organizers
Image credit: © VSL 2014 / Nadja Meister. Use and distribution of images free in the context of VSL 2014.
(Click on image for high-resolution version)
Thomas Eiter, Matthias Baaz, Helmut Veith
 Matthias Baaz |
 Thomas Eiter |
 Helmut Veith |
Vienna Summer of Logic Logo
Image credit: © VSL 2014 / Anna Petukhova. Use and distribution of images free in the context of VSL 2014.
VSL Logo (1676×1762 px)
Images of Kurt Gödel
 School of Mathematics Faculty member Kurt Gödel, at the ceremony awarding him an honorary degree at Amherst College in 1967. |
 Albert Einstein and logician Kurt Gödel in Princeton, New Jersey. |
 Albert Einstein (left) presenting the first Einstein Prize to award recipients Kurt Gödel (second from r.) and Julian Schwinger (far r.) with award benefactor and Institute for Advanced Study Trustee, Lewis Strauss (behind Einstein) |
 Albert Einstein (left) presenting the first Einstein Prize to award recipients Kurt Gödel (second from r.) and Julian Schwinger (far r.) with award benefactor and Institute for Advanced Study Trustee, Lewis Strauss |
Please note that the copyright holder for the images of Kurt Gödel is the Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA. You are requested to contact the copyright holder at ude.sainull@sevihcra in order to acquire the reproduction rights for media usage. The usage in the context of the Vienna Summer of Logic 2014 is free of cost but requires the acquisition of a permission prior to publication. Further images of Kurt Gödel can be found here. The publication of any of these images also requires the permission of the copyright holder.
Click here for high-resolution versions of the four images above.
Vienna Summer of Logic speakers
(Click on image for high-resolution version)
 Franz Baader (c): Franz Baader |
 Edmund Clarke (c): Carnegie Mellon |
 Christos Papadimitriou (c): Rama |
 Dana Scott (c): Carnegie Mellon University |
 Alex Wilkie (c): Alex Wilkie |
Federated Logic Conference plenary speakers
(Click on image for high-resolution version)
 Véronique Cortier (c): INRIA / Photo Kaksonen |
 Orna Kupferman (c): Orna Kupferman |
KR-2014 invited speakers
 Tony Cohn (c): University of Leeds |
 Georg Gottlob (c): Georg Gottlob |
 Sheila McIlraith (c): University of Toronto |