University of Cambridge > Talks.cam > Computer Laboratory Automated Reasoning Group Lunches > Introductiory Meeting
Add to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Thomas Tuerk.
A meeting to arrange the talks for this term.
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