University of Cambridge > Talks.cam > Lecture Theatre 2 and Zoom

  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

Lecture Theatre 2 and Zoom

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 2 talks in the archive.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

UserAlbert Qiaochu Jiang (University of Cambridge).

HouseLecture Theatre 2 and Zoom.

ClockTuesday 15 November 2022, 13:00-14:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Graph Neural Networks for Geometric Graphs

UserChaitanya K. Joshi, Simon V. Mathis.

HouseLecture Theatre 2 and Zoom.

ClockTuesday 08 November 2022, 13:00-14:00

Please see above for contact details for this list.

Other lists

FW11 - William Gates Building Heritage Research Group Weekly Seminar Series Visual Rhetoric and modern South Asian history (2015-16)

Other talks

A Data-Centric Approach to AI Adaptation and Alignment Title to be confirmed Fairy Tales What’s my reproduction number? Life history strategies: an interdisciplinary perspective C2D3 Computational Biology Annual Symposium 2026 Content, Caching and Kubernetes: Performance and User Experience in the Browser
 

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