Please fill in the form to register to 2017 school edition.

Please fill in this field only if you're Italian.


Please fill in the following fields only if the invoice will be headed to your organization.

Information on registration

Registration fees

Payment Methods

Payment 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.

Terms of service

Registration fees include:

  • lunches at the university canteen for the duration of the school
  • coffee breaks
  • social events

No refunding will be possible after invoice emission. For refunding, please contact the organizers as soon as possible.