PRODeep is a platform for robustness verification of deep neural networks (DNNs). It incorporates constraint-based, abstraction-based, and optimisation-based robustness verification…
The Journal of Computer Science & Technology, a CCF B ranked journal, is going to have a special section on…
The 24th international conference on engineering of complex computer systems (ICECCS 2019) was held on 10th – 13th November in Nansha, Guangzhou. The…
Professor Bow-Yaw Wang, from Academia Sinica, paid a visit to Sino-Europe Institute of Dependable and Smart Software during Jul. 21st…
Professor Panagiotis Katsaros, from Aristotle University of Thessaloniki, paid a visit to Sino-Europe Institute of Dependable and Smart Software during…
We are glad to announce the second edition of the Summer School on Formal Methods, which will be held at…
Andrea Turrini, a member of our institute, is organizing a workshop mainly targeted to students to meet and share their…
During our ISCAS Summer Camp, you can have appointments with partners of our joint institute, by registering and applying here.…
We offer unique carreer opportunities for talented students and young researchers at Saarland Informatics Campus. a joint Sino-European Initiative! More…