Ana Sokolova
Course on Coalgebra in Computer Science
March 8 to June 28, 2012 in seminar room Gödel / von Neumann
Johannes Fürnkranz
Course on Inductive Rule Learning
March 12-27, 2012 in seminar room Gödel
Daniel Paulusma
Lift Contractions
Joint work with: Petr Golovach, Marcin Kaminski and Dimitrios Thilikos
Tuesday, February 21, 2012 in seminar room Gödel
Olga Tveretina
Relative Efficiency of Propositional Proof Systems Based on Resolution and OBDDs
The Knowledge Based Systems Group hosted a joint talk with Olga Tveretina on Monday, February 13, 2012.