Intensive course on Decision Procedures, 24 Oct, Linz

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)

Posted in News