|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 listsFaculty of Music - Lectures art Cambridge Judge Business School
Other talksOn asymptotic exchangeability and graph evolution Metabolomics 2016 Cambridge Rare Disease Network International Summit Studies on Enzymatic Catalysis of Polar Reactions: Proton Transfer, Hydride Transfer and Decarboxylation Cafe Synthetique: Are synthetic biologists engineers, tinkerers or hackers? How do trypanosomes express just one VSG at a time?