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
