R. Wimmer gives a course on Symbolic Verification, K. Wimmer a talk on DQBF

Ralf Wimmer and Karina Wimmer, from Albert-Ludwigs-University Freiburg, Germany, visits us from Oct. 17 to Oct. 27, 2016. During the visit, Ralf gives a course on Symbolic Verification while Karima gives a talk on Dependency Quantified Boolean Formulas and Skolem functions applied to DQBF.