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.