Date:
Monday, February 3, 2014
Venue: Johannes Kepler University, Linz, Austria
Speakers: Armin Biere, Nikolaj Bjorner, Uwe Egly, Florian Lonsing, Laura Kovacs, Andrei Voronkov.
Find more information on school page.