|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 listsCambridge Volcanology Electronic Structure Theory Public Understanding of Risk
Other talksDid a Frenchman translate the King James Bible? Title TBC The Whittle Laboratory: Fluid mechanics of jet engines and vacuum cleaners TBC Dr Leonie Unterholzner: Sensing intracellular DNA as "stranger" and "danger" signal Graphons and Machine Learning: Modeling and Estimation of Sparse Massive Networks - Part I