March 2012
March 28, 2012No Comments
An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. [...]
Continue readingMarch 21, 2012No Comments
Call for applications
Start of program in winter semester 2012
Ultimate closing: March 15th, 2013
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...]