cl-theory -- Announcements of interested to members of the theory and semantics group

This is a mailing list for theory and semantics research in the Computer Laboratory. This mailing list is generally used for last-minute seminar alterations and occasional social announcements. Talks are advertised via see here for details. Theory and semantics research takes place within the Programming, Logic and Semantics research group.

About cl-theory
English (UK)

To see the collection of prior postings to the list, visit the cl-theory Archives. (The current archive is only available to the list members.)

Using cl-theory
To post a message to all the list members, send email to

You can subscribe to the list, or change your existing subscription, in the sections below.

Subscribing to cl-theory

Subscribe to cl-theory by filling out the following form. This is a closed list, which means your subscription will be held for approval. You will be notified of the list moderator's decision by email. This is also a hidden list, which means that the list of members is available only to the list administrator.

Cambridge Users:
If you have a computer account at the University of Cambridge, and you intend to subscribe to this list, change something about the subscription you already have, or access private list archives, please log in first.
Once you have logged in, this page will automatically fill in your email address.
For people outside Cambridge

If you do not have a Raven account and want to subscribe, enter your email address and name (optional) below. A password will be automatically assigned for later use.

Your email address:  
Your name (optional):  
Would you like to receive list mail batched in a daily digest? No Yes
cl-theory Subscribers
(The subscribers list is only available to the list administrator.)

To unsubscribe from cl-theory, get a password reminder, or change your subscription options enter your subscription email address:

If you leave the field blank, you will be prompted for your email address

cl-theory list run by
cl-theory administrative interface (requires authorization)
Overview of all mailing lists
Read Documentation

Delivered by Mailman
Privacy Notice
Python Powered GNU's Not Unix