skip to content

Department of Computer Science and Technology

Date: 
Thursday, 25 April, 2024 - 17:00 to 18:00
Speaker: 
Dr. Mohammad Abdulaziz (King's College London)
Venue: 
Live-streamed at MR14 Centre for Mathematical Sciences

---

WATCH ONLINE HERE : https://www.microsoft.com/en-gb/microsoft-teams/join-a-meeting?rtc=1 Meeting ID: 370 771 279 261 Passcode: iCo7a5

Online
Seminar series: 
Formalisation of mathematics with interactive theorem provers

Upcoming seminars