If you have a question about this list, please contact: Anuj Dawar; Peter Sewell; 11197; 47138; Jamie Vicary; Ioannis Markakis; 116626; 120265; Jon Sterling; Thibaut Benjamin. If you have a question about a specific talk, click on that talk to find its organiser.
0 upcoming talks and 341 talks in the archive.
Christine Tasson (Institut SupΓ©rieur de lβAΓ©ronautique et de lβEspace).
SS03, Computer Laboratory.
Friday 28 November 2025, 14:00-15:00
Note the unusual date and time.
Andrej Bauer, University of Ljubljana.
SS03, Computer Laboratory.
Wednesday 01 May 2024, 10:00-11:00
Jose Meseguer, University of Illinois at Urbana-Champaign and Leverhulme Visiting Professor at King's College London.
SS03, Computer Laboratory.
Friday 16 June 2023, 14:00-15:00
Glynn Winskel, Huawei Edinburgh Research Centre and Strathclyde University.
SS03, Computer Laboratory.
Friday 19 May 2023, 14:00-15:00
Matthew Parkinson, Microsoft Research.
SS03.
Friday 27 January 2023, 14:00-15:00
Manuel Araujo, University of Cambridge.
SS03.
Friday 02 December 2022, 14:00-15:00
Fredrik Dahlqvist, UCL.
SS03.
Friday 25 November 2022, 14:00-15:00
Alex Kavvos, University of Bristol.
SS03.
Friday 18 November 2022, 14:00-15:00
Ulrik Buchholtz, University of Nottingham.
SS03.
Friday 11 November 2022, 14:00-15:00
Dmitry Chistikov, University of Warwick.
SS03.
Friday 04 November 2022, 14:00-15:00
Thomas Ehrhard, University of Paris.
SS03.
Friday 28 October 2022, 14:00-15:00
Ambroise Lafont, University of Cambridge.
SS03.
Friday 21 October 2022, 14:00-15:00
Taichi Uemura, University of Stockholm.
SS03.
Friday 14 October 2022, 14:00-15:00
Michael Benedikt, University of Oxford.
SS03.
Monday 10 October 2022, 16:00-17:00
Bruce Collie, Runtime Verification.
SS03.
Friday 07 October 2022, 14:00-15:00
Lauri Hella, Tampere University.
SS03.
Thursday 29 September 2022, 14:00-15:00
Lauri Hella, University of Helsinki.
SS03.
Thursday 29 September 2022, 14:00-15:00
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.
FW26.
Thursday 28 July 2022, 16:00-17:00
MikoΕaj Bojanczyk, University of Warsaw.
SS03.
Friday 17 June 2022, 14:00-15:00
Hugo Paquet, University of Oxford.
SS03.
Friday 10 June 2022, 14:00-15:00
Vikraman Choudhury, University of Indiana.
SS03.
Friday 27 May 2022, 14:00-15:00
Vikraman Choudhury, University of Indiana.
SS03.
Friday 27 May 2022, 14:00-15:00
Dan Marsden, University of Oxford.
SS03.
Friday 06 May 2022, 14:00-15:00
David Richerby, University of Essex.
SS03.
Friday 29 April 2022, 14:00-15:00
Anupam Das, University of Birmingham.
FW26.
Friday 11 March 2022, 14:00-15:00
Marie Fortin, University of Liverpool.
FW26.
Friday 04 March 2022, 14:00-15:00
Prakash Panangaden, McGill University and University of Edinburgh.
FW26.
Friday 25 February 2022, 14:00-15:00
David Richerby, University of Essex.
FW26.
Friday 18 February 2022, 14:00-15:00
Alex Gurney, WebFlow.
FW26.
Friday 11 February 2022, 14:00-15:00
Fabio Zanasi, UCL.
FW26.
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.
FW26.
Friday 03 December 2021, 14:00-15:00
Simon Forest, University of Aix-Marseille.
FW26.
Friday 26 November 2021, 14:00-15:00
Jon Sterling, University of Aarhus.
SS03.
Friday 19 November 2021, 14:00-15:00
Simon Willerton, University of Sheffield.
FW26.
Friday 12 November 2021, 14:00-15:00
Radu Mardare, University of Strathclyde.
FW26.
Friday 05 November 2021, 14:00-15:00
Dan Iorga, Imperial College London.
FW26.
Friday 29 October 2021, 14:00-15:00
Thibaut Benjamin, CEA Tech.
FW26.
Friday 22 October 2021, 14:00-15:00
Ross Duncan, Cambridge Quantum Computing.
FW26.
Friday 15 October 2021, 14:00-15:00
Andrew Pitts, University of Cambridge.
Online.
Friday 26 March 2021, 14:00-15:00
Christopher Pulte, University of Cambridge.
Online.
Friday 29 January 2021, 14:00-15:00
Philip Saville, University of Edinburgh.
Online.
Friday 20 November 2020, 14:00-15:00
Tomas Jakl, University of Cambridge.
Online.
Friday 13 November 2020, 14:00-15:00
Vikraman Choudhury, University of Indiana.
Online.
Friday 06 November 2020, 14:00-15:00
Gregory Wilsenach, University of Cambridge.
Online.
Friday 30 October 2020, 14:00-15:00
Alasdair Armstrong, University of Cambridge.
Online.
Friday 23 October 2020, 14:00-15:00
Michael Arntzenius, University of Cambridge.
Online.
Friday 16 October 2020, 14:00-15:00
Eric Finster, University of Cambridge.
Online.
Friday 09 October 2020, 14:00-15: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
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.
Computer Lab, FW26.
Tuesday 03 March 2020, 10:00-10:20
Nadish de Silva (University of Cambridge).
SS03.
Friday 15 November 2019, 14:00-15:00
Richard Eisenberg (Bryn Mawr College).
FW26.
Friday 08 November 2019, 13:00-14:00
Jean-Louis Lassez.
FW26.
Friday 11 October 2019, 14:00-15:00
Koko Muroya.
FW26.
Thursday 12 September 2019, 13:45-14:45
Jean-Baptiste Jeannin, University of Michigan.
FW26.
Monday 17 June 2019, 14:00-15:00
Vikraman Choudhury, Indiana University / Cambridge.
FW26.
Friday 24 May 2019, 14:00-15:00
Jan Pich, Oxford.
FW26.
Friday 10 May 2019, 14:00-15:00
Magnus Madsen, Aarhus University.
FW26.
Thursday 09 May 2019, 13:45-14:45
Vilem Liepelt, University of Kent.
FW26.
Thursday 18 April 2019, 14:00-15:00
Joshua Dunfield, Queenβs University, Canada.
FW26.
Wednesday 17 April 2019, 14:00-15:00
Amir Shaikhha, Oxford.
FW26.
Friday 12 April 2019, 14:00-15:00
Ralf Jung, MPI-SWS.
FW26.
Tuesday 02 April 2019, 14:00-15:00
Ben Simner, Computer Laboratory.
FW26.
Friday 22 March 2019, 14:00-15:00
Dominique Devriese, Vrije Universiteit Brussel.
FW26.
Monday 18 March 2019, 14:30-15:00
Thomas Van Strydonck, KU Leuven.
FW26.
Monday 18 March 2019, 11:45-12:15
Lau Skorstengaard, Aarhus University.
FW26.
Monday 18 March 2019, 11:15-11:45
Ohad Kammar, Edinburgh.
FW26.
Friday 22 February 2019, 15:00-16:00
Jonathan Protzenko, MSR Redmond.
FW26.
Friday 30 November 2018, 14:00-15:00
Siddharth Krishna, NYU.
SS03.
Monday 26 November 2018, 15:00-16:00
Bartek Klin, Warsaw University.
FW26.
Tuesday 20 November 2018, 14:00-15:00
Pierre Ohlmann, IRIF, UniversitΓ© Paris 7.
SS03.
Friday 16 November 2018, 14:15-15:15
Karoliina Lehtinen, Christian-Albrechts University of Kiel.
FW26.
Friday 14 September 2018, 14:00-15:00
Paul Downen, University of Oregon.
FW26.
Tuesday 11 September 2018, 14:00-15:00
Pawel Sobocinski, University of Southampton.
FW26.
Friday 27 July 2018, 14:00-15:00
Yatin Manerkar, Princeton University.
FW26.
Thursday 19 July 2018, 14:00-15:00
Tamara von Glehn (DPMMS).
FW26.
Friday 06 July 2018, 14:00-15:00
Elias Castegren, MSR.
FW26.
Friday 29 June 2018, 14:00-15:00
Guillaume Munch-Maccagnoni, INRIA.
FW26.
Tuesday 19 June 2018, 14:00-15:00
Amal Ahmed, Northeastern University.
FW26.
Friday 15 June 2018, 14:00-15:00
James Laird, University of Bath.
FW26.
Friday 01 June 2018, 14:00-15:00
Prakash Panangaden, McGill University.
FW26.
Thursday 24 May 2018, 13:45-14:45
Amlan Chakrabarti, University of Calcutta.
FW26.
Friday 18 May 2018, 14:00-15:00
Tony Hoare, FRS FREng.
FW26.
Friday 04 May 2018, 14:00-15:00
Hubert Chen, Birkbeck University of London.
FW26.
Friday 27 April 2018, 14:00-15:00
Eric Finster, INRIA Rennes.
FW26.
Friday 09 March 2018, 14:00-15:00
Michel Schellekens, University College Cork.
FW26.
Friday 23 February 2018, 14:00-15:00
Chung-Kil Hur, Seoul National University.
FW11.
Friday 16 February 2018, 14:00-15:00
Tony Hoare, FRS FREng.
FW26.
Tuesday 13 February 2018, 14:00-15:00
Brijesh Dongol, Brunel University London.
FW26.
Friday 26 January 2018, 14:00-15:00
William Byrd, University of Alabama at Birmingham.
FW26.
Tuesday 23 January 2018, 11:00-12:00
Tony Hoare, FRS FREng.
FW26.
Friday 19 January 2018, 14:00-15:00
Andrea Parri.
FW26.
Thursday 07 December 2017, 11:00-12:00
Viktor Vafeiadis, MPI-SWS.
FW26.
Tuesday 05 December 2017, 10:30-11:30
Sam Lindley, University of Edinburgh.
FW26.
Friday 01 December 2017, 14:00-15:00
Stephen Dolan, Ocaml Labs, University of Cambridge.
FW26.
Friday 10 November 2017, 14:00-15:00
NB: rescheduled from 2017/09/22
Chung-Kil Hur, Seoul National University.
FW26.
Friday 29 September 2017, 14:00-15:00
Oliver Bracevac, University of Darmstadt.
FW26.
Friday 15 September 2017, 14:00-15:00
Chung-Kil Hur, Seoul National University.
FW26.
Friday 08 September 2017, 14:00-15:00
Paul Blain Levy (University of Birmingham).
FW26.
Friday 21 July 2017, 14:00-15:00
Wied Pakusa, University of Oxford.
FW26.
Friday 16 June 2017, 14:00-15:00
Murdoch Gabbay, Heriot-Watt University.
FW26.
Friday 09 June 2017, 14:00-15:00
Maciej PirΓ³g.
FW26.
Friday 02 June 2017, 14:00-15:00
**NOTE NON-STANDARD DAY AND ROOM BOOKING**
Aquinas Hobor, National University of Singapore.
FW11.
Thursday 01 June 2017, 13:30-14:15
Georg Struth, University of Sheffield.
FW26.
Friday 26 May 2017, 14:00-15:00
David Pearce, Victoria University of Wellington, New Zealand.
FW26.
Friday 19 May 2017, 14:00-15:00
Nicolai Kraus, University of Nottingham.
FW26.
Friday 12 May 2017, 14:00-15:00
James Cheney, University of Edinburgh.
FW26.
Friday 07 April 2017, 14:00-15:00
Dan Ghica, University of Birmingham.
FW26.
Friday 17 March 2017, 14:00-15:00
Magnus Myreen, Chalmers University.
FW26.
Friday 03 March 2017, 14:00-15:00
Ohad Kammar, University of Oxford.
FW26.
Friday 17 February 2017, 14:00-15:00
Joint Logic and Semantics and Computer Architecture Seminar
Theo Drane, Cadence Design Systems.
FW11.
Friday 27 January 2017, 14:00-15:00
Peter Dybjer, Chalmers University of Technology.
FW26.
Friday 20 January 2017, 14:00-15:00
Stephen Dolan, University of Cambridge.
FW26.
Friday 16 December 2016, 14:00-15:00
Noam Zeilberger, University of Birmingham.
FW26.
Friday 09 December 2016, 14:00-15:00
Alexandra Silva ( University College London).
FW26.
Friday 02 December 2016, 14:00-15:00
NOTE NON-STANDARD ROOM BOOKING
Pierre Clairambault, ENS Lyon.
SS03.
Friday 18 November 2016, 14:00-15:00
Nicholas Ng and Bernardo Toninho, Imperial College.
FW26.
Friday 11 November 2016, 14:00-15:00
Ugo Dal Lago, University of Bologna.
FW26.
Friday 21 October 2016, 14:00-15:00
Marcelo Fiore, University of Cambridge.
FW26.
Friday 14 October 2016, 14:00-15:00
Andy Pitts, Computer Laboratory.
FW26.
Friday 07 October 2016, 14:00-15:00
NOTE NON-STANDARD ROOM BOOKING
Gunnar Wilken, Okinawa Institute of Science and Technology.
SS03.
Friday 16 September 2016, 14:00-15:00
Neel Krishnaswami, University of Cambridge.
FW26.
Friday 09 September 2016, 14:00-15:00
**NOTE NON-STANDARD DATE, TIME, AND ROOM**
Magnus Myreen, Chalmers University, Sweden.
FW11.
Thursday 18 August 2016, 15:00-16:00
Robert Atkey, University of Strathclyde.
FW26.
Friday 29 July 2016, 14:00-15:00
Sandrine Blazy, University of Rennes 1.
FW26.
Friday 08 July 2016, 14:00-15:00
Ryan Newton, University of Indiana.
FW26.
Friday 01 July 2016, 14:00-15:00
John Wickerson, Imperial College.
FW26.
Friday 24 June 2016, 14:00-15:00
Ilya Sergey, University College London.
FW26.
Friday 17 June 2016, 14:00-15:00
Jasper Lee, Brown University.
FW26.
Friday 10 June 2016, 14:00-15:00
Josef Urban, Czech Technical University in Prague.
FW26.
Friday 03 June 2016, 14:00-15:00
Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh.
FW26.
Friday 20 May 2016, 14:00-15:00
Robbert Krebbers, Aarhus University.
FW26.
Friday 13 May 2016, 14:00-15:00
Martin Berger, University of Sussex.
FW26.
Friday 06 May 2016, 14:00-15:00
Ilias Garnier, ENS Paris.
FW26.
Friday 29 April 2016, 14:00-15:00
Paulo Oliva, Queen Mary, University of London.
FW26.
Friday 22 April 2016, 14:00-15:00
Jeremy Siek, Indiana University.
FW26.
Friday 08 April 2016, 14:00-15:00
Fredrik Nordvall Forsberg, Mathematically Structured Programming Group at the University of Strathclyde.
FW26.
Friday 11 March 2016, 14:00-15:00
THIS TALK HAS BEEN CANCELLED/POSTPONED
MartΓn EscardΓ³, School of Computer Science, University of Birmingham.
SS03.
Thursday 03 March 2016, 14:00-15:00
NOTE UNUSUAL VENUE
Rodolphe Lepigre, Laboratoire de MathΓ©matiques, UniversitΓ© de Savoie.
SS03.
Friday 26 February 2016, 14:00-15:00
Conor McBride, Mathematically Structured Programming Group, Department of Computer and Information Sciences, the University of Strathclyde.
FW26.
Friday 19 February 2016, 14:00-15:00
NOTE UNUSUAL VENUE This is the second seminar this week.
Andrew Swan, The Logic Group, School of Mathematics, University of Leeds.
FW11.
Friday 12 February 2016, 14:00-15: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
NOTE UNUSUAL VENUE
Dominic Orchard, Computer Laboratory.
SS03.
Friday 05 February 2016, 14:00-15:00
NOTE UNUSUAL VENUE
Fabio Zanasi, Radboud University of Nijmegen, Netherlands.
SS03.
Friday 29 January 2016, 14:00-15:00
Danel Ahman, University of Edinburgh, Scotland.
FW26.
Friday 22 January 2016, 14:00-15:00
Pawel Sobocinski, School of Electronics and Computer Science, University of Southampton.
FW26.
Friday 15 January 2016, 14:00-15:00
Sam Lindley, LFCS, School of Informatics, University of Edinburgh, Scotland.
FW26.
Friday 04 December 2015, 14:00-15:00
Valentin Blot, Mathematical foundations group, computer science department, University of Bath.
FW26.
Friday 27 November 2015, 14:00-15:00
NathanaΓ«l Fijalkow, Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA), UniversitΓ© Paris Diderot - Paris 7.
FW26.
Friday 13 November 2015, 14:00-15:00
Martin Otto, Technische UniversitΓ€t Darmstadt, Germany.
FW26.
Friday 06 November 2015, 14:00-15:00
He Sun, University of Bristol.
FW26.
Friday 12 June 2015, 14:00-15:00
Peter O'Hearn, Queen Mary, University of London.
FW11.
Friday 09 November 2007, 14:00-15:00
Jaroslav Sevcik.
FW11.
Friday 13 July 2007, 14:00-15:00
Sophia Drossopoulou (Imperial College).
FW11.
Friday 06 July 2007, 14:00-15:00
James Brotherston, Imperial College.
FW11.
Friday 15 June 2007, 14:00-15:00
Guillaume Malod (University of Mons-Hainaut, Belgium).
FW11.
Friday 08 June 2007, 14:00-15:00
Robert Atkey, LFCS, Edinburgh.
FW11.
Friday 18 May 2007, 14:00-15:00
Wolfgang Thomas, RWTH Aachen.
FW11.
Friday 11 May 2007, 14:00-15:00
Pasquale Malacaria, Queen Mary, University of London.
FW11.
Friday 23 March 2007, 14:00-15:00
Rasmus MΓΈgelberg, Edinburgh.
FW11.
Friday 16 March 2007, 14:00-15:00
Achim Jung, University of Birmingham.
FW11.
Friday 09 March 2007, 14:00-15:00
Helmut Veith, Technische UniversitΓ€t MΓΌnchen.
FW11.
Friday 02 March 2007, 14:00-15:00
Greta Yorsh (Tel Aviv University).
FW11.
Friday 23 February 2007, 14:00-15:00
Wolfram Schulte (Microsoft Research Redmond).
FW11.
Friday 09 February 2007, 14:00-15:00
(joint work with Kalpesh Kapoor and Kamal Lodaya)
Uday Reddy, University of Birmingham.
FW11.
Friday 01 December 2006, 14:00-15:00
James Cheney, Informatics, University of Edinburgh.
FW11.
Friday 17 November 2006, 14:00-15:00
Bartek Klin, University of Edinburgh.
FW11.
Friday 10 November 2006, 14:00-15:00
Bernhard Reus, University of Sussex.
FW11.
Friday 03 November 2006, 14:00-15:00
Cliff Jones, Newcastle University.
FW11.
Friday 27 October 2006, 14:00-15:00
Steffen van Bakel.
FW11.
Friday 13 October 2006, 14:00-15:00
Paulo Oliva, Queen Mary, University of London.
FW11.
Friday 06 October 2006, 14:00-15:00
Please see above for contact details for this list.
![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
