![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
David Cock.
Friday 17 April 2026, 14:00-15:00
tcw57âs list
Contact: 98938
1 upcoming talk View 451 archived talks
Logic and Semantics Seminar (Computer Laboratory)
Neutrality and The Atoll Verified Hypervisor
Please see above for contact details for this list.
![[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: 98938. If you have a question about a specific talk, click on that talk to find its organiser. 1 upcoming talk and 451 talks in the archive. Logic and Semantics Seminar (Computer Laboratory) Neutrality and The Atoll Verified Hypervisor
Please see above for contact details for this list. |
Other listsAverage on weekdays: 9035.50784929 kWh Graduate Union, 17 Mill Lane, Lounge Cambridge University Department of Social Anthropology - Seminar RoomOther talksMorning Break Morning Break Christopher Cowie on the epistemology of assessing biosignature claims Sera Markoff Inaugural Lecture for the Plumian Professorship in Astronomy and Experimental Philosophy - 'Staring into the heart of darkness: from theory to the direct imaging of black holes' Quantum graphs with a time asymmetry: spectral optimization and spectral statistics An AI-Assisted Proof in Spectral Geometry |