University of Cambridge > Talks.cam > bs630's list
Add to your list(s) Send you e-mail reminders Further detail Subscribe using ical/vcal (Help)
A personal list of talks.
If you have a question about this list, please contact: Ben Simner. If you have a question about a specific talk, click on that talk to find its organiser.
0 upcoming talks and 432 talks in the archive.
Logic and Semantics Seminar (Computer Laboratory)
Magnus Myreen ( Chalmers University, Sweden).
TBC - probably SS03, Computer Laboratory.
Friday 21 June 2024, 14:00-15:00
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
Charlotte Aten, University of Denver.
Lecture Theatre 2, Computer Laboratory.
Friday 24 November 2023, 14:00-15:00
Federico Olimpieri, University of Leeds.
Friday 20 October 2023, 14:00-15:00
John Baez, University of California Riverside.
LT1, Computer Laboratory.
Wednesday 18 October 2023, 14:00-15:00
Benedikt Pago.
Friday 13 October 2023, 14:00-15:00
David Monniaux, CNRS/VERIMAG and École Polytechnique.
FW11, Computer Laboratory.
Thursday 20 July 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
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
Speaker to be confirmed.
Venue to be confirmed.
Wednesday 10 May 2023, 11:00-12: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
Mahsa Shirmohammadi, University of Oxford.
Friday 10 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
Matthew Parkinson, Microsoft Research.
SS03.
Friday 27 January 2023, 14:00-15:00
Sebastian Erdweg, Johannes Gutenberg University Mainz.
FW26, Computer Laboratory.
Monday 19 December 2022, 11:00-12:00
Manuel Araujo, University of Cambridge.
Friday 02 December 2022, 14:00-15:00
Fredrik Dahlqvist, UCL.
Friday 25 November 2022, 14:00-15:00
Alex Kavvos, University of Bristol.
Friday 18 November 2022, 14:00-15:00
Ulrik Buchholtz, University of Nottingham.
Friday 11 November 2022, 14:00-15:00
Dmitry Chistikov, University of Warwick.
Friday 04 November 2022, 14:00-15:00
Thomas Ehrhard, University of Paris.
Friday 28 October 2022, 14:00-15:00
Ambroise Lafont, University of Cambridge.
Friday 21 October 2022, 14:00-15:00
Taichi Uemura, University of Stockholm.
Friday 14 October 2022, 14:00-15:00
Michael Benedikt, University of Oxford.
Monday 10 October 2022, 16:00-17:00
Bruce Collie, Runtime Verification.
Friday 07 October 2022, 14:00-15:00
Lauri Hella, Tampere University.
Thursday 29 September 2022, 14:00-15:00
Lauri Hella, University of Helsinki.
Steve Awodey, Carnegie Mellon University.
FW26.
Tuesday 30 August 2022, 14:00-15:00
András Kovács, Eötvös Loránd University.
FW11.
Monday 22 August 2022, 14:00-15:00
Ben Fiedler, ETH.
Thursday 28 July 2022, 16:00-17:00
Mikołaj Bojanczyk, University of Warsaw.
Friday 17 June 2022, 14:00-15:00
Hugo Paquet, University of Oxford.
Friday 10 June 2022, 14:00-15:00
Vikraman Choudhury, University of Indiana.
Friday 27 May 2022, 14:00-15:00
Dan Marsden, University of Oxford.
Friday 06 May 2022, 14:00-15:00
David Richerby, University of Essex.
Friday 29 April 2022, 14:00-15:00
Anupam Das, University of Birmingham.
Friday 11 March 2022, 14:00-15:00
Logic & Semantics for Dummies
David Berry.
FW09 - William Gates Building.
Thursday 10 March 2022, 11:00-12:00
Marie Fortin, University of Liverpool.
Friday 04 March 2022, 14:00-15:00
Alex Rice (University of Cambridge).
Thursday 03 March 2022, 11:00-12:00
Prakash Panangaden, McGill University and University of Edinburgh.
Friday 25 February 2022, 14:00-15:00
Friday 18 February 2022, 14:00-15:00
Alex Gurney, WebFlow.
Friday 11 February 2022, 14:00-15:00
Fabio Zanasi, UCL.
Friday 04 February 2022, 14:00-15:00
Mukesh Tiwari, University of Cambridge.
tba.
Friday 21 January 2022, 14:00-15:00
Peter LeFanu Lumsdaine, Stockholm University.
Friday 03 December 2021, 14:00-15:00
Simon Forest, University of Aix-Marseille.
Friday 26 November 2021, 14:00-15:00
Jon Sterling, University of Aarhus.
Friday 19 November 2021, 14:00-15:00
Simon Willerton, University of Sheffield.
Friday 12 November 2021, 14:00-15:00
Radu Mardare, University of Strathclyde.
Friday 05 November 2021, 14:00-15:00
Dan Iorga, Imperial College London.
Friday 29 October 2021, 14:00-15:00
Thibaut Benjamin, CEA Tech.
Friday 22 October 2021, 14:00-15:00
Ross Duncan, Cambridge Quantum Computing.
Friday 15 October 2021, 14:00-15:00
Nathanael Arkor (University of Cambridge).
https://meet.google.com/jxy-edcv-wgx.
Friday 27 August 2021, 15:00-16:00
Chelsea Edmonds (University of Cambridge).
Friday 09 July 2021, 11:00-12:00
Nathan Corbyn (University of Cambridge).
Friday 18 June 2021, 11:00-12:00
Shaun Steenkamp (University of Cambridge).
Friday 04 June 2021, 11:00-12:00
Friday 28 May 2021, 11:00-12:00
Paolo Perrone (University of Oxford).
Friday 21 May 2021, 11:00-12:00
Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).
Friday 14 May 2021, 11:00-12:00
Friday 07 May 2021, 11:00-12:00
Andrew Pitts, University of Cambridge.
Online.
Friday 26 March 2021, 14:00-15:00
Friday 26 March 2021, 11:00-12:00
Friday 19 March 2021, 11:00-12:00
Mathieu Huot.
Friday 12 March 2021, 11:00-12:00
Felipe Ferreira Santos.
Friday 05 March 2021, 11:00-12:00
Friday 26 February 2021, 11:00-12:00
Friday 12 February 2021, 11:00-12:00
Christopher Pulte, University of Cambridge.
Friday 29 January 2021, 14:00-15:00
Dima Szamozvancev (University of Cambridge).
Friday 29 January 2021, 11:00-12:00
Friday 11 December 2020, 11:00-12:00
Friday 27 November 2020, 11:00-12:00
Philip Saville, University of Edinburgh.
Friday 20 November 2020, 14:00-15:00
Friday 20 November 2020, 11:00-12:00
Tomas Jakl, University of Cambridge.
Friday 13 November 2020, 14:00-15:00
Derek Sorensen.
Friday 13 November 2020, 13:00-14:00
Friday 06 November 2020, 14:00-15:00
Friday 06 November 2020, 11:00-12:00
Gregory Wilsenach, University of Cambridge.
Friday 30 October 2020, 14:00-15:00
Friday 30 October 2020, 11:00-12:00
Alasdair Armstrong, University of Cambridge.
Friday 23 October 2020, 14:00-15:00
Michael Arntzenius, University of Cambridge.
Friday 16 October 2020, 14:00-15:00
Eric Finster, University of Cambridge.
Friday 09 October 2020, 14:00-15:00
Younesse Kaddar.
https://meet.jit.si/Logic-and-Semantics-for-Dummies.
Friday 19 June 2020, 11:00-12:00
Friday 12 June 2020, 11:00-12:00
Friday 05 June 2020, 11:00-12:00
Friday 15 May 2020, 11:00-12:00
Marco Devesas Campos, University of Birmingham.
Computer Lab, GC22.
Thursday 12 March 2020, 13:00-13:20
Yakoub Nemouchi, University of York.
Computer Lab, SS03.
Tuesday 10 March 2020, 14:30-14:50
Rainbow Room (FS07), Computer Laboratory.
Friday 06 March 2020, 11:00-12:00
Boris Djalal, OpenAirInterface Software Alliance.
Computer Lab, FW26.
Thursday 05 March 2020, 10:00-10:20
Yutaka Nagashima, Czech University in Prague (CTU) & University of Innsbruck.
Computer Lab, FW11.
Wednesday 04 March 2020, 10:00-10:20
Michael Herzberg, University of Sheffield.
Tuesday 03 March 2020, 10:00-10:20
Tomáš Jakl, Computer Lab.
Computer Laboratory, room SS03.
Friday 28 February 2020, 14:00-15:00
Kayvan Memarian (University of Cambridge).
Friday 28 February 2020, 13:00-14:00
Adam ó Conghaile (University of Cambridge).
Friday 28 February 2020, 11:00-12:00
Ramanathan S. Thinniyam, MPI-SWS.
Monday 24 February 2020, 14:00-15:00
Zeinab Galal.
Friday 21 February 2020, 14:00-15:00
Friday 31 January 2020, 11:00-12:00
Anuj Dawar (University of Cambridge).
Computer Laboratory, Room FW26.
Friday 06 December 2019, 14:00-15:00
Marco Paviotti.
Computer Laboratory, Room FW11.
Thursday 05 December 2019, 14:00-15:00
Vikraman (University of Cambridge).
Wednesday 04 December 2019, 11:00-12:00
Friday 22 November 2019, 11:00-12:00
Nadish de Silva (University of Cambridge).
Friday 15 November 2019, 14:00-15:00
MR9 Centre for Mathematical Sciences.
Thursday 14 November 2019, 14:15-15:15
Richard Eisenberg (Bryn Mawr College).
Friday 08 November 2019, 13:00-14:00
Dima Szamozvancev.
Friday 08 November 2019, 11:00-12:00
Andrej Ivašković.
Wednesday 30 October 2019, 11:00-12:00
Dylan McDermott.
Friday 18 October 2019, 11:00-12:00
Jean-Louis Lassez.
Friday 11 October 2019, 14:00-15:00
Koko Muroya.
Thursday 12 September 2019, 13:45-14:45
Jean-Baptiste Jeannin, University of Michigan.
Monday 17 June 2019, 14:00-15:00
Vikraman Choudhury, Indiana University / Cambridge.
Friday 24 May 2019, 14:00-15:00
Wednesday 15 May 2019, 11:00-12:00
Jan Pich, Oxford.
Friday 10 May 2019, 14:00-15:00
Magnus Madsen, Aarhus University.
Thursday 09 May 2019, 13:45-14:45
Marc de Visme.
Wednesday 08 May 2019, 11:00-12:00
Vilem Liepelt, University of Kent.
Thursday 18 April 2019, 14:00-15:00
Joshua Dunfield, Queen’s University, Canada.
Wednesday 17 April 2019, 14:00-15:00
Amir Shaikhha, Oxford.
Friday 12 April 2019, 14:00-15:00
Ralf Jung, MPI-SWS.
Tuesday 02 April 2019, 14:00-15:00
Ben Simner, Computer Laboratory.
Friday 22 March 2019, 14:00-15:00
Dominique Devriese, Vrije Universiteit Brussel.
Monday 18 March 2019, 14:30-15:00
Thomas Van Strydonck, KU Leuven.
Monday 18 March 2019, 11:45-12:15
Lau Skorstengaard, Aarhus University.
Monday 18 March 2019, 11:15-11:45
Ohad Kammar, Edinburgh.
Friday 22 February 2019, 15:00-16:00
Wednesday 20 February 2019, 11:00-12:00
Wednesday 13 February 2019, 11:00-12:00
Philip Saville (University of Cambridge).
Wednesday 23 January 2019, 11:00-12:00
Jonathan Protzenko, MSR Redmond.
Friday 30 November 2018, 14:00-15:00
Siddharth Krishna, NYU.
Monday 26 November 2018, 15:00-16:00
Wednesday 21 November 2018, 11:00-12:00
Bartek Klin, Warsaw University.
Tuesday 20 November 2018, 14:00-15:00
Pierre Ohlmann, IRIF, Université Paris 7.
Friday 16 November 2018, 14:15-15:15
Matthew Daggitt.
Wednesday 07 November 2018, 11:00-12:00
Aurore Alcolei.
Wednesday 31 October 2018, 11:00-12:00
Ian Orton.
Wednesday 24 October 2018, 11:00-12:00
Karoliina Lehtinen, Christian-Albrechts University of Kiel.
Friday 14 September 2018, 14:00-15:00
Paul Downen, University of Oregon.
Tuesday 11 September 2018, 14:00-15:00
Pawel Sobocinski, University of Southampton.
Friday 27 July 2018, 14:00-15:00
Yatin Manerkar, Princeton University.
Thursday 19 July 2018, 14:00-15:00
Tamara von Glehn (DPMMS).
Friday 06 July 2018, 14:00-15:00
Elias Castegren, MSR.
Friday 29 June 2018, 14:00-15:00
Guillaume Munch-Maccagnoni, INRIA.
Tuesday 19 June 2018, 14:00-15:00
Amal Ahmed, Northeastern University.
Friday 15 June 2018, 14:00-15:00
James Laird, University of Bath.
Friday 01 June 2018, 14:00-15:00
Prakash Panangaden, McGill University.
Thursday 24 May 2018, 13:45-14:45
Amlan Chakrabarti, University of Calcutta.
Friday 18 May 2018, 14:00-15:00
Tony Hoare, FRS FREng.
Friday 04 May 2018, 14:00-15:00
Hubert Chen, Birkbeck University of London.
Friday 27 April 2018, 14:00-15:00
Eric Finster, INRIA Rennes.
Friday 09 March 2018, 14:00-15:00
Michel Schellekens, University College Cork.
Friday 23 February 2018, 14:00-15:00
Chung-Kil Hur, Seoul National University.
Friday 16 February 2018, 14:00-15:00
Tuesday 13 February 2018, 14:00-15:00
Brijesh Dongol, Brunel University London.
Friday 26 January 2018, 14:00-15:00
Krishna Nandivada, IIT Madras, India.
GS15.
Thursday 25 January 2018, 14:00-15:00
William Byrd, University of Alabama at Birmingham.
Tuesday 23 January 2018, 11:00-12:00
Friday 19 January 2018, 14:00-15:00
Andrea Parri.
Thursday 07 December 2017, 11:00-12:00
Viktor Vafeiadis, MPI-SWS.
Tuesday 05 December 2017, 10:30-11:30
Sam Lindley, University of Edinburgh.
Friday 01 December 2017, 14:00-15:00
Mark Wassell.
Friday 17 November 2017, 11:00-12:00
Stephen Dolan, Ocaml Labs, University of Cambridge.
Friday 10 November 2017, 14:00-15:00
Daniel Sorin, Duke University.
Friday 10 November 2017, 13:00-14:00
Jean Pichon-Pharabod ().
Friday 03 November 2017, 11:00-12:00
Friday 27 October 2017, 11:00-12:00
Matthew Daggitt (University of Cambridge).
Friday 20 October 2017, 11:00-12:00
Hugo Paquet (University of Cambridge).
Friday 13 October 2017, 11:00-12:00
NB: rescheduled from 2017/09/22
Friday 29 September 2017, 14:00-15:00
Oliver Bracevac, University of Darmstadt.
Friday 15 September 2017, 14:00-15:00
Friday 08 September 2017, 14:00-15:00
Paul Blain Levy (University of Birmingham).
Friday 21 July 2017, 14:00-15:00
Wied Pakusa, University of Oxford.
Friday 16 June 2017, 14:00-15:00
Murdoch Gabbay, Heriot-Watt University.
Friday 09 June 2017, 14:00-15:00
Maciej Piróg.
Friday 02 June 2017, 14:00-15:00
**NOTE NON-STANDARD DAY AND ROOM BOOKING**
Aquinas Hobor, National University of Singapore.
Thursday 01 June 2017, 13:30-14:15
Georg Struth, University of Sheffield.
Friday 26 May 2017, 14:00-15:00
David Pearce, Victoria University of Wellington, New Zealand.
Friday 19 May 2017, 14:00-15:00
Nicolai Kraus, University of Nottingham.
Friday 12 May 2017, 14:00-15:00
James Cheney, University of Edinburgh.
Friday 07 April 2017, 14:00-15:00
Dan Ghica, University of Birmingham.
Friday 17 March 2017, 14:00-15:00
Magnus Myreen, Chalmers University.
Friday 03 March 2017, 14:00-15:00
Ohad Kammar, University of Oxford.
Friday 17 February 2017, 14:00-15:00
Friday 03 February 2017, 11:00-12:00
Joint Logic and Semantics and Computer Architecture Seminar
Theo Drane, Cadence Design Systems.
Friday 27 January 2017, 14:00-15:00
Peter Dybjer, Chalmers University of Technology.
Friday 20 January 2017, 14:00-15:00
Stephen Dolan, University of Cambridge.
Friday 16 December 2016, 14:00-15:00
Noam Zeilberger, University of Birmingham.
Friday 09 December 2016, 14:00-15:00
Alexandra Silva ( University College London).
Friday 02 December 2016, 14:00-15:00
Friday 25 November 2016, 10:45-11:45
NOTE NON-STANDARD ROOM BOOKING
Pierre Clairambault, ENS Lyon.
Friday 18 November 2016, 14:00-15:00
Ian Orton (University of Cambridge).
Friday 18 November 2016, 10:45-11:45
Nicholas Ng and Bernardo Toninho, Imperial College.
Friday 11 November 2016, 14:00-15:00
Simon Castellan.
Friday 11 November 2016, 10:45-11:45
Ugo Dal Lago, University of Bologna.
Friday 21 October 2016, 14:00-15:00
Marcelo Fiore, University of Cambridge.
Friday 14 October 2016, 14:00-15:00
Andy Pitts, Computer Laboratory.
Friday 07 October 2016, 14:00-15:00
Gunnar Wilken, Okinawa Institute of Science and Technology.
Friday 16 September 2016, 14:00-15:00
Neel Krishnaswami, University of Cambridge.
Friday 09 September 2016, 14:00-15:00
**NOTE NON-STANDARD DATE, TIME, AND ROOM**
Magnus Myreen, Chalmers University, Sweden.
Thursday 18 August 2016, 15:00-16:00
Robert Atkey, University of Strathclyde.
Friday 29 July 2016, 14:00-15:00
Sandrine Blazy, University of Rennes 1.
Friday 08 July 2016, 14:00-15:00
Ryan Newton, University of Indiana.
Friday 01 July 2016, 14:00-15:00
John Wickerson, Imperial College.
Friday 24 June 2016, 14:00-15:00
Mathieu Huot (University of Cambridge).
Friday 24 June 2016, 11:15-12:15
Ilya Sergey, University College London.
Friday 17 June 2016, 14:00-15:00
Jasper Lee, Brown University.
Friday 10 June 2016, 14:00-15:00
Josef Urban, Czech Technical University in Prague.
Friday 03 June 2016, 14:00-15:00
Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh.
Friday 20 May 2016, 14:00-15:00
Dominic Orchard (University of Cambridge).
Friday 20 May 2016, 11:00-12:00
Robbert Krebbers, Aarhus University.
Friday 13 May 2016, 14:00-15:00
Friday 13 May 2016, 11:30-12:30
Martin Berger, University of Sussex.
Friday 06 May 2016, 14:00-15:00
Tamas Kispeter (University of Cambridge).
Friday 06 May 2016, 11:30-12:30
Ilias Garnier, ENS Paris.
Friday 29 April 2016, 14:00-15:00
Friday 29 April 2016, 11:15-12:15
Paulo Oliva, Queen Mary, University of London.
Friday 22 April 2016, 14:00-15:00
Friday 22 April 2016, 11:15-12:15
Jeremy Siek, Indiana University.
Friday 08 April 2016, 14:00-15:00
Friday 08 April 2016, 11:00-12:00
Fredrik Nordvall Forsberg, Mathematically Structured Programming Group at the University of Strathclyde.
Friday 11 March 2016, 14:00-15:00
Friday 11 March 2016, 11:00-12:00
Friday 04 March 2016, 11:00-12:00
THIS TALK HAS BEEN CANCELLED/POSTPONED
Martín Escardó, School of Computer Science, University of Birmingham.
Thursday 03 March 2016, 14:00-15:00
NOTE UNUSUAL VENUE
Rodolphe Lepigre, Laboratoire de Mathématiques, Université de Savoie.
Friday 26 February 2016, 14:00-15:00
Friday 26 February 2016, 11:00-12:00
Conor McBride, Mathematically Structured Programming Group, Department of Computer and Information Sciences, the University of Strathclyde.
Friday 19 February 2016, 14:00-15:00
Philip Saville.
Friday 19 February 2016, 11:00-12:00
NOTE UNUSUAL VENUE This is the second seminar this week.
Andrew Swan, The Logic Group, School of Mathematics, University of Leeds.
Friday 12 February 2016, 14:00-15:00
Friday 12 February 2016, 11:00-12:00
NOTE UNUSUAL TIME, DAY, AND VENUE. There are two seminars this week (Tuesday and Friday)
Yuri Gurevich, Microsoft Research Redmond, USA.
SW01.
Tuesday 09 February 2016, 16:00-17:00
Dominic Orchard, Computer Laboratory.
Friday 05 February 2016, 14:00-15:00
Friday 05 February 2016, 11:00-12:00
Fabio Zanasi, Radboud University of Nijmegen, Netherlands.
Friday 29 January 2016, 14:00-15:00
Friday 29 January 2016, 11:00-12:00
Danel Ahman, University of Edinburgh, Scotland.
Friday 22 January 2016, 14:00-15:00
Friday 22 January 2016, 11:00-12:00
Pawel Sobocinski, School of Electronics and Computer Science, University of Southampton.
Friday 15 January 2016, 14:00-15:00
Sam Lindley, LFCS, School of Informatics, University of Edinburgh, Scotland.
Friday 04 December 2015, 14:00-15:00
Valentin Blot, Mathematical foundations group, computer science department, University of Bath.
Friday 27 November 2015, 14:00-15:00
Nathanaël Fijalkow, Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7.
Friday 13 November 2015, 14:00-15:00
Martin Otto, Technische Universität Darmstadt, Germany.
Friday 06 November 2015, 14:00-15:00
He Sun, University of Bristol.
Friday 12 June 2015, 14:00-15:00
Jamie Gabbay, Heriot-Watt .
Computer Laboratory, William Gates Building, Room FW11.
Friday 29 May 2015, 14:00-15:00
Nobuko Yoshida and Julien Lange.
Friday 22 May 2015, 14:00-15:00
Nachum Dershowitz, Tel Aviv University.
Room FW26, Computer Laboratory, William Gates Building.
Wednesday 20 May 2015, 11:00-12:00
Joanna Ochremiak, University of Warsaw.
Friday 15 May 2015, 14:00-15:00
Ian Mackie, University of Sussex.
Friday 20 March 2015, 14:00-15:00
Andrzej Murawski, University of Warwick.
Computer Laboratory, William Gates Building, Lecture Theatre 2.
Friday 13 February 2015, 14:00-15:00
Aleks Kissinger, University of Oxford.
Friday 16 January 2015, 16:00-17:00
Reiko Heckel, University of Leicester.
Friday 05 December 2014, 16:00-17:00
Paul Levy, University of Birmingham.
Friday 28 November 2014, 16:00-17:00
Matthew Hague, Royal Holloway.
Friday 21 November 2014, 16:00-17:00
Jaap Boender, Middlesex University.
Friday 14 November 2014, 16:00-17:00
Mateus de Oliveria Oliveira, KTH, Stockholm.
Friday 07 November 2014, 14:00-15:00
Benjamin C. Pierce, University of Pennsylvania.
Wednesday 10 September 2014, 13:00-14:00
Alexey Bakhirkin, MSR/University of Leicester.
Friday 22 August 2014, 16:00-17:00
Steve Crocker, ICANN.
Tuesday 01 July 2014, 14:00-15:00
Matthew Flatt, University of Utah.
Friday 23 May 2014, 16:00-17:00
Richard Jones, University of Kent.
Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.
Friday 25 April 2014, 16:00-17:00
Daniel Roy, Engineering Department, University of Cambridge.
Friday 24 January 2014, 16:00-17:00
Juan A. Navarro Pérez, UCL.
Friday 17 January 2014, 16:00-17:00
Ohad Kammar (University of Cambridge).
Friday 13 December 2013, 13:00-14:00
William E. Byrd, University of Utah.
Friday 06 December 2013, 16:00-17:00
Joel Ouaknine, University of Oxford.
Friday 29 November 2013, 16:00-17:00
Sergio Maffeis, Imperial College, London.
Friday 22 November 2013, 16:00-17:00
Guy McCusker, University of Bath.
Friday 15 November 2013, 16:00-17:00
Tom Ridge, University of Leicester.
Friday 08 November 2013, 16:00-17:00
Friday 01 November 2013, 16:00-17:00
Neil Ghani, University of Strathclyde.
Friday 25 October 2013, 16:00-17:00
Victor Selivanov, Novosibirsk Pedagogical University.
Friday 26 July 2013, 16:00-17:00
Jamie Gabbay.
Tuesday 02 July 2013, 14:00-15:00
Andre Platzer, CMU.
Friday 28 June 2013, 16:00-17:00
Hongseok Yang, University of Oxford.
Friday 07 June 2013, 16:00-17: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
Raymond Hu and Nobuko Yoshida, Imperial College.
Friday 17 May 2013, 16:00-17:00
Nathan Chong, Imperial College, London.
Friday 03 May 2013, 16:00-17:00
Markus Pfeiffer, St Andrew's.
Friday 26 April 2013, 16:00-17:00
Note unusual time
Prof. Lesley Shannon.
Tuesday 16 April 2013, 11:00-12:00
Domagoj Babic.
Tuesday 12 March 2013, 14:00-15:00
James Brotherston, University College London.
Room TBC. Microsoft Research, Station Road.
Friday 01 March 2013, 16:00-17:00
Dr Gabriel Kerneis (University of Cambridge).
Friday 23 November 2012, 15:15-16:15
Dimitrios Vytiniotis, MSR Cambridge.
Room FW11, Computer Laboratory, William Gates Building.
Friday 23 November 2012, 14:00-15:00
Andrew Kennedy, Microsoft Research Cambridge.
Friday 09 November 2012, 14:00-15:00
Dr. Yingzhou Zhang (University of Cambridge -- visitor until March 2013).
Friday 12 October 2012, 15:15-16:15
Friday 07 September 2012, 15:15-16:15
Note special date and location (GC22)
Abhisekh Sankaran, IIT Bombay.
Room GC22, Computer Laboratory, William Gates Building.
Thursday 30 August 2012, 14:00-15:00
Prof Jason Cong.
Wednesday 11 July 2012, 11:00-12:00
Peter Calvert (University of Cambridge).
Friday 22 June 2012, 15:15-16:15
Friday 08 June 2012, 15:15-16:15
Note that this talk will be in FW26 rather than the usual room.
R. Ramanujam, Institute of Mathematical Sciences, Chennai.
Friday 08 June 2012, 14:00-15:00
Tomas Petricek (University of Cambridge).
Friday 01 June 2012, 15:15-16:15
Arnold Beckmann, Swansea University.
Friday 01 June 2012, 14:00-15:00
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
Etienne Duchesne, LIPN, Université Paris 13.
Friday 18 May 2012, 14:00-15:00
Rasmus Møgelberg, IT University, Copenhagen.
Friday 13 April 2012, 14:00-15:00
Paul Hunter, University of Oxford.
Friday 23 March 2012, 14:00-15:00
Note unusual location
Jon Fielder and Scott Wilson, MathWorks.
Wednesday 21 March 2012, 11:00-12:00
Stanislav Kikot, University of London Birkbeck College.
Friday 09 March 2012, 14:00-15: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
Elitza Maneva, Universitat de Barcelona (UB).
Friday 03 February 2012, 14:00-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
Thursday 26 January 2012, 14:15-15:00
Piotr Filipiuk, Technical University of Denmark (DTU).
Friday 20 January 2012, 14:00-15:00
Tony Hoare (Microsoft Research).
Friday 02 December 2011, 14:00-15:00
Stephen Kell (Oxford).
Friday 25 November 2011, 15:15-16:15
Paulo Oliva - Queen Mary, University of London.
Friday 25 November 2011, 14:00-15:00
NLIP Seminar Series
Abby Levenberg, University of Oxford.
Friday 18 November 2011, 12:00-13:00
Tarmo Uustalu, Tallinn University of Technology.
Friday 28 October 2011, 14:00-15: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
Praveen Manjunatha, The Institute of Mathematical Sciences, Chennai.
Tuesday 30 August 2011, 14:00-15:00
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
Daniel Schwartz-Narbonne, Princeton University.
Friday 08 July 2011, 14:00-15:00
Michael Hicks, University of Maryland.
Friday 01 July 2011, 14:00-15:00
David Richerby, University of Liverpool.
Friday 20 May 2011, 14:00-15:00
Pierre Clairambault, University of Bath.
Friday 06 May 2011, 14:00-15:00
Matthias Mnich, International Computer Science Institute, Berkeley.
Friday 08 April 2011, 14:00-15:00
Julian Gutierrez, University of Edinburgh.
Friday 11 March 2011, 14:00-15:00
Friday 25 February 2011, 14:00-15:00
Pete Calvert (Computer Lab, Cambridge).
Friday 18 February 2011, 15:15-16:15
Conor McBride, University of Strathclyde.
Friday 11 February 2011, 14:00-15:00
Martín Escardó, University of Birmingham.
Friday 28 January 2011, 14:00-15:00
Tomas Petricek (Computer Laboratory, Cambridge).
Friday 21 January 2011, 15:15-16:15
Mike Dodds, University of Cambridge.
Friday 21 January 2011, 14:00-15:00
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
Jerome Feret, ENS, Paris.
Friday 19 November 2010, 14:00-15:00
Note unusual time (11am) and room (SS03)
Marco Gaboardi, University of Bologna.
Room SS03, Computer Laboratory, William Gates Building.
Friday 05 November 2010, 11:00-12:00
Note the unusual time (13:00)
Peter Boehm, Oxford University.
Friday 29 October 2010, 13:00-14:00
Luc Segoufin (INRIA and ENS, Cachan).
Thursday 09 September 2010, 15:00-16:00
Mini Courses in Theoretical Computer Science
Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.
Friday 04 June 2010, 10:00-12:15
Thursday 03 June 2010, 10:00-12:15
Tuesday 01 June 2010, 10:00-12:15
Bart Jacobs, Radboud University Nijmegen, The Netherlands.
Friday 21 May 2010, 14:00-15:00
Category Theory Seminar
Thomas Ehrhard, Université Paris Diderot.
MR4, Centre for Mathematical Sciences.
Thursday 20 May 2010, 10:00-11:00
Alexander Kurz (University of Leicester).
Friday 14 May 2010, 14:00-15:00
Wednesday Seminars - Department of Computer Science and Technology
Peter O'Hearn - Queen Mary University of London.
Lecture Theatre 1, Computer Laboratory.
Wednesday 28 April 2010, 14:15-15:15
Jeff Vaughan (Harvard University).
Friday 16 April 2010, 14:00-15:00
James Brotherston, Imperial College London.
Friday 12 March 2010, 14:00-15:00
Friday 12 February 2010, 15:15-16:15
Alastair Donaldson (University of Oxford).
Friday 15 January 2010, 14:00-15:00
Eva Navarro López, School of Computer Science, Manchester..
Friday 04 December 2009, 14:00-15:00
Ichiro Hasuo, Kyoto.
Friday 27 November 2009, 14:00-15:00
Suresh Jagannathan - Purdue University, USA.
Wednesday 04 November 2009, 14:15-15:15
Aquinas Hobor.
Tuesday 27 October 2009, 15:00-16:00
FW11 FW26 not available today
FW11 FW26 not available today.
Friday 25 September 2009, 14:00-15:00
Masahiko Sato (Graduate School of Informatics, Kyoto University).
Friday 18 September 2009, 14:00-15:00
John Wickerson (University of Cambridge).
Friday 05 June 2009, 14:00-15:00
Anton Setzer (University of Swansea).
Friday 29 May 2009, 14:00-15:00
NOTE UNUSUAL DAY AND TIME. There are two seminars this week, one on Wednesday, one on Friday.
Jaroslav Sevcik (visiting from Edinburgh).
Wednesday 27 May 2009, 11:00-12:00
Guillaume Munch, Paris 7.
Friday 08 May 2009, 14:00-15:00
THIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term.
Venanzio Capretta (University of Nottingham).
Friday 24 April 2009, 14:00-15:00
Nils Anders Danielsson (University of Nottingham).
Friday 20 March 2009, 14:00-15:00
Friday 06 March 2009, 14:00-15:00
Olivier Delande, Laboratoire d'Informatique (LIX), Ecole Polytechnique.
Friday 20 February 2009, 14:30-15:30
NOTE UNUSUAL DAY.
Paul Taylor.
Thursday 05 February 2009, 14:00-15:00
This is the second part of a two-part series
Paul Levy, University of Birmingham (visiting Cambridge until March 15).
Wednesday 04 February 2009, 16:15-17:00
This is the first part of a two-part series. Part 2 is on Wed 4th Feb.
Tuesday 03 February 2009, 16:15-17:00
Friday 30 January 2009, 14:00-15:00
NOTE THE UNUSUAL TIME
Dusko Pavlovic.
Friday 28 November 2008, 14:45-15:45
Nicola Gambino.
Friday 21 November 2008, 14:00-15:00
Lars Birkedal, ITU Denmark.
Thursday 06 November 2008, 15:30-16:30
.
Friday 17 October 2008, 14:00-15:00
Michael Hicks - University of Maryland.
Wednesday 15 October 2008, 14:15-15:15
James Brotherston, Imperial College.
Friday 10 October 2008, 14:00-15:00
Friday 26 September 2008, 14:00-15:00
Note change of day
Prof. Andrew J. Hanson, Indiana University Bloomington.
Friday 18 July 2008, 14:15-15:00
Peter Dybjer.
Friday 27 June 2008, 14:00-15:00
Daniele Varacca, Paris 7.
Friday 06 June 2008, 14:00-15:00
Tom Cashman (University of Cambridge).
Thursday 22 May 2008, 14:15-15:00
Friday 16 May 2008, 14:00-15:00
Gareth Williams (University of Cambridge).
Thursday 15 May 2008, 14:15-15:00
John Longley, University of Edinburgh.
Friday 09 May 2008, 14:00-15:00
Georg Struth, Sheffield University.
Friday 02 May 2008, 14:00-15:00
Ian Davies (University of Cambridge).
Thursday 01 May 2008, 14:15-15:00
Bart Jacobs (Katholieke Universiteit Leuven).
Friday 18 April 2008, 14:00-15:00
David Cunningham (Imperial College).
Friday 07 March 2008, 14:00-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
Hongseok Yang (Queen Mary, University of London).
Friday 18 January 2008, 14:00-15:00
Note the unusual day.
Jesper Bengtson, Uppsala University.
Thursday 17 January 2008, 14:00-15:00
Alexander Kurz, University of Leicester.
Friday 30 November 2007, 14:00-15:00
Graham White (Queen Mary).
Friday 23 November 2007, 14:00-15:00
Peter O'Hearn, Queen Mary, University of London.
Friday 09 November 2007, 14:00-15:00
Mike Dodds (York).
Tuesday 06 November 2007, 14:30-15:30
Martin Otto, Darmstadt.
Friday 02 November 2007, 14:00-15:00
Nobuko Yoshida (Imperial College).
Friday 26 October 2007, 14:00-15:00
Note unusual day
Hamish Carr, University College Dublin.
Tuesday 23 October 2007, 14:15-15:00
Jaroslav Sevcik.
Friday 13 July 2007, 14:00-15:00
Sophia Drossopoulou (Imperial College).
Friday 06 July 2007, 14:00-15:00
Friday 15 June 2007, 14:00-15:00
Guillaume Malod (University of Mons-Hainaut, Belgium).
Friday 08 June 2007, 14:00-15:00
Robert Atkey, LFCS, Edinburgh.
Friday 18 May 2007, 14:00-15:00
Wolfgang Thomas, RWTH Aachen.
Friday 11 May 2007, 14:00-15:00
Pasquale Malacaria, Queen Mary, University of London.
Friday 23 March 2007, 14:00-15:00
Rasmus Møgelberg, Edinburgh.
Friday 16 March 2007, 14:00-15:00
Achim Jung, University of Birmingham.
Friday 09 March 2007, 14:00-15:00
Helmut Veith, Technische Universität München.
Friday 02 March 2007, 14:00-15:00
Greta Yorsh (Tel Aviv University).
Friday 23 February 2007, 14:00-15:00
Wolfram Schulte (Microsoft Research Redmond).
Friday 09 February 2007, 14:00-15:00
(joint work with Kalpesh Kapoor and Kamal Lodaya)
Uday Reddy, University of Birmingham.
Friday 01 December 2006, 14:00-15:00
James Cheney, Informatics, University of Edinburgh.
Friday 17 November 2006, 14:00-15:00
Bartek Klin, University of Edinburgh.
Friday 10 November 2006, 14:00-15:00
Bernhard Reus, University of Sussex.
Friday 03 November 2006, 14:00-15:00
Cliff Jones, Newcastle University.
Friday 27 October 2006, 14:00-15:00
Steffen van Bakel.
Friday 13 October 2006, 14:00-15:00
Friday 06 October 2006, 14:00-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]](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)
Magnus Myreen ( Chalmers University, Sweden).
Friday 21 June 2024, 14:00-15:00