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
ERC Starting Grant: COMPLEX REASON – Postdoc Positions Available
Two postdoc positions (Algorithms & Complexity and Probabilistic Reasoning) are available for the ERC Starting Grant: COMPLEX REASON.
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.
