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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

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

ℹī¸ Information

TBC

Download to your calendar using vCal

  • UserMarco David
  • ClockWednesday 26 January 2022, 17:00-18:00
  • HouseTBC.

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 series.

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

CRUK CI Lecture Theatre (Room 001) FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon University Lecture Rooms (Mill Lane) - Room 1

Other talks

Online Causal Inference Seminar Emergency Medicine and Metabolic Medicine Using Light for Cancer Detection "That's History. That's Truth. I Seen It Myself": T'tc~tsa (Wailaki) and the Enslavement of California Native Americans. Talk TBC Sheref Mansy, topic TBA
 

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