Contact:
No managers listed
0 upcoming talks
View 4 archived talks
Formalisation of mathematics with interactive theorem provers
â ī¸ (NOTE UNUSUAL DAY/TIME)
đ¤ Professor Michael Douglas (Center of Mathematical Sciences and Applications, Harvard University)
đ
Monday 29 April 2024, 14:00-15:00
đ MR15 Centre for Mathematical Sciences
CCIMI Seminars
đ¤ Tom Gillam (Cantab Capital Partners)
đ
Wednesday 08 March 2017, 14:00-15:00
đ MR15 Centre for Mathematical Sciences
CCIMI Seminars
đ¤ Mihaela van der Schaar, University of Oxford and Alan Turing Institute
đ
Wednesday 22 February 2017, 14:00-15:00
đ MR15 Centre for Mathematical Sciences
CCIMI Seminars
đ¤ Quentin Berthet
đ
Wednesday 25 January 2017, 14:00-15:00
đ MR15 Centre for Mathematical Sciences
Please see above for contact details for this list.