skip to content

Department of Computer Science and Technology

Date: 
Thursday, 8 May, 2025 - 17:00 to 18:00
Speaker: 
Andrew Yang (Imperial College, London)
Venue: 
MR14 Centre for Mathematical Sciences

=== Hybrid talk ===

Join Zoom Meeting https://cam-ac-uk.zoom.us/j/87143365195?pwd=SELTNkOcfVrIE1IppYCsbooOVqenzI.1

Meeting ID: 871 4336 5195

Passcode: 541180

Seminar series: 
Formalisation of mathematics with interactive theorem provers

Upcoming seminars