Formal Methods for AI Safety

Rayna Dimitrova

Timetable

Date Overview Show Calendar
Event Category
Meeting
Title
Lecture: Brief Intro to Formal Methods
Location
E9.1 (CISPA Building), meeting room 3.21 
Details
 
Starttime
11.05.2023 16:15
Endtime
11.05.2023 17:45
the whole day
No
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.