The School on Formal Methods for Cyber-Physical Systems addresses the foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of cyber-physical systems (CPS). Applications mainly deal with engineering and natural systems, including signal circuits, robotics, automotive and avionics, large-scale infrastructure networks, as well as biochemical and physiological processes.

Topics of interest include, but are not limited to:

  • Design, synthesis, planning and control (including real-time and resource-aware control);
  • Analysis, automated verification (Boolean or quantitative), certification, validation, and testing;
  • Model building from data (via learning) and model simulation;
  • Network science and control over networks.
  • Mathematical foundations, computability and complexity;
  • Programming languages, specification formalisms;
  • Software tool engineering and experimentation.

This first edition of the school has the goal of presenting the state of the art of the current techniques in controller synthesis for hybrid systems, to enable doctoral students and young researchers to advance the field and apply the developed methodologies to concrete scenarios promoting their application in the industrial practice.

The school is supported by grants from the PhD School in Natural Sciences and Engineering and the Department of Computer Science of the University of Verona.

The school is co-located with the Forum on specification & Design Languages (FDL 2017), to be held in Verona, 18-20 September 2017 (https://ecsi.org/fdl). Special arrangements will be provided to the participants to the school who register also to FDL (TBD).


From 12/09/2017 to 16/09/2017
add to your calendar


Dipartimento di Informatica
Strada le Grazie 15, Verona (Italy)
view accommodation info
show on Google Maps /

By plane

The airport of Verona is connected to the main European and national cities. From the airport you can reach the city by taxi or by bus. A shuttle bus connects the airport to Verona Porta Nuova train station.

By Train

The train station of Verona Porta Nuova is connected with all the main Italian cities by fast and local trains. For the train schedule, please check the Italian railway company. From the station you can reach the Department of Computer Science by bus or by taxi.

By bus

Bus line 21 (towards S. Giovanni Lupatoto) get off at the first bus stop after Borgo Roma hospital; from the bus stop, you can see the department’s buildings. You can also catch bus line 22 (towards Policlinico/San Giovanni Lupatoto) and line 93 (during the night and on Sundays), towards Cadidavid. For these last two bus lines, get off at Borgo Roma hospital, then follow the map below. You can find timetables and line maps at the ATV website.

By car
Take the A4 Milano-Venezia highway, exit Verona Sud then follow the direction "Ospedale Borgo Roma" (hospital), on the right. At the hospital, go straight, cross the small bridge on a river and take the second right. From here you can see the department buildings on your left.

Register to the 2017 school edition »

Tarsie in Santa Maria in Organo, Verona
Tarsia of Santa Maria in Organo church in Verona



The schedule will be available shortly.

Social Events

Scientific Committee

Paolo Fiorini, Dipartimento d'Informatica, Università di Verona, Italy
Angelo Montanari, Dipartimento d'Informatica e Matematica, Università di Udine, Italy
Riccardo Muradore, Dipartimento d'Informatica, Università di Verona, Italy
Tiziano Villa, Dipartimento d'Informatica, Università di Verona, Italy


Marta Capiluppi, Dipartimento d'Informatica, Università di Verona, Italy (marta.capiluppi@univr.it)
Luca Geretti, Dipartimento d'Informatica, Università di Verona, Italy (luca.geretti@univr.it)
Pietro Sala
, Dipartimento d'Informatica, Università di Verona, Italy (pietro.sala@univr.it)
Tiziano Villa
, Dipartimento d'Informatica, Università di Verona, Italy (tiziano.villa@univr.it)