Summer School on Formal Methods for Cyber-Physical Systems - Verona, 12-16 settembre 2017

  dal 12/09/17 al 16/09/17.
Dal 12 al 16 settembre 2017 si terrà la prima edizione della Summer School on Formal Methods for Cyber-physical Systems, con focus sulla sintesi automatica dei controllori per i sistemi ibridi. La scuola è organizzata dal Prof. Tiziano Villa ed è finanziata dalla Scuola di Dottorato in Scienze Naturali e Ingegneristiche e il Dipartimento di Informatica. Maggiori informazioni su https://cps-2017.di.univr.it/school-editions/2017 
 


Organizzazione

Strutture del dipartimento