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

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

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