There will be one day of lecture (main topic: SAT solving) given by Armin Biere and Martina Seidl.
* Lecture (blocked on one day)
24.10.2016, 11:00 – 18:00, Institute for Formal Models and Verification, JKU Linz
* Talks by participants (blocked on two days)
date will be fixed
More details — write to Martina!
(this is part of DK LogiCS)