University of Cambridge > Talks.cam > DPMMS Pure Maths study groups

DPMMS Pure Maths study groups

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

study groups in pure maths

Tell a friend about this list:

If you have a question about this list, please contact: HoD Secretary, DPMMS. If you have a question about a specific talk, click on that talk to find its organiser.

5 upcoming talks and 53 talks in the archive.

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserDr Geoffrey Irving (previously Google DeepMind, soon the UK AI Safety Institute).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 29 February 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserProfessor Lawrence Paulson (University of Cambridge).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 07 March 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

Online

UserProfessor Adam Topaz (University of Alberta).

HouseLive-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 14 March 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

Online

UserDr. Mohammad Abdulaziz (King's College London).

HouseLive-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 25 April 2024, 17:00-18:00

Please see above for contact details for this list.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity