Programming, Logic, and Semantics Group

Here are some steps to stay informed of what is going on in the Programming, Logic and Semantics Group.

Sign up to a mailing list. There are three relevant lists. You will probably only need to sign up to one of these.
- cl-cprg-announce (Cambridge Programming Research Group mailing list; sign up here)
- cl-theory (Theory mailing list; sign up here)
- cl-arg (Automated Reasoning Group mailing list; sign up here)
You should also sign up for talks.cam (more information below).

Have a look at the seminar series in the group. Many seminar series in Cambridge now use the talks.cam system, rather than mailing lists. Unless you sign up, you won't get announcements. The talks.cam system can send you announcements by email (more info), it can update your icalendar (more info) and there is an RSS interface (more info). You might like to sign up for all talks in the computer laboratory, but you will be particularly interested in the following subset:
- Semantics lunch (most Mondays at 12:45pm in FW26);
- Automated reasoning group lunch (Tuesdays at 1:00pm in GS15);
- Category theory seminar (Tuesdays at 2:15pm in the Maths Dept);
- Departmental seminars (Wednesdays at 2:15pm in Lecture Theatre 1);
- Logic and semantics seminars (Fridays at 2pm in FW11);
- Programming research group talks (Fridays at 15:15 in GS15).
Those are the regular slots, but there are sometimes mini courses and in the past there has been a reading group for PhD students, logic and semantics for dummies. There is an occasional regional logic meeting: Cameleon. You might also be interested in lecture courses in the computer lab or in the maths department.

If you are a newcomer to the PLS group, you might consider giving a talk at one of the forums above. Make sure that your host tells everyone that you are here. There is more general information about new staff and visitors to the Computer Laboratory.

Please email updates to jpw48 (Last updated: Tue 4 Oct 2011 14:47:38 BST )