University of Cambridge > Talks.cam > Room FW09, Computer Laboratory, William Gates Building
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 7 talks in the archive.
Program verification reading group.
Stephan Zdancewic (University of Pennsylvania).
Room FW09, Computer Laboratory, William Gates Building.
Wednesday 02 December 2009, 11:00-12:30
Matko Botincan (University of Cambridge).
Wednesday 25 November 2009, 11:00-12:30
Misha Aizatulin (Open University & Microsoft Research).
Wednesday 04 November 2009, 11:00-12:30
Matthew Parkinson (University of Cambridge).
Wednesday 28 October 2009, 11:00-12:30
John Wickerson (University of Cambridge).
Wednesday 21 October 2009, 11:00-12:30
Computer Laboratory Opera Group Seminars
Speaker to be confirmed.
Tuesday 22 April 2008, 14:30-15:30
Jonathan Davies, Computer Laboratory, University of Cambridge.
Tuesday 05 June 2007, 14:30-15:30
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]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small}
![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071)
Stephan Zdancewic (University of Pennsylvania).
Wednesday 02 December 2009, 11:00-12:30