February 3-7: Winter School on Reasoning Engines for Rigorous System Engineering

ReRiSE’14: Advanced Winter School on Reasoning Engines for Rigorous System Engineering will take place from Monday to Friday on February 3-7 at the Johannes Kepler University, Computer Science Building, Science Park 3, Linz, Austria.

Speakers: Armin Biere, Nikolaj Bjorner, Uwe Egly, Florian Lonsing, Laura Kovacs, Andrei Voronkov.

Find more information on school page.
Register till 25th of January!

Posted in News