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 61 talks in the archive.
Logic and Semantics Seminar (Computer Laboratory)
Note the unusual date and time.
Andrej Bauer, University of Ljubljana.
SS03, Computer Laboratory.
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