skip to content

Department of Computer Science and Technology

Date: 
Thursday, 23 February, 2023 - 17:00 to 18:00
Speaker: 
Mantas Bakšys (University of Cambridge)
Venue: 
Centre for Mathematical Sciences MR12, CMS

TBC

Seminar series: 
Formalisation of mathematics with interactive theorem provers

Upcoming seminars