University of Cambridge > Talks.cam > Computer Laboratory, William Gates Building, Room GS15
Add to your list(s) Send you e-mail reminders Further detail Subscribe using ical/vcal (Help)
If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.
0 upcoming talks and 10 talks in the archive.
Computer Laboratory Automated Reasoning Group Lunches
David Pichardie - INRIA Rennes / Purdue University.
Computer Laboratory, William Gates Building, Room GS15.
Tuesday 17 January 2012, 13:00-14:00
Women@CL Events
David Ainscough.
Tuesday 02 December 2008, 13:00-14:00
Room changed
Magnus Myreen (University of Cambridge).
Tuesday 27 May 2008, 13:00-14:00
Christoph Benzmueller.
Tuesday 03 July 2007, 13:00-14:00
Thomas Tuerk (University of Cambridge).
Tuesday 26 June 2007, 13:00-14:00
Samin Ishtiaq (Currently: ARM).
Tuesday 19 June 2007, 13:00-14:00
Roger Bishop Jones (None).
Tuesday 12 June 2007, 13:00-14:00
Aaron Coble (University of Cambridge).
Tuesday 05 June 2007, 13:00-14:00
Hasan Amjad (University of Cambridge).
Tuesday 29 May 2007, 13:00-14:00
Alexey Gotsman (University of Cambridge).
Tuesday 15 May 2007, 13:00-14:00
Please see above for contact details for this list.
© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity
![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](https://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small}
![[Talks.cam]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071)
David Pichardie - INRIA Rennes / Purdue University.
Tuesday 17 January 2012, 13:00-14:00