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.
Tom van Dijk, from U.Twente, and Sebastian Junges, from RWTH Aachen, attend SETTA 2015 in Nanjing from Nov. 02 to Nov. 05, 2015; then they visit us until Nov. 15.
Holger Hermanns, from Saarland University, visits our group after the CAP kickoff meeting.
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.