On the complexity of querying data through ontologies
Tuesday, April 24th, 2012

TUTORIAL: Social Choice - problems, results, tools and recent extensions
Friday, April 13th, 9:00 - 13:00 Seminar room Goedel

Expression Complexity of Conjunctive Queries
Fr, 23 March, 12:30, seminar room von Neumann

Course on Abstract Interpretation: from theory to applications

March 28 to April 3, 2012 in seminar room Gödel

From Coding the Genome to Algorithms Decoding Life
RiSE seminar talk on March 15, 2012

Playing in the Grey Area of Proofs
RiSE Seminar Talk on March 8, 2012

Course on Coalgebra in Computer Science

March 8 to June 28, 2012 in seminar room Gödel / von Neumann

Course on Inductive Rule Learning

March 12-27, 2012 in seminar room Gödel

Lift Contractions

Joint work with: Petr Golovach, Marcin Kaminski and Dimitrios Thilikos

Tuesday, February 21, 2012 in seminar room Gödel

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.