The third edition of the UniVr/UniUd Summer School on Formal Methods for Cyber-Physical Systems will be held in Udine, Italy, in the period August 28-31. It will be followed by the Workshop on Synthesis, Monitoring and Learning on August 31 and September 1. The list of contributors to those events is top notch.
The course is offered in a hybrid format giving the possibility to remotely attend the course (on the Microsoft Teams platform). On-site places are limited and assigned on first come first served basis. The registration fees are:
- On-site participation, 250.00 Euro + VAT 22%
- Online participation, 120.00 Euro + VAT 22%
The deadline for online application is August 18, 2023. Participation application is available at https://www.cism.it/en/activities/courses/J2303/
Spread the news and encourage students and young researchers to attend!