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.