We had the first FMAP seminar on May 29, 2024. We invited Dr. Takano and Mr. Kanbe from Tier IV. The title of their talk is ‘Autonomous Driving and Formal Verification’, whcih perfectly fits the scope of our project. The talk was very exciting as well as we shared interesting discussions. Thank you very much for your wonderful talk, Dr. Takano and Mr. Kanbe.