Skip to content
Sino-Europe Institute of Dependable and Smart Software
  • Home
  • The institute
  • Partners
  • Projects
  • Study with us

Month: July 2019

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

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