![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
David Cock.
Friday 17 April 2026, 14:00-15:00
Logic and Semantics Seminar (Computer Laboratory)
Logic and Semantics seminars are usually held at 2pm on Fridays during term time. Please contact the seminar organisers if you would like more information, would like to suggest a speaker, or would like to offer to talk yourself.
Useful links:
- Ancient talks (–2006) (tar.gz)
- University term dates and room bookings
- Directions for the Computer Laboratory
Contact: Anuj Dawar ; Peter Sewell ; 11197 ; 47138 ; Jamie Vicary ; Ioannis Markakis ; 116626 ; 120265 ; Jon Sterling ; Thibaut Benjamin
1 upcoming talk View 340 archived talks
Please see above for contact details for this list.