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

  dal 12/09/17 al 16/09/17.
Da martedì 12 a sabato 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 sul sito della Summer School
 


Organizzazione

Strutture del dipartimento