Press
FORSYTE Visual Identity
We are proud to present our new FORSYTE logo design and visual identity, along with matching ones for our partner groups DBAI and KBS.

Logos and Visual Identity designed by Anna Petukhova. › www.annapetukhova.com
Media Coverage
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)
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]
Latest News
CAV 2013 in St. Petersburg!
Our group is co-organizing CAV 2013, the leading conference in computer-aided verification. The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.
[Read More...]Florian Zuleger in the Austrian Newspaper “Der Standard”
Florian gave an interview about his research on bound computation to the Austrian daily newspaper “Der Standard”.
[Read More...]Joint Workshop between CMACS and RiSE in Washington, DC
Adjoint to the Austrian science talks in Washington, DC, our group participated in a joint workshop between CMACS and RiSE.
[Read More...]


