Full Papers
Original research contributions presenting complete formal methods approaches to robotic planning.
Security/CORE Unranked
RSS26-W: FM4RoboPlan 2026
RSS2026 Workshop on Robot Planning in the Era of Foundation Models
FM4RoboPlan 2026 is a workshop affiliated with RSS 2026 that focuses on formal methods for robotic planning, bringing together researchers from formal methods, robotics, and AI to present and discuss rigorous approaches to guaranteeing correctness, safety, and reliability in robotic systems. The workshop encourages submissions that bridge theoretical advances with practical robotic applications.
Key deadlines
Verified September 9, 2026Full paper
June 26, 2026
AoE
Workshop timeline
Submission and decisions
Full paperKey deadline
June 26, 2026 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Short Papers
Preliminary results, tool demonstrations, or position papers with a clear focus on formal methods in robotics.
Journal-Track Submissions
Extended versions of papers accepted to the workshop may be invited to submit to a special issue in a journal.
Research areas in scope
01
Topics of Interest
Formal specification and verification of robotic systemsSynthesis of correct-by-construction robotic plansTemporal logic and automata-based planningFormal methods for multi-robot and swarm systemsIntegration of formal methods with learning-based roboticsVerification of robot autonomy under uncertaintyFormal approaches to human-robot interaction and collaborationToolchains and frameworks for formal robotic planningCase studies and applications of formal methods in real-world roboticsScalability and efficiency of formal methods in robotics
Policies worth checking twice
- Submissions must be anonymous for double-blind review.
- Papers must not exceed 10 pages for full papers and 5 pages for short papers, including references and appendices.
- Dual submission to other conferences or journals is not allowed during the review period.
- All accepted papers must be presented at the workshop by an author.
- Authors must include an AI-use statement in their submissions, detailing any use of generative AI tools.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026