Upcoming Events

Date/Time Event
May 31, 2017
10:30 am - 12:30 pm
Formal Synthesis and Data-driven Verification of Cyber-Physical Systems
Speaker: Ayca Balkan
Affiliation: Ph.D. Candidate - UCLA
Location: E-IV Faraday Room #67-124, Los Angeles CA