|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 Opera Group Seminars CfEL's Enterprise Tuesday 2011/2012 VHI Seminars
Other talksTilings Motion filtering: Marshalling, steering and sorting Estimates of life expectancy for compensation after injury What keeps the Earth habitable? *Please note that this talk has been cancelled* JSC September Meeting