Theory and Semantics Group

Here are two relevant weekly events.

There is an informal lunch-time meeting on language and interaction, their underlying logic and category theory, and related topics. The Semantics Lunch eats on Mondays at 12:45pm in FW26, coordinated by Peter Sewell.
Logic and Semantics seminar series Talks are usually on Fridays at 2pm in FW11, coordinated by Tom Ridge. Upcoming talks are available on talks.cam.ac.uk: [ical/vcal] [RSS][EMAIL]

Announcements for semantics lunch appears on the the theory and hvg mailing lists, for the Theory and Semantics and Automated Reasoning groups. Locals should email theory-request@cl or hvg-request@cl to subscribe (these are aliases for people, not machines).

Here is the schedule for the Logic and Semantics for Dummies meetings, run by PhD students in the group.

In 2006-07 there are several Theory Mini-Courses, coordinated by Sam Staton, for new PhD students and anyone else interested. [ical/vcal][RSS][EMAIL]

Please email updates to mjp41 (Last updated: Mon Sep 17 17:20:05 BST 2007 )