University of Cambridge > Talks.cam > Online; live-streamed at MR14 Centre for Mathematical Sciences

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Online; live-streamed at MR14 Centre for Mathematical Sciences

Further detail
Subscribe using ical/vcal (Help)

If you have a question about this list, please contact: (no managers). If you have a question about a specific talk, click on that talk to find its organiser.

1 upcoming talk and 5 talks in the archive.

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserFloris van Doorn (University of Bonn).

HouseOnline; live-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 30 April 2026, 17:00-18:00

Please see above for contact details for this list.

Other lists

https://teams.microsoft.com/l/meetup-join/19%3ameeting_YmQyY2ViNDgtZDE1MC00MzZhLWFjZGItOWFmMjM2OTI1ZDQy%40thread.v2/0?context=%7b%22Tid%22%3a%2249a50445-bdfa-4b79-ade3-547b4f3986e9%22%2c%22Oid%22%3a%2230bfe2fc-8896-487c-84f2-f4b8875a60b2%22%7d Cambridge Union Society University of East Anglia, Norwich

Other talks

Online Causal Inference Seminar When Programmes Disagree About Programmes: Code Poetry and the Problem of Programme–Programme Communication Computation of free boundary minimal surfaces via extremal Steklov eigenvalues From Physics-informed Neural Networks to Numerically Verified Proofs in Geometric Analysis The Magic of Magnetism Cooperation in Nature
 

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