We organize SETSS 2025

We are organizing SETSS 2025, the 7th international School on Engineering Trustworthy Software Systems. The main topics of the lectures in SETSS 2025 are modeling, specification, and verification of human-cyber-physical systems, with a particular attention to robotics and AI.

Registration is open and everyone is welcome to join SETSS 2025.