The MISSION workshop focuses on modeling, analyzing, and verifying space missions across various domains, including networks, robotics, and intermittently connected systems. The workshop provides a platform for researchers and practitioners to present formal methods, tools, and theoretical foundations enabling correct-by-construction behavior in systems where time, synchronization, and determinism are challenged. It is organized as a concluding event of the EU Horizon 2020 project “MISSION”, leveraging collaborations across academia and industry. The event will foster discussion, demos, and community building around applied formal analysis of asynchronous or disconnected space systems operating in uncertain environments.

The event’s areas of interest encompass the following topics, without limitation: case studies, formal methods for space domain, analysis of reliability/resilience/resource consumption and tool support for space applications.