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.
If you have a question about this list, please contact: Matthew Parkinson; Sam Staton; Peter Sewell. If you have a question about a specific talk, click on that talk to find its organiser.