Summer School on Formal Methods for Cyber-Physical Systems - Verona - from 12/09/2017 to 16/09/2017

  from 9/12/17 to 9/16/17.
From September 12 to 16, 2017, the Department of Computer Science will host the first edition of the Summer School on Formal Methods for Cyber-physical Systems, with focus on automatic synthesis of controllers for hybrid systems. The school is organised by Prof. Tiziano Villa and is sponsored by the PhD School of Natural and Engineering Sciences and the Department of Computer Science. Further information at


Department facilities