Formal Methods for AI Safety

Rayna Dimitrova

Timetable

Title Type Location Serial Start End All Day
Meeting Meeting E9.1 (CISPA Building), meeting room 3.21 13.07.23 13.07.23 No 
Meeting Meeting E9.1 (CISPA Building), meeting room 3.21 27.07.23 27.07.23 No 
Report Draft Due Deadline 25.08.23 N/A Yes 
Final Report Due Deadline 11.09.23 N/A Yes 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.