|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 listsCapitalism on the Edge Ver Heyden de Lancey Lectures Isaac Newton Institute Distinguished Seminars
Other talksThe evolutionary ecology of innovativeness and personality in the wild Representations of p-adic groups via geometric invariant theory What makes econophysics distinctive? Something on Uranium Healthcare Design Bottom-up: from neutrino mixing to physics at the Planck scale