|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 listsCulture of Scientific Research Type the title of a new list here Health
Other talksProf Eicke Latz - title TBC Prof Mamas Mamas - title TBC Biobanking 2016 Genomic approaches to anthelmintic resistance in veterinary parasitic nematodes On geometrical concepts, proofs and understanding in pure and applied mathematics Zero 2 Zero workshops