Full Papers
Original research contributions with complete technical content, up to 10 pages.
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, up to 5 pages.
Journal-First Papers
Extended versions of papers recently accepted or under review at high-quality journals, with appropriate citation and novelty statement.
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 roboticsSafety and liveness guarantees in robotic autonomyFormal reasoning under uncertainty and partial observabilityToolchains and frameworks for formal robotic planningCase studies and applications of formal methods in real-world roboticsBenchmarking and evaluation of formal robotic planning approaches
Policies worth checking twice
- Submissions must be anonymized for double-blind review.
- All submissions must be in PDF format and adhere to the IEEE conference template.
- Papers must not be under review at any other conference or journal during the review period.
- Authors may not submit substantially similar work to multiple venues simultaneously.
- Authors of accepted papers must register for the workshop and present their work.
- A statement on the use of AI tools in paper preparation is required for all submissions.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026