Edition 2017: Automatic Synthesis of Controllers for Hybrid Systems
Please fill in the form to register to 2017 school edition.
within Friday 04 August
within Monday 04 September
by credit card is available at this website.
Payment by bank transfer is also possible to:
Dipartimento di Informatica - Università di Verona
IBAN: IT05 O 05034 11750 000000011066
Swift code BAPPIT21001
Please include the description: Summer School on Formal Methods for CPS 2017
Check the current fee (early or regular) when you register.
Registration fees include:
No refunding will be possible after invoice emission. For refunding, please contact the organizers as soon as possible.