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.

Submission Guidelines

We invite to submit both extended abstracts and position papers (4–6 pages). Papers will be published as informal proceedings and must follow the EPTCS LaTeX Style (single-column, 11pt font) and should be submitted in PDF format.

Organizing Committee

• Pedro R. D’Argenio (National University of Cordoba, AR)
• Juan A. Fraire (CONICET, AR)
• Arnd Hartmanns (Twente University, NL)
• Thomas Noll (RWTH Aachen University, DE)

Publication

Informal MISSION@ETAPS2026 proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS).

Contact

All questions about submissions should be e-mailed to info@mission-project.eu.