Dear CMKL Community,

We are honored to welcome Professor Toshiaki Aoki from the Division of Transdisciplinary Sciences, School of Information Science, JAIST – Japan Advanced Institute of Science and Technology for a special guest lecture at CMKL University.

Professor Toshiaki Aoki will be giving a talk about Formal Methods for Autonomous Driving Systems. If this topic suits your interests, kindly secure your spot by registering before the deadline.

📅 Date: Wednesday, September 3, 2025

🕒 Time: 3:00 – 4:15 PM

📍 Venue: Room 607, 6th Floor, CMKL University

💻 Format: Hybrid (in-person and online)

📝 Registration Deadline: August 29, 2025

🔗 Registration Link: https://shorturl.at/wdygu

We look forward to your participation in this session.

Thank you so much for your acknowledgement.

‍