![[University of Cambridge]](/static/images/identifier2.gif){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](/static/images/talkslogosmall.gif) |
|
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. 2 upcoming talks and 1 talk in the archive. Logic and Semantics Seminar (Computer Laboratory) Reachability Types, Traces, and Full Abstraction
Logic and Semantics Seminar (Computer Laboratory) Title to be confirmed
Please see above for contact details for this list. |
Other listsThe Espresso Library, 210 East Rd Cambridge, CB1 1BG in person & via zoom Average on weekdays: 9215.18436754 kWhOther talksThere is no such thing as weather: a historical and cultural geography of weather (and health) Polar Oceans Seminar Talk Fairy Tales Title to be confirmed Summer Cactus & Succulent Show Cambridge RNA Club - ONLINE |
![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Benedict Bunting (University of Cambridge).
Friday 24 April 2026, 14:00-15:00