09.04.2018
 

CAV 2018

The Paper "Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives" by Krishnendu Chatterjee, Monika Henzinger, Veronika...

09.04.2018
 
04.04.2018
 

Tom successfully defended his PhD thesis.

03.04.2018
 

WWTF Call 2018: Vienna Research Groups for Young Investigators "Information and Communication Technology"

NachwuchswissenschafterInnen erhalten die Möglichkeit eigene, für max. 8 Jahre finanzierte, Forschungsgruppe im Bereich "Informations- und...

30.03.2018
 

"Programmierknecht werden reicht nicht"

ao. Univ.-Prof. Renate Motschnig was interviewed for the Austrian newspaper Der Standard on the topic apprenticeship in coding. Read the whole...

30.03.2018
 

"Programmierknecht werden reicht nicht"

ao. Univ.-Prof. Renate Motschnig im Der Standard-Interview zum Thema "Programmieren als Lehre". Gleich nachlesen.