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.