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

  1. Home
  2. Dipartimento
  3. Primo piano
  4. Summer School on Formal Methods for Cyber-Physical Systems - Verona, 12-16 settembre 2017
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
 
Referente
Tiziano Villa
Pagina Web
https://cps-2017.di.univr.it/school-editions/2017
Dipartimento
Informatica

Organizzazione

Strutture del dipartimento

Condividi