December 7, 2010: Prof. Armin Biere (University of Linz) visits the group.
July 13, 2010:Prof. Wolfram Burgard (University of Freiburg, Leibnitz Award Laureate 2009) visits the group.
About us
Staff
