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.
The school will be held in two phases:
September 11th and 12th in Verona, at the Industrial Computer
Engineering (ICE) Laboratory of the University of Verona. The first phase will focus on modeling
languages (e.g., AutomationML, SysML, etc.) for modeling industrial cyber-physical systems. The students
will also have the chance to experience the smart manufacturing systems available in the ICE laboratory.
September 13th to 15th in Torino, collocated with the Forum on Design and specification Language. During
the second phase, the students will attend a series of guest lectures, hands-on tutorials and career
panels. Furthermore, the students will participate in networking events, collocated with the forum,
where they will have the chance to discuss their research with experts in their fields, and companies
operating in the field of manufacturing, cyber-physical systems, IoT, etc.
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).
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:
Admission to all lectures, tutorials, and panels;
Admission to the Forum on design and Specification Languages 2023 activities;
Coffee breaks and Lunches during the five days of the school;
FDL Ph.D. forum and welcome reception on Wednesday;
FDL Reception on Thursday;
Transportation from Verona to Turin on September 12 (only for registrations completed before August
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
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.