University of Cambridge > Talks.cam > FW09 - William Gates Building

  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

FW09 - William Gates Building

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.

0 upcoming talks and 3 talks in the archive.

Probabilistic Numerics Reading Group

Probabilistic Numerics Reading group 2

UserSpeaker to be confirmed.

House FW09 - William Gates Building.

ClockFriday 28 October 2022, 14:30-15:30

Logic & Semantics for Dummies

Constructive Classical Logic?

UserDavid Berry.

House FW09 - William Gates Building.

ClockThursday 10 March 2022, 11:00-12:00

Logic & Semantics for Dummies

The encode-decode method for equality types

UserAlex Rice (University of Cambridge).

House FW09 - William Gates Building.

ClockThursday 03 March 2022, 11:00-12:00

Please see above for contact details for this list.

Other lists

cyf25's list Goldsmiths' 2 & https://zoom.us/j/96836714124 Room 9, Faculty of Asian & Middle Eastern Studies, Sidgwick Avenue

Other talks

External Seminar - Michael Raissig TBC Title to be confirmed An AI-Assisted Proof in Spectral Geometry Scattering Plenty: the people who made the modern countryside Online Causal Inference Seminar Quantifying the unquantifiable? Assessing the importance of almsgiving in early modern France and Spain
 

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