Forum on specification & Design Languages



Summer School

The first edition of the Design and Specification Languages summer school is targeted at students, researchers and R&D experts from academia and industry, who want to learn about languages, tools and techniques for developing software and hardware systems. The special topic of this year edition will be modeling and design of industrial cyber-physical systems. Still, the school will also cover modeling aspects for cyber-physical systems, distributed systems, embedded systems, real-time systems and IoT.

General Information

The school will be held in two phases:


The application process for candidate attendees starts by filling out the application form. The registration will be restricted to 30 attendees, selected based on their curriculum. In case of equal curriculum, the organizing committee will consider criteria, such as gender and provenance balanced representation.
Once the process of admission is completed successfully, for which you will receive a notification via email, you will be allowed to register and pay for the fees within the deadline specified in the notification. Please note, when admitted to the CPS Summer School you will be asked to send us a scanned copy of your ID card/passport (national ID cards are allowed only for EU citizens).

Important dates

Application Opens: May 1, 2023
Application Closes: August 15, 2023 (subject to availability) (*)
Registration fees: 200 Euro

(*) Registrations completed after August 21 will not cover the transportation from Verona to Turin.

The registration fees will include: The applicant to the summer school are also encourage to apply at the FDL 2023 Ph.D. Forum. The Ph.D. Forum at FDL 2023 will be a poster session giving Ph.D. students the opportunity to present their ongoing research to various experts from industry and academia operating in languages, tools, and techniques for hardware and software system development. During the poster session, senior faculties and researchers from the industry will provide the selected student with valuable feedback about their ongoing research. The forum can also help the students to establish contacts with second reviewers or to enter the job market.


The summer school is organized in two phases: the first phase will be held in Verona, while the second phase will be held in Torino. The transfer between the two venues will be organized by the school.


The first phase of the summer summerschool.htmlschool will be held at the ICE Laboratory of the University of Verona. The ICE Laboratory was set up to promote synergy between the technological innovation of Industry 4.0 and the education and research centers located in the Verona area. The facility serves as a technological demonstrator, functional to reconfigure industrial processes such as additive and subtractive manufacturing, quality control, assembly, and parts storage.

The laboratory is located nearby the city center of Verona. The city worldwide known as the place where William Shakespeare decided to lay the scene of its most famous tragedy: Romeo and Juliet.

More information about how to reach the location, and hotels nearby, will be provided to the accepted applicants.


The second phase of the summer school will be co-located with the Forum on design and Specification Languages. More information are available here.


The Ph.D. School on Design and Specification Languages is organized in the context of the European Project DeFacto – Design Automation for Smart Factories. This project has received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie grant agreement No. 894237.

FDL is in ,