Announcements for semantics lunch appears on the the
hvg mailing lists, for the Theory and Semantics
and Automated Reasoning groups. Locals should email
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.