News
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 ...December 3, 2012: Thomas Sternagel completed his master studies
Thomas Sternagel successfully defended his master thesis on “Automatic Proofs in Equational Logic”.
continue reading ...