The 2024 Summer School on Specification and Design Languages caters to students, researchers, and R&D experts from both academic and industrial backgrounds, offering invaluable insights into modeling and specification languages, alongside tools and methodologies crucial for software and hardware system development.

Building upon the success of its inaugural edition in 2023, the Summer School on Specification and Design Languages returns for its second edition. The school will be co-located with the Forum on specification and Design Languages 2024. Over the course of five days, participants can expect a dynamic program featuring lectures, demonstrations, hands-on tutorial sessions, and insightful discussions. These sessions will delve into a diverse array of essential topics encompassing modeling, specification, and verification for a wide spectrum of systems, including cyber-physical systems, distributed systems, embedded systems, real-time systems, and the Internet-of-Things.

The school program will span over five days: the first two days will be dedicated solely to the school activities, featuring full-length lectures from leading experts in the field, talks given by experts from academia and industry, and discussion sessions where the students may discuss their research with peers. In the last three days, the school program will overlap with the main conference program. The students enrolled in the school will have the opportunity to attend talks and presentations showcasing the latest advancements in modeling and specification languages for system design, directly engaging with cutting-edge innovators in the field.

The main conference program will also have a dedicated session for Ph.D. students to present their work: the FDL 2024 Ph.D. Student Forum. The applicants to the summer school are also encourage to apply at the FDL 2024 Ph.D. Student Forum. The Ph.D. Student Forum at FDL 2024 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 participants with valuable feedback about their ongoing research. The forum can also help students and recently graduated postdocs to establish research contacts or to enter the job market.