News

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.  

Florian gave an interview about his research on bound computation to the Austrian daily newspaper “Der Standard”.

Adjoint to the Austrian science talks in Washington, DC, our group participated in a joint workshop between CMACS and RiSE.

The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 PhD/PostDoc positions.

Florian Zuleger was awarded a grant by WWTF for his research project ”Automated Program Analysis for Bounds on Resource Consumption”. Florian’s project will develop new methods to extract bounds for loops, memory and bandwidth from imperative programs.

Georg Weissenbacher, leader of a WWTF funded Vienna Research Group, will start his work in our group on July 2. His project “Heisenbugs: From Detection to Explanation” is applying formal methods to identify hard-to-detect errors in computer systems. See a newspaper article on his work in “Der Standard”.

http://www.informatiktag.at/

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. [...]

Call for applications
Start of program in winter semester 2012
Ultimate closing: March 15th, 2013

Course on Coalgebra in Computer Science

March 8 – June 28, 2012 in seminar room Gödel / von Neumann