Semantics Lunch

Here is the schedule for Semantics Lunch, of the Programming, Logic, and Semantics Group, which meets on Mondays in FW26, usually with an informal talk; many people bring portable lunches. Offers of talks are very welcome, including work-in-progress talks, trip reports etc.

We gather from 12.45. Talks start at 1.00 and should be finished by 1.50 at the latest, thereby allowing time for some questions and people to get to other meetings by 2.00. Shorter talks are fine too. There's a data projector (but not a computer) and whiteboard in the room; if you need an OHP please let me know in advance.

Other PLS talk series are listed here.

Peter.Sewell@cl.cam.ac.uk

[Validate this page.]