Tuesdays at 1:00 pm the Automated Reasoning Group holds an informal group meeting over lunch in SS03. Visitors and external speakers are welcome. Please email Thomas Tuerk at tt291@cl.cam.ac.uk if you are willing to give a talk or have any questions.
ARG Lunch talks are announced using this webpage, Talks.cam and by emails about two hours before a talk. There is also a repository of past talks, i.e. talks given before Talks.cam was used. One can subscribe to email announcements from Talks.cam. Additionally, there is a ical/vcal version.