RiSE Winter School 2014: Reasoning Engines for Rigorous System Engineering

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.

Posted in Events