University of Cambridge > Talks.cam > SS03, Computer Laboratory
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 62 talks in the archive.
Logic and Semantics Seminar (Computer Laboratory)
Paweł T. Wojciechowski, Poznan University of Technology.
SS03, Computer Laboratory.
Tuesday 14 May 2024, 12:00-13:00
Note the unusual date and time.
Andrej Bauer, University of Ljubljana.
Wednesday 01 May 2024, 10:00-11:00
Loïc Pujet (University of Stockholm).
Friday 08 March 2024, 14:00-15:00
Tom de Jong, University of Nottingham.
Friday 01 March 2024, 14:00-15:00
Elizabeth Polgreen, University of Edinburgh.
Friday 16 February 2024, 14:00-15:00
Computer Laboratory Programming Research Group Seminar
Today we have two Logic and Semantics talks, with a small gap for coffee in between.
Lionel Parreaux, HKUST (Hong Kong University of Science and Technology).
Friday 26 January 2024, 15:15-16:15
HKUST (Hong Kong University of Science and Technology).
Andrew K. Hirsch (Buffalo).
Friday 26 January 2024, 14:00-15:00
Reese Levine, University of California Santa Cruz.
Friday 12 January 2024, 14:00-15:00
Federico Olimpieri, University of Leeds.
Friday 20 October 2023, 14:00-15:00
Benedikt Pago.
Friday 13 October 2023, 14:00-15:00
Jose Meseguer, University of Illinois at Urbana-Champaign and Leverhulme Visiting Professor at King's College London.
Friday 16 June 2023, 14:00-15:00
Matthew Windsor, University of York.
Friday 09 June 2023, 14:00-15:00
Glynn Winskel, Huawei Edinburgh Research Centre and Strathclyde University.
Friday 19 May 2023, 14:00-15:00
bs630's list
Youngju Song, MPI-SWS.
Wednesday 17 May 2023, 15:00-16:00
Andrés Goens, University of Edinburgh.
Friday 12 May 2023, 14:00-15:00
Andrei Popescu, University of Sheffield.
Friday 05 May 2023, 14:00-15:00
Giannos Stamoulis, University of Montpellier.
Friday 28 April 2023, 14:00-15:00
Philip Wadler, University of Edinburgh.
Tuesday 14 March 2023, 14:00-15:00
Chris Barrett, University of Birmingham.
Friday 24 February 2023, 14:00-15:00
Meven Lennon-Bertrand, University of Cambridge.
Friday 03 February 2023, 14:00-15:00
Daniel Sorin, Duke University.
Friday 10 November 2017, 13:00-14:00
Computer Laboratory Computer Architecture Group Meeting
Note unusual time and venue
Ali Mustafa Zaidi (University of Cambridge).
Tuesday 04 June 2013, 14:00-14:45
Note unusual time
Prof. Lesley Shannon.
Tuesday 16 April 2013, 11:00-12:00
Dr Gabriel Kerneis (University of Cambridge).
Friday 23 November 2012, 15:15-16:15
Dr. Yingzhou Zhang (University of Cambridge -- visitor until March 2013).
Friday 12 October 2012, 15:15-16:15
David Pearce, Victoria University of Wellington, New Zealand.
Friday 07 September 2012, 15:15-16:15
Prof Jason Cong.
Wednesday 11 July 2012, 11:00-12:00
Peter Calvert (University of Cambridge).
Friday 22 June 2012, 15:15-16:15
Dominic Orchard (University of Cambridge).
Friday 08 June 2012, 15:15-16:15
Tomas Petricek (University of Cambridge).
Friday 01 June 2012, 15:15-16:15
Rainbow Graphics Seminars
T. Yang and Y. Wutthinitikornkit, MPhil students, University of Cambridge.
Thursday 24 May 2012, 14:15-15:00
Borja Moreno Fernandez and Artem Glebov (University of Cambridge).
Friday 18 May 2012, 15:15-16:15
Note unusual location
Jon Fielder and Scott Wilson, MathWorks.
Wednesday 21 March 2012, 11:00-12:00
Leszek Swirski.
Thursday 08 March 2012, 14:15-15:00
Friday 02 March 2012, 15:15-16:15
Tadas Baltrusaitis.
Thursday 23 February 2012, 14:15-15:00
Multiple speakers.
Thursday 16 February 2012, 14:15-15:00
Thursday 09 February 2012, 14:15-15:00
Dongjoe Shin.
Thursday 02 February 2012, 14:15-15:00
Note unusual day and time.
Raoul-Gabriel Urma and Janina Voigt (University of Cambridge).
Thursday 02 February 2012, 13:00-14:00
Speaker to be confirmed.
Thursday 26 January 2012, 14:15-15:00
Stephen Kell (Oxford).
Friday 25 November 2011, 15:15-16:15
NLIP Seminar Series
Abby Levenberg, University of Oxford.
Friday 18 November 2011, 12:00-13:00
Note unusual time of 2pm.
Karl-Filip Faxén (SICS).
Friday 21 October 2011, 14:00-15:00
Tomas Petricek & Dominic Orchard (Computer Laboratory, Cambridg).
Friday 07 October 2011, 15:15-16:15
Dominic Orchard, Computer Lab.
Friday 02 September 2011, 15:15-16:15
Note unusual time and location
Dr Nirav Dave, MIT but heading to SRI.
Monday 18 July 2011, 11:00-12:00
Prof. Ruby Lee, Princeton University.
Friday 15 July 2011, 15:00-16:00
Pete Calvert (Computer Lab, Cambridge).
Friday 18 February 2011, 15:15-16:15
Tomas Petricek (Computer Laboratory, Cambridge).
Friday 21 January 2011, 15:15-16:15
Note: Unusual time and date.
Edwin Brady (St. Andrews).
Thursday 20 January 2011, 13:00-14:00
Jukka Lehtosalo (Computer Lab, Cambridge).
Friday 14 January 2011, 15:15-16:15
Koen Claessen (Chalmers/Visiting at MSR).
Thursday 02 December 2010, 16:00-17:00
Friday 12 February 2010, 15:15-16:15
Note change of day
Prof. Andrew J. Hanson, Indiana University Bloomington.
Friday 18 July 2008, 14:15-15:00
Tom Cashman (University of Cambridge).
Thursday 22 May 2008, 14:15-15:00
Gareth Williams (University of Cambridge).
Thursday 15 May 2008, 14:15-15:00
Ian Davies (University of Cambridge).
Thursday 01 May 2008, 14:15-15:00
Luke Church, Computer Laboratory Rainbow Group.
Thursday 06 March 2008, 14:15-15:00
Lorcan Macmanus, Computer Laboratory.
Thursday 28 February 2008, 14:15-15:00
Note unusual day
Hamish Carr, University College Dublin.
Tuesday 23 October 2007, 14:15-15: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)
Paweł T. Wojciechowski, Poznan University of Technology.
Tuesday 14 May 2024, 12:00-13:00