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.

3 upcoming talks and 44 talks in the archive.

Formalisation of mathematics with interactive theorem provers

The leanest automata

Hybrid talk (please see abstract for link) Note: different room, MR20 this time

UserProfessor Bjørn Kjos-Hanssen (University of Hawaii at Manoa).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 01 June 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

TBC

Note: different room, MR20 this time

UserDr Alex J. Best (King's College London).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 08 June 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Formalizing the change of variables formula for integrals in mathlib

Hybrid talk (please see abstract for link) Note: different room, MR20 this time

UserProfessor Sébastien Gouëzel (Université de Rennes).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 15 June 2023, 17:00-18:00

Please see above for contact details for this list.

 

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