Skip to content

Sino-Europe Institute of Dependable and Smart Software

  • Home
  • The institute
  • Partners
  • Projects
  • Study with us

PRODeep: a platform for robustness verification of deep neural networks

2020-07-06 Junwen Li

PRODeep is a platform for robustness verification of deep neural networks (DNNs). It incorporates constraint-based, abstraction-based, and optimisation-based robustness verification…

Continue Reading →

Posted in: Dependable AI

JCST Special Section on Software Systems 2020

2020-03-29 andrea

The Journal of Computer Science & Technology, a CCF B ranked journal, is going to have a special section on…

Continue Reading →

Posted in: Uncategorized

The 24th International Conference on Engineering of Complex Computer Systems Was Rounded Off

2019-11-15 Junwen Li

The 24th international conference on engineering of complex computer systems (ICECCS 2019) was held on 10th – 13th November in Nansha, Guangzhou. The…

Continue Reading →

Posted in: Uncategorized

Professor Bow-Yaw Wang (Academia Sinica) Visited Our Lab

2019-08-23 Depeng Liu

Professor Bow-Yaw Wang, from Academia Sinica, paid a visit to Sino-Europe Institute of Dependable and Smart Software during Jul. 21st…

Continue Reading →

Posted in: Visit

Professor Panagiotis Katsaros (Aristotle University of Thessaloniki) Visited Our Lab

Depeng Liu

Professor Panagiotis Katsaros, from Aristotle University of Thessaloniki, paid a visit to Sino-Europe Institute of Dependable and Smart Software during…

Continue Reading →

Posted in: Visit

Summer school on formal methods

2019-07-20 andrea

We are glad to announce the second edition of the Summer School on Formal Methods, which will be held at…

Continue Reading →

Posted in: Uncategorized

Student workshop at ATVA’19

andrea

Andrea Turrini, a member of our institute, is organizing a workshop mainly targeted to students to meet and share their…

Continue Reading →

Posted in: Uncategorized

ISCAS’ summer camp

2019-06-21 Depeng Liu

During our ISCAS Summer Camp, you can have appointments with partners of our joint institute, by registering and applying here.…

Continue Reading →

Posted in: Uncategorized

Apply to our PhD/internship/postdoc program!

2019-06-03 andrea

We offer unique carreer opportunities for talented students and young researchers at Saarland Informatics Campus. a joint Sino-European Initiative! More…

Continue Reading →

Posted in: Uncategorized

Recent Posts

  • PRODeep: a platform for robustness verification of deep neural networks
  • JCST Special Section on Software Systems 2020
  • The 24th International Conference on Engineering of Complex Computer Systems Was Rounded Off
  • Professor Bow-Yaw Wang (Academia Sinica) Visited Our Lab
  • Professor Panagiotis Katsaros (Aristotle University of Thessaloniki) Visited Our Lab

Archives

  • July 2020
  • March 2020
  • November 2019
  • August 2019
  • July 2019
  • June 2019

Restricted area

  • Log in
©2019 Sino-Europe Institute of Dependable and Smart Software