Formal-Methods-Driven Safe and Secure Embodied Intelligence

  • Seminar

5 Dec 2025 2:00 - 3:00 pm

LKK302, 3/F, Leung Kau Kui Building, Lingnan University

About the Event

Date & Time:

5 Dec 2025 2:00 - 3:00 pm

Venue:

LKK302, 3/F, Leung Kau Kui Building, Lingnan University

Enquiries:

[email protected]

Organiser:

School of Data Science, Lingnan University