D. Eckert, C. Klamler

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

Simone Bova

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

Giorgio Levi

Course on Abstract Interpretation: from theory to applications

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

Jasmin Fisher

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

Laura Kovacs

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