University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers  > TBC

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

TBC

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Angeliki Koutsoukou-Argyraki.

Hybrid talk (please see abstract for link)

TBC

WATCH ONLINE HERE : https://www.microsoft.com/en-gb/microsoft-teams/join-a-meeting?rtc=1 Meeting ID: 379 992 884 209 Passcode: TYR8 Sh

This talk is part of the Formalisation of mathematics with interactive theorem provers series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Art Cell Gallery Wizkid Baby Mamas and their status, Check who is his favourite Cambridge Disaster Research Network

Other talks

Wave propagation and scattering in polycrystalline media and applications to ultrasonic characterization G I TAYLOR LECTURE – Some wrinkles in Gauss’ Theorem: Mathematics of everyday objects from Pizza to Umbrellas and Parachutes Distributed brain network activities in memory resilient to extinction Giving appropriate feedback to primary school children Numerical Analysis of Parametric PDEs
 

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