We are co-organizing a workshop at IROS 2026 on “Learning and Formal Methods for Robotics (LAFR).”

Please considering submitting a paper or stopping by! We also invite extended abstracts for junior researcher research-vision talks.

Please see the website for more details: https://lafr-workshop.github.io/