1st International Workshop on Software Engineering for Mission-Critical and Autonomous Systems: from Earth to Outer Space

The 1st International Workshop on Software Engineering for Mission-Critical and Autonomous Systems explores the unique challenges of developing reliable, high-assurance software for complex environments ranging from terrestrial infrastructure to deep space exploration. The event gathers researchers and practitioners to address the intersection of formal verification, adaptive control, and fault-tolerant architectures in safety-critical robotics. This workshop serves as a vital forum for advancing the engineering standards required to ensure autonomy in unpredictable and high-stakes operational domains.

We invite original research contributions, case studies, and position papers addressing rigorous software development methodologies, verification techniques, and deployment strategies for autonomous systems. Submissions exploring the trade-offs between system performance and mission safety in resource-constrained or extreme environments are particularly encouraged.