Ralf Wimmer and Karina Wimmer, from ALU, visits ISCAS 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…
T. van Dijk and S. Junges visit ISCAS
Tom van Dijk, from U.Twente, and Sebastian Junges, from RWTH, attend SETTA 2015 in Nanjing from Nov. 02 to Nov. 05, 2015; then they visit ISCAS until Nov. 15.
H. Hermanns from SAU visits ISCAS
Holger Hermanns, from SAU, visits ISCAS after the CAP kickoff meeting.
Yong Li from ISCAS visits Germany
Yong Li is visiting RWTH and SAU for an intership from Oct. 17, 2015 to Feb. 15, 2016.