|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Semantics lunch is usually held from 12:45pm on Mondays in Room FW26 . There is usually an informal talk; many people bring a portable lunch. Talks start at 1pm. The meeting is associated with the Programming, Logic and Semantics group.
More details of the format are here.
If you have a question about this list, please contact: Peter Sewell; tgg22; tgg22; Timothy.Griffin; Tim.Griffin. If you have a question about a specific talk, click on that talk to find its organiser.
0 upcoming talks and 87 talks in the archive.
Please see above for contact details for this list.
Other listsComputer Laboratory Tech Talks CUED Control Group Seminars Computer Laboratory Research Students' Lectures 2014
Other talksFeeling untouched: space, emotions and untouchability 'It's Not My Story to Tell': Ownership, Legitimacy, and the Politics of History in Mocimboa da Praia, Mozambique Research Conference and Showcase - Research and Practice: Making the connections How can public interest journalism hold algorithms to account? The challenges of transparency in the digital age Differential forms and the abundance conjecture Engineered growth factor microenvironments for regenerative medicine