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.
Arnd Hartmanns, from University of Twente, is visiting us from Sept. 5 to Sept. 14, 2016.
Yu-Fang Chen, from Academia Sinica, Taiwan, is visiting us from Jul. 01 to Dec. 31, 2016.
Yuan Feng, from University of Technology Sydney, will visit us for a week at the beginning of December.
David N. Jansen, from Radboud University Nijmegen, will spend the summer in our group.
Thomas Neele, from University of Twente, joins our group for an intership. He will stay with us from the end of April to the beginning of August.