News
May 14, 2013: FWF project “Automated Complexity Analysis via Transformations” accepted
Georg Moser’s project proposal on “Automated Complexity Analysis via Transformations” was accepted by the Austrian Science Fund (FWF) and has a duration of 3 years. The volume of the project is EUR 400K.
continue reading ...March 28, 2013: Julian Nagele completed his master studies
Today Julian Nagele successfully defended his master thesis on higher-order termination.
continue reading ...March 21, 2013: Sarah Winkler passed her final examination
Today MSc Sarah Winkler passed the rigorosum (cum laude) to obtain her doctorate degree.
continue reading ...