University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM] > 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.

This talk has been canceled/deleted

Abstract not available

This talk is part of the Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM] series.

Tell a friend about this talk:

This talk is included in these lists:

This talk is not included in any other list

Note that ex-directory lists are not shown.

Other lists

Cambridge University Armenian Society DPMMS Lists Odd perfect numbers

Other talks

Microglial-glioma interactions Finish Data Visualisation and Digital Accessibility: What We Can Do to Help TBC Gateway Early Life Microbiomes and Long-Term Health
 

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