Media Relations


Click to enlarge and download in high resolution.
© VSL / Photography: Nadja Meister. Free use and distribution in context of VSL.

15 July 2014

14 July 2014

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

22.07. Siegreiche Logik 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

30.06. VSL Public Events 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

Biographies

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

Thomas Eiter, Matthias Baaz, Helmut Veith

Matthias Baaz

Matthias Baaz

Thomas Eiter

Thomas Eiter

Helmut Veith

Helmut Veith

Image credit: © VSL 2014 / Anna Petukhova. Use and distribution of images free in the context of VSL 2014.

VSL Logo (1676x1762 px)

VSL Logo (1676×1762 px)

Images of Kurt Gödel

Photographer unknown.  From the Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA.

School of Mathematics Faculty member Kurt Gödel, at the ceremony awarding him an honorary degree at Amherst College in 1967.
Credit: Photographer unknown. From the Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA.

Oskar Morgenstern photographer.  From the Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA.

Albert Einstein and logician Kurt Gödel in Princeton, New Jersey.
Credit: Oskar Morgenstern photographer. From the Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA.

Alan Richards photographer.  From the Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA.

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)
Credit: Alan Richards photographer. From the Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA.

Alan Richards photographer.  From the Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA.

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
Credit: Alan Richards photographer. From the Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA.

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

Biographies

(Click on image for high-resolution version)

Franz Baader

Franz Baader (c): Franz Baader

Edmund Clarke

Edmund Clarke (c): Carnegie Mellon

Christos Papadimitriou (C): Rama

Christos Papadimitriou (c): Rama

Dana Scott (c): Carnegie Mellon University

Dana Scott (c): Carnegie Mellon University

Alex Wilkie (C): Alex Wilkie

Alex Wilkie (c): Alex Wilkie

Federated Logic Conference plenary speakers

Biographies

(Click on image for high-resolution version)

Véronique Cortier (c): INRIA / Photo Kaksonen

Véronique Cortier (c): INRIA / Photo Kaksonen

Orna Kupferman (c): Orna Kupferman

Orna Kupferman (c): Orna Kupferman

KR-2014 invited speakers

Tony Cohn

Tony Cohn (c): University of Leeds

Georg Gottlob (c): Georg Gottlob

Georg Gottlob (c): Georg Gottlob

Sheila McIlraith (c): University of Toronto

Sheila McIlraith (c): University of Toronto