Press

12/09/2018
Article in Forschung Spezial in Der Standard (German)
Die Magie der Informatik
(The magic of computer science)

26/06/2018
Article in Heureka 4/18 (German)
Logik für die Praxis: Georg Gottlob darüber, wie Österreich in der Logik Anschluss an die Weltspitze geschaft hat
(Logic and its application: Georg Gottlob on how Austria has joined the global elite when it comes to logic)

08/05/2018
Article by Austrian Press Agency (German)
Noch nicht angekommen, dass Informatik eine Wissenschaft ist
(Not yet realized how strong Computer Science is in Austria)

04/05/2018
Online article in Die Presse (German)
Helmut-Veith-Preis für Hanna Lachnitt
(Helmut Veith Stipend for Hanna Lachnitt)

27/04/2018
Online article in Monitor.at (German)
Nachwuchs-Informatikerin ausgezeichnet
(Award for the female offspring in computer science)

27/04/2017
Article in News magazine (German)
Zu zweit Karriere schaffen
(Dual career couples)

15/03/2017
Online article in derstandard.at (German)
Computerwissenschaften: Erste Studentin erhält Helmut-Veith-Preis
(Computer science: first student awarded Helmut-Veith stipend)

1/12/2015
Article in Profil magazine (German)
Zahlenzauber: Ada Lovelace und ihre Nachfolgerinnen
(Magic numbers: Ada Lovelace and her female successors)

6/2/2015
News in Science Magazine, 6 February, 2015, Vol 347, Issue 6222
Science has a ball

2/2/2015
Newspaper article in Die Presse (German)
Wissenschaft und Redoute: Von Experimenten und Tradition
(Science Ball: On experiments and tradition)

3/12/2014
Newspaper article in HEUREKA. Das Wisenschaftsmagazin des FALTER (German)
Zukunft ohne Forscherriege?
(A future without scientists?)

6/9/2014
Online article on derstandard.at (German)
Logische Olympionikin
(The Logic Olympian)

18/8/2014
Online article on WienerZeitung.at (German)
“Forschungsgelder haben kein Mascherl”
(“Research funds do not have a pre-determined allocation”)

31/7/2014
Article in Communications of the ACM
Specialists Gather in Praise of Logic

26/7/2014
Article in Kurier (German) – print only
Die ersten Olympischen Spiele der Denker in TU Wien sind zu Ende
(The first Olympic Games of thinkers at TU Vienna come to an end)

24/7/2014
Online article on diestandard.at (German)
Wiener Logik-Sommer: Die Lösung fragt nicht nach dem Geschlecht
(Viennese Logic Summer: The solution does not ask about gender)

Online article on science.apa.at (German)
Der Vienna Summer of Logic geht zu Ende
(The Vienna Summer of Logic comes to an end)

Online article on science.apa.at (German)
Wiener Logik Sommer: Frauen als “Role Models”
(Viennese Logic Summer: Women as role models)

Online article on science.orf.at (German)
Vienna Summer of Logic: Die Lösung fragt nicht nach dem Geschlecht
(Vienna Summer of Logic: The solution does not ask about gender)

23/7/2014
Online article on nachrichten.at (German)
Linzer Informatiker gewann sechs Medaillen bei Logik-Olympiade
(Computer scientist from Linz won six medals at Olympic Games of Logic)

Article in Wiener Zeitung (German) – print only
Logischer Erfolg
(Logical success)

22/7/2014
Radio report on Ö1 (English/German)
Gödel googelt. Wie logisch ist die digitale Welt?
(Gödel googles. How logical is the digital world?)

Newspaper article in Der Standard (German)
Österreicher holen bei Olympischen Spielen der Logik 13 Medaillen
(Austrians win 13 medals at Olympic Games of Logic)

Newspaper article in Kronen Zeitung (German)
Olympischen Spiele der Logik: Erfolg für Österreich
(Olympic Games of Logic: Success for Austria)

Online article on science.apa.at (German)
Linzer Erfolg bei Olympischen Spielen der Logik
(Linz success at the Olympic Games of Logic)

Online article on futurezone.at (German)
Österreicher bei Olympischen Spielen der Logik erfolgreich
(Austrians successful at the Olympic Games of Logic)

Online article on science.apa.at (German)
Preise für die Stars der Logik
(Award for the stars of logic)

Online article on science.apa.at (German)
Computer-Olympiade in Wien: “Logischer Sieg” für die JKU
(Computer Olympic Games in Vienna: „logical victory“ for the JKU)

TV announcement on ORF2 / Wien heute (German)
Im Rahmen der Konferenz „Summer of Logic“ lädt die Akademie der bildenden Künste zu einer Ausstellung über Kurt Gödel ein.
(As a part of the conference „Summer of Logic“, the Academy of Fine Arts Vienna presents an exhibition about Kurt Gödel)

19/7/2014
Newspaper article in Süddeutsche Zeitung (German)
“Logik ist mächtig”
(“Logic is powerful”)

16/7/2014
Newspaper article in Der Standard (German)
“Dieser Algorithmus braucht Sex”
(“This algorithm needs sex”)

15/7/2014
Newspaper article in Die Presse (German)
Gödels Tiefe und Weltfremdheit
(Gödel’s depth and worldly innocence)

Online article on UNI.at (German)
Papadimitriou: “Logik als Liebesgeschichte”
(Papadimitriou: “Logic as a love story”)

11/7/2014
Newspaper article in Wiener Zeitung (German)
“Der Computer ist ein Preuße”
(“The computer is Prussian”)

10/7/2014
Newspaper article in Der Standard (German)
Ausstellung über Kurt Gödel: Die Logik der Unvollständigkeit
(Kurt Gödel Exhibtion: The logic of incompleteness)

Newspaper article in Der Standard (German)
Wie die Kunst zur Logik kam
(How art came to logic)

Online article on science.apa.at (German)
VSL: Renommierte Logikforscher geben einander die Klinke in die Hand
(VSL: Renowned logic researchers gather together)

9/7/2014
Radio report on FM4 (English/German)
Vienna Summer of Logic (scroll down on website)

Online article on science.orf.at (German)
Das Revival der Wiener Logik
(The revival of Viennese logic)

Newspaper article in Der Standard (German)
Der Kongress denkt: Österreich ist wieder logisch
(The Congress thinks: Austria is logical again)

7/7/2014
Cover story in Profil magazine (German)
Logik, die wichtigste Wissenschaft der Welt
(Logic, the most important science in the world)

Online article on science.orf.at (German)
“Sommer der Logik” beginnt
(“Summer of Logic” begins)

Newspaper article in Der Standard (German)
VSL: Die Olympischen Spiele der Logik – Informatik ganz sportlich
(VSL: The Olympic Games of Logic – sporty computer science)

Newspaper article in Tiroler Tageszeitung Online (German)
Der „Vienna Summer of Logic“ soll Neugier auf Logik wecken
(The “Vienna Summer of Logic” aims to inspire curiosity about logic)

Newspaper article in Der Standard (German)
Eine Komposition zu Ehren Kurt Gödels
(A composition in honour of Kurt Gödel)

Newspaper article in Kurier (German)
Erste Olympische Spiele der Logik in Wien
(First Logic Olympic Games in Vienna)

Online article on futurezone.at (German)
Erste Olympische Spiele der Logik in Wien
(First Logic Olympic Games in Vienna)

Online article on science.apa.at (German)
“Vienna Summer of Logic”: Logik in Wien als Comeback-Story
(“Vienna Summer of Logic”: Logic in Vienna as a comeback story)

Online article on science.apa.at (German)
Der “Vienna Summer of Logic” soll Neugier auf Logik wecken
(The “Vienna Summer of Logic” aims to inspire curiosity about logic)

Online article on science.apa.at (German)
VSL: Die Olympischen Spiele der Logik – Informatik ganz sportlich
(VSL: The Olympic Games of Logic – sporty computer science)

5/7/2014
Newspaper article in Die Presse (German)
Wort der Woche
(Word of the week)

4/7/2014
Online article on science.orf.at (German)
Die ersten Olympischen Spiele der Logik
(The first Olympic Games of Logic)

Newspaper article in Wiener Zeitung (German)
Olympische Zahlenspiele
(Olympic number games)

Article in Format magazine (German) – print only
Sommer in Wien: Eine Frage der Logik
(Summer in Vienna: A question of logic)

2/7/2014
Announcement in Falter 27/14 (German)
Falter Zoo: “Logik-WM” im “Summer of Logic”
(“Logic World Championship” at “Summer of Logic”)

Announcement in Der Standard (German) – print only
Olympische Spiele der Logik
(Olympic Games of Logic)

1/7/2014
Online article on science.apa.at (German)
Die ersten Olympischen Spiele der Logik
(The first Olympic Games of Logic)

28/6/2014
Newspaper article in Die Presse (German)
Ein Sommer der Logik in Wien
(A summer of logic in Vienna)

Online article on wien.orf.at (German)
Logik-“Woodstock” im Juli in Wien
Logic-“Woodstock” in Vienna in July

25/6/2014
Guest article by Helmut Veith in HEUREKA. Das Wisenschaftsmagazin des FALTER (German)
Das silberne Zeitalter der Logik
(The Silver Age of Logic)

23/6/2014
Online article on futurezone.at (German)
“Vienna Summer of Logic”: Wien wird zum Logik-Woodstock
(“Vienna Summer of Logic”: Vienna turns into a Logic Woodstock)

Online article on vienna.at (German)
Auseinandersetzung mit Logik
(Dealing with logic)

14/4/2014
Announcement by the European Union of the Science Journalists’ Associations (English)
Vienna Summer of Logic

2/4/2014
Online article on Futurezone.at (German)
Konferenz “Summer of Logic 2014″ in Wien feiert Kurt Gödel
(Conference “Summer of Logic 2014″ celebrates Kurt Gödel in Vienna)

10/12/2013
Online article on Computerwelt.at (German)
Vienna Summer of Logic

October 14, 2013
Magazine article in Heureka/Falter (German)
Zukunft der Forschung in Österreich
(The future of research in Austria)

October 24, 2012
Magazine article in Heureka/Falter (German)
Ein katastrophales Angebot
(A disastrous offer)

October 2, 2012
Newspaper article in Der Standard (German)
Alle möglichen Fälle eines Programms
(All Possible Cases of a Program)

July 11, 2012
Newspaper article in Der Standard (German)
Den Heisenbugs auf die Schliche kommen
(Uncovering Heisenbugs)

March 28, 2012
Letter to the Editor in Der Standard (German)
Uni-Finanzierung als absurdes Theater
(Absurdities in University Funding)

February 6, 2012
Magazine interview on Futurezone.at (German)
Algorithmen bestimmen unser Leben
(Algorithms Define our Life)

January 31, 2012
Newspaper interview in Der Standard (German)
“Intelligenz ohne Moral ist unlogisch”
(“Intelligence without Morality Is Illogical”)

January 31, 2012
Newspaper article in Der Standard (German)
Zentrum für Grundlagen der Informatik
(Center for Foundations of Computer Science)

January 25, 2012
Magazine article on Futurezone.at (German)
TU Wien: VCLA soll internationale Marke werden
(TU Vienna: VCLA Will Become an International Brand)

January 25, 2012
Newspaper article in Die Presse (German)
TU-Wien-Informatiker sollen international durchstarten
(Computer Scientists from TU Vienna Emphasize International Orientation)

January 25, 2012
Newspaper article in Der Standard (German)
TU Wien: VCLA soll internationale Marke werden
(TU Vienna: VCLA Will Become an International Brand)

May 23, 2011
Magazine article in Heureka/Falter (German)
Informatik: Computer, selbst programmierend
(Computer Science: Computers, self-programming)

March 15, 2011
Newspaper article in Der Standard (German)
Mit nationalem Netzwerk zur Weltspitze bei Software-Prüfung [PDF]

December 4, 2010
Newspaper article in Der Standard (German)
FWF fördert neue Forschungsschwerpunkte [PDF]

November 22, 2010
Press release, APA-OTS (German)
Wiener Wissenschaftsfonds (WWTF) prämiert exzellente IKT-ForscherInnen [PDF]

June 11, 2010
Magazine article in Falter – heureka Wissenschaftsmagazin (German)
Computerwissenschaft: Die sind weltweit spitze! [PDF]

May 7, 2010
Magazine article on SG.hu (Hungarian)
ARiSE – új platform biztonságos rendszereknek

May 6, 2010
Radio segment on OE1 Wissen (German)
Neues Informatik-Netzwerk soll “Kräfte bündeln” [MP3]

May 6, 2010
Newspaper article in Format (German)
Systemfehler: Heimische Computerprofis spüren Bugs auf noch bevor sie entstehen [PDF]

May 6, 2010
Newspaper article in Der Standard (German)
“ARiSE” – Neues Informatik-Netzwerk soll “Kräfte bündeln” [PDF]

May 4, 2010
Newspaper article in Der Standard (German)
Der Anfang vom Ende der Abstürze [PDF]

April 30, 2010
Magazine article on ORF.at Science (German)
Nie wieder Absturz [PDF]

December 16, 2009
Newspaper article in Computerwelt (German)
Führender Wissenschafter an TU Wien berufen [PDF]

August 2008
Radio interview on OE1
Computer Errors in the Infrastructure [MP3]

April 2008
TV interview on Austrian Television (Zeit im Bild)
Model Checking [MP4]