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

  1. Home
  2. Department
  3. News
  4. Summer School on Formal Methods for Cyber-Physical Systems - Verona - from 12/09/2017 to 16/09/2017
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 https://cps-2017.di.univr.it/school-editions/2017
Programme Director
Tiziano Villa
Web page
https://cps-2017.di.univr.it/school-editions/2017
Department
Computer Science

Organization

Department facilities

Share