0 upcoming talks
View 87 archived talks
👤 Stephen Kell (University of Cambridge)
📅 Monday 03 February 2014, 13:00-14:00
📍 FW26
👤 Stephen Kell, University of Cambridge
📅 Monday 13 January 2014, 13:00-14:00
📍 FW26
👤 Speaker to be confirmed
📅 Tuesday 01 October 2013, 09:30-17:00
📍 LT1
👤 Matko Botincan
📅 Monday 14 January 2013, 13:00-14:00
📍 FW26
👤 Nick Benton, MSR Cambridge
📅 Monday 10 December 2012, 13:00-14:00
📍 FW26
👤 Mark Batty
📅 Monday 03 December 2012, 13:00-14:00
📍 FW26
👤 Steffen Lösch, University of Cambridge
📅 Monday 26 November 2012, 13:00-14:00
📍 FW26
👤 Andy Gordon, Microsoft Research and University of Edinburgh
📅 Monday 19 November 2012, 13:00-14:00
📍 FW26
👤 Simon Peyton Jones, MSR Cambridge
📅 Monday 12 November 2012, 13:00-14:00
📍 FW26
👤 Glynn Winskel
📅 Monday 05 November 2012, 13:00-14:00
📍 FW26
⚠️ This will be the first Semantics Lunch of the term - please do come along (or email Peter.Sewell@cl.cam.ac.uk) with offers of talks.
👤 Chung-Kil Hur, MSR
📅 Monday 22 October 2012, 13:00-14:00
📍 FW26
👤 Danel Ahman
📅 Monday 25 June 2012, 12:45-14:00
📍 FW26
👤 John Wickerson
📅 Wednesday 20 June 2012, 13:30-13:45
📍 FW26
⚠️ NB: Unusual day/time
👤 Dominic Mulligan (Bologna)
📅 Thursday 31 May 2012, 11:00-12:00
📍 FW26
⚠️ NB: changed (again!) unusual day/time
👤 Jacob Thamsborg (ITU)
📅 Wednesday 30 May 2012, 14:30-15:30
📍 FW26
⚠️ NB: unusual day/time
👤 Vladimir Komendantsky (St Andrews)
📅 Friday 25 May 2012, 11:00-12:00
📍 FW26
⚠️ NB: Unusual day/time
👤 Gabriel Kerneis (PPS, Université Paris Diderot)
📅 Wednesday 23 May 2012, 11:00-12:00
📍 FW26
👤 Rustan Leino
📅 Monday 27 February 2012, 12:45-14:00
📍 FW26
👤 Alastair Donaldson, Imperial
📅 Monday 20 February 2012, 12:45-14:00
📍 FW26
👤 Mike Dodds
📅 Monday 05 December 2011, 12:45-14:00
📍 FW26
👤 Kayvan Memarian
📅 Monday 28 November 2011, 12:45-14:00
📍 FW26
👤 Dimitrios Vytiniotis
📅 Monday 21 November 2011, 12:45-14:00
📍 FW26
👤 Susmit Sarkar
📅 Monday 14 November 2011, 12:45-14:00
📍 FW26
👤 Alexey Gotsman, IMDEA Software Institute
📅 Monday 07 November 2011, 12:45-14:00
📍 FW26
👤 Ki Yung Ahn
📅 Monday 31 October 2011, 12:45-14:00
📍 FW26
👤 Kathy Gray
📅 Monday 24 October 2011, 12:45-14:00
📍 FW26
👤 John Wickerson
📅 Monday 17 October 2011, 12:45-14:00
📍 FW26
👤 Radu Grigore, QM
📅 Monday 10 October 2011, 12:45-14:00
📍 FW26
⚠️ Note unusual day, time and place: this will be in the ARG lunch slot
👤 Steffen Lösch (University of Cambridge)
📅 Tuesday 30 August 2011, 13:00-14:00
📍 Room SS03, Computer Laboratory, William Gates Building
⚠️ NOTE UNUSUAL TIME AND PLACE
👤 Guillaume Munch-Maccagnoni
📅 Tuesday 14 June 2011, 12:45-14:00
📍 Room SS03, Computer Laboratory, William Gates Building
⚠️ Note unusual start time: talks at 12.50 prompt
👤 Suresh Jagannathan/Peter Höfner
📅 Monday 23 May 2011, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Jaroslav Sevcik and Mark Batty
📅 Monday 17 January 2011, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Bjarki Holm (University of Cambridge)
📅 Monday 13 December 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Nick Benton
📅 Monday 06 December 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Eric Koskinen
📅 Monday 29 November 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Jaroslav Sevcik
📅 Monday 22 November 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Mohan Ganesalingam (University of Cambridge)
📅 Monday 15 November 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
⚠️ POSTPONED - no Semantics Lunch meeting this week
👤 Andrew Kennedy
📅 Monday 08 November 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
⚠️ (Change of speaker - this replaces Eric's talk)
👤 Alex Gurney
📅 Monday 01 November 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 John Wickerson (University of Cambridge)
📅 Monday 25 October 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
Computer Laboratory Automated Reasoning Group Lunches
👤 Todd Millstein (UCLA)
📅 Tuesday 19 October 2010, 13:00-14:00
📍 Computer Laboratory, William Gates Building, Room SS03
👤 Mark Batty (University of Cambridge)
📅 Monday 18 October 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Simon Peyton Jones (Microsoft Research)
📅 Monday 11 October 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Tony Hoare (Microsoft Research)
📅 Monday 04 October 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Mike Dodds
📅 Monday 23 August 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Kathy Gray
📅 Monday 16 August 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Johannes Borgstroem
📅 Monday 09 August 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Neel Krishnaswami
📅 Monday 02 August 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Matko Botincan
📅 Monday 26 July 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Simon Peyton Jones
📅 Monday 19 July 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Andrew Kennedy
📅 Monday 12 July 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 David Walker (visiting from Princeton)
📅 Monday 28 June 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Guillaume Munch, Paris 7
📅 Monday 17 May 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Eric Koskinen (University of Cambridge)
📅 Monday 22 March 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 John Field (IBM Research)
📅 Monday 15 March 2010, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Eric Koskinen (University of Cambridge)
📅 Monday 30 November 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Johannes Borgstrom (MSR Cambridge)
📅 Monday 23 November 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Sam Staton (Computer Laboratory, University of Cambridge)
📅 Monday 16 November 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Andy Pitts (University of Cambridge)
📅 Monday 09 November 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Stephanie Wierich, University of Pennsylvania
📅 Monday 02 November 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 John Wickerson (University of Cambridge)
📅 Monday 26 October 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Mohammad Raza (Imperial College)
📅 Monday 19 October 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Steve Zdancewic
📅 Monday 12 October 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Francesco Zappa Nardelli
📅 Monday 05 October 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Mike Dodds (University of Cambridge)
📅 Monday 29 June 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Saurabh Srivastava (visiting from UMD)
📅 Monday 22 June 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Nataliya Guts (visiting from INRIA)
📅 Monday 15 June 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Robin Milner (University of Cambridge)
📅 Monday 08 June 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Johan Glimming (Visiting Research Fellow, University of Cambridge)
📅 Monday 18 May 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Speaker to be confirmed
📅 Monday 11 May 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Tony Hoare (Microsoft Research)
📅 Monday 06 April 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Andrew Kennedy (Microsoft Research)
📅 Monday 30 March 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Viktor Vafeiadis (Microsoft Research Cambridge)
📅 Monday 23 March 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Chung-Kil Hur (University of Cambridge)
📅 Monday 16 March 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
⚠️ NOTE THE UNUSUAL DAY AND VENUE. This talk is in the ARG lunch slot.
👤 Mike Dodds (University of Cambridge)
📅 Tuesday 10 March 2009, 13:00-14:00
📍 Room SS03, Computer Laboratory, William Gates Building
👤 Matt Lakin (University of Cambridge)
📅 Monday 09 March 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Andrew Gacek (University of Minnesota)
📅 Monday 02 March 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Bjarki Holm (University of Cambridge)
📅 Monday 23 February 2009, 12:45-14:00
📍 Room FW26, Computer Laboratory, William Gates Building
👤 Speaker to be confirmed
📅 Monday 16 February 2009, 12:45-14:00
📍 FW26
👤 Ioannis Baltopoulos
📅 Monday 08 December 2008, 12:45-14:00
📍 FW26
👤 Jon Hayman
📅 Monday 01 December 2008, 12:45-14:00
📍 FW26
👤 Alex Gurney
📅 Monday 24 November 2008, 12:45-14:00
📍 FW26
👤 Nick Benton
📅 Monday 17 November 2008, 12:45-14:00
📍 FW26
👤 Dimitrios Vytiniotis, MSR
📅 Monday 10 November 2008, 12:45-14:00
📍 FW26
👤 Mike Dodds (University of Cambridge)
📅 Monday 03 November 2008, 12:45-14:00
📍 FW26
👤 Neelakantan Krishnaswami, CMU
📅 Monday 27 October 2008, 12:45-14:00
📍 FW26
👤 Andrew Pitts, Computer Lab
📅 Monday 20 October 2008, 12:45-14:00
📍 FW26
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)
Stephen Kell (University of Cambridge).
Monday 03 February 2014, 13:00-14:00