University of Cambridge > Talks.cam > Computer Laboratory Automated Reasoning Group Lunches > Introductory meeting
Add to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact William Denman.
Just a brief meeting to schedule the talks for this semester.
This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.
Note that ex-directory lists are not shown.
© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity