# Departmental Seminars

This is a series of non-specialist lectures which should be of interest to most members of the Department of Computer Science, as well as to other members of the University.

Everyone is very welcome to come, and to suggest new topics and speakers to Yarin Gal (co-ordinator).

** Tuesdays at 2pm in Lecture Theatre B (unless otherwise stated) **

Upcoming seminarsPrevious seminars

Subscribe to this seminar series calendar.

- 14:00 29th August 2017 in Lecture Theatre B, Wolfson Building, Parks RoadPerdita Stevens ( University of Edinburgh )
- 11:00 Thursday 27th July ( Trinity Term 2017 ) in 051Jeremy Avigad ( CMU )
- 14:00 Tuesday 4th July ( Trinity Term 2017 ) in Lecture Theatre B, Wolfson Building, Department of Computer ScienceMartha White ( University of Alberta )
- 14:00 Tuesday 13th June ( week 8, Trinity Term 2017 ) in Lecture Theatre B, Wolfson Buidling, Parks RoadChristos Papadimitriou ( UC Berkeley )
- 14:00 Thursday 8th June ( Trinity Term 2017 ) in Lecture Theatre BBen Shneiderman ( University of Maryland )
- 14:00 Tuesday 30th May ( Trinity Term 2017 ) in Lecture Theatre B, Wolfson Building, Department of Computer ScienceDave Pearce ( Victoria University of Wellington )
- 14:00 Tuesday 23rd May ( week 5, Trinity Term 2017 ) in Lecture Theatre B, Wolfson Building, Department of Computer ScienceJean Yang ( Carnegie Mellon University )
- 14:00 Wednesday 26th April ( week 1, Trinity Term 2017 ) in Lecture Theatre BChristopher Amato ( Northeastern University )
- 14:00 24th April ( week 1, Trinity Term 2017 ) in LTB, Department of Computer ScienceInbal Talgam Cohen
- 14:00 Tuesday 28th February ( Hilary Term 2017 ) in Lecture Theatre B, Wolfson Building, Parks RoadChristel Baier ( Technische Universität Dresden )
- 11:00 Friday 25th November ( week 7, Michaelmas Term 2016 ) in Lecture Theatre BBo An ( Nanyang Technological University, Singapore )
- 16:00 Tuesday 8th November ( Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson Building, Parks RoadSerge Massar ( Université Libre de Bruxelles )
- 14:00 Tuesday 1st November ( Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson Building, Parks RoadJean Krivine ( CNRS and Univ Paris VII )
- 11:00 Tuesday 11th October ( week 1, Michaelmas Term 2016 ) in Tony Hoare Room, Robert Hooke Building, Parks Road (NB unusual place and time)Ken Birman ( Cornell University )
- 14:00 Thursday 29th September ( Michaelmas Term 2016 ) in Lecture Theatre A, Wolfson Building, Parks RoadProf. Dr. Jörg H. Hardy ( Centre for Advanced Study in Bioethics, University of Münster, Germany )
- 14:00 8th July 2016 in Tony Hoare Room, Robert Hooke Building, Parks Road (NOTE ROOM CHANGE)Vint Cerf ( Google )
- 14:00 Wednesday 15th June ( Trinity Term 2016 ) in Lecture Theatre B, Wolfson Building, Parks RoadPradeep Varakantham ( Singapore Management University )
- 14:00 Thursday 9th June ( Trinity Term 2016 ) in Lecture Theatre BJames Mickens ( Harvard University )
- 15:00 Friday 20th May ( Trinity Term 2016 ) in Tony Hoare Room,Prof Stephen Muggleton FREng ( Imperial College )
- 14:00 Tuesday 17th May ( Trinity Term 2016 )Natasha Noy (Stanford University)
- 14:00 Tuesday 3rd May ( Trinity Term 2016 ) in Lecture Theatre BJeffrey Ritter, Esq.
- 14:00 Tuesday 26th April ( Trinity Term 2016 )Dr Nadia Magnenat Thalmann
- 14:00 21st March 2016 in Lecture Theatre ADuncan Brumby
- 14:00 Tuesday 8th March ( Hilary Term 2016 ) in Lecture Theatre BProfessor Donald Knuth
- 15:30 Thursday 7th January ( Hilary Term 2016 ) in Lecture Theatre BDamien Woods ( Caltech )
- 14:00 Tuesday 1st December ( week 8, Michaelmas Term 2015 ) in Lecture Theatre BJohan van Benthem ( Professor of Logic, Amsterdam and Stanford University )
- 14:00 Tuesday 24th November ( week 7, Michaelmas Term 2015 ) in Lecture Theatre BMaria Liakata ( University of Warwick )
- 14:00 Tuesday 10th November ( week 5, Michaelmas Term 2015 ) in Lecture Theatre BRobert Piro ( University of Oxford )
- 12:00 Wednesday 4th November ( week 4, Michaelmas Term 2015 ) in Lecture Theatre AKenneth W. Regan / Richard J. Lipton
- 14:00 Tuesday 3rd November ( week 4, Michaelmas Term 2015 ) in Lecture Theatre BRichard Mayr ( University of Edinburgh (currently on sabbatical at Oxford) )
- 11:00 Friday 30th October ( Michaelmas Term 2015 ) in Room 441Mads Dam ( Dept. of Theoretical Computer Science, KTH Royal Institute of Technology )
- 14:00 Wednesday 28th October ( week 3, Michaelmas Term 2015 ) in Lecture Theatre B, Wolfson Building, Parks RoadDonald E. Knuth ( Stanford University )
- 14:00 Tuesday 13th October ( week 1, Michaelmas Term 2015 ) in Lecture Theatre BRada Mihalcea ( University of Michigan )
- 14:00 Tuesday 26th May ( week 5, Trinity Term 2015 ) in Lecture Theatre BChris Welty ( Google )
- 14:00 Tuesday 12th May ( week 3, Trinity Term 2015 ) in Lecture Theatre BWilly Zwaenepoel ( School of Computer and Communication Sciences, EPFL )
- 14:00 Tuesday 5th May ( week 2, Trinity Term 2015 ) in Lecture Theatre BEric Sobie ( Department of Pharmacology and Systems Therapeutics, Icahn School of Medicine at Mount Sinai )
- 14:00 Tuesday 3rd March ( week 7, Hilary Term 2015 ) in Lecture Theatre BKarin Quaas ( University of Leipzig )
- 14:00 Tuesday 24th February ( week 6, Hilary Term 2015 ) in Lecture Theatre BSheila McIlraith ( University of Toronto )
- 14:00 Tuesday 17th February ( week 5, Hilary Term 2015 ) in Lecture Theatre BEdmund Pringle ( Metaswitch Networks )
- 14:00 Tuesday 10th February ( week 4, Hilary Term 2015 ) in Lecture Theatre BCorina Forascu ( University of Iasi )
- 14:00 Tuesday 3rd February ( week 3, Hilary Term 2015 ) in Lecture Theatre BDavid Poole ( University of British Columbia )
- 14:00 Thursday 22nd January ( week 1, Hilary Term 2015 ) in Lecture Theatre ALaurence Tratt ( King's College London )
- 14:00 Tuesday 2nd December ( week 8, Michaelmas Term 2014 ) in Lecture Theatre BAlessio Lomuscio ( Imperial College, London )
- 14:00 Tuesday 25th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre BSimona Rombo ( Universitá degli Studi di Palermo, Italy )
- 14:00 Tuesday 11th November ( week 5, Michaelmas Term 2014 ) in Lecture Theatre BSimon Thompson ( University of Kent )
- 14:00 Tuesday 4th November ( week 4, Michaelmas Term 2014 ) in Lecture Theatre BMorten Kringelbach ( University of Oxford )
- 14:00 Tuesday 28th October ( week 3, Michaelmas Term 2014 ) in Lecture Theatre BLora Aroyo ( Free University of Amsterdam )
- 14:00 Tuesday 21st October ( week 2, Michaelmas Term 2014 ) in Lecture Theatre BDoina Precup ( McGill University, Canada )
- 14:00 Tuesday 14th October ( week 1, Michaelmas Term 2014 ) in Lecture Theatre BWillem Heijltjes ( University of Bath )
- 16:00 Wednesday 24th September ( week -2, Michaelmas Term 2014 ) in Lecture Theatre BMilind Tambe ( University of Southern California )
- 14:00 Monday 14th July 2014 in Lecture Theatre BMasami Hagiya ( University of Tokyo )
- 14:00 Tuesday 17th June ( week 8, Trinity Term 2014 ) in Lecture Theatre BKeith Clark ( Imperial College, London )
- 14:00 Tuesday 10th June ( week 7, Trinity Term 2014 ) in Lecture Theatre BDonald Knuth ( Stanford University )
- 14:00 Tuesday 20th May ( week 4, Trinity Term 2014 ) in Lecture Theatre BEnrico Motta ( The Open University, Milton Keynes )
- 14:00 Tuesday 13th May ( week 3, Trinity Term 2014 ) in Lecture Theatre BUrsula Martin ( University of Oxford )
- 14:00 Tuesday 6th May ( week 2, Trinity Term 2014 ) in Lecture Theatre BPhilippa Gardner ( Imperial College, London )
- 14:00 Tuesday 29th April ( week 1, Trinity Term 2014 ) in Lecture Theatre BChris Heunen ( University of Oxford )
- 14:00 Thursday 24th April ( week 0, Trinity Term 2014 ) in Lecture Theatre BRadu Grosu ( Vienna University of Technology )
- 14:00 Thursday 27th March ( week 10, Hilary Term 2014 ) in Lecture Theatre AHolger Hoos ( University of British Columbia )
- 14:00 Tuesday 11th March ( week 8, Hilary Term 2014 ) in Lecture Theatre BMark Harman ( University College, London )
- 14:00 Tuesday 4th March ( week 7, Hilary Term 2014 ) in Lecture Theatre BNeelakantan Krishnaswami ( University of Birmingham )
- 15:00 Thursday 27th February ( week 6, Hilary Term 2014 ) in Lecture Theatre BIsil Dillig ( University of Texas, Austin )
- 14:00 Tuesday 25th February ( week 6, Hilary Term 2014 ) in Lecture Theatre BPasquale Malacaria ( Queen Mary, University of London )
- 14:00 Tuesday 18th February ( week 5, Hilary Term 2014 ) in Lecture Theatre BEdith Elkind ( University of Oxford )
- 14:00 Tuesday 4th February ( week 3, Hilary Term 2014 ) in Lecture Theatre BMarcin Dziubiński ( University of Warsaw )
- 14:00 Tuesday 28th January ( week 2, Hilary Term 2014 ) in Lecture Theatre BAshley Montenaro ( University of Bristol )
- 16:30 Tuesday 10th December ( week 9, Michaelmas Term 2013 ) in TBAKoen Langendoen ( Delft University of Technology, The Netherlands )
- 16:30 Tuesday 3rd December ( week 8, Michaelmas Term 2013 ) in Lecture Theatre BIlias Diakonikolas ( University of Edinburgh )
- 16:30 Tuesday 26th November ( week 7, Michaelmas Term 2013 ) in Lecture Theatre BStuart Russell ( Computer Science Division, University of California, Berkeley and LIP6, Université Pierre et Marie Curie, Paris )
- 16:30 12th November ( week 5, Michaelmas Term 2013 ) in Lecture Theatre BDominic Hughes ( Chief Scientist, concept.io )
- 16:30 Tuesday 5th November ( week 4, Michaelmas Term 2013 ) in Lecture Theatre BDavid Safranek ( Masaryk University, Czech Republic )
- 16:30 29th October ( week 3, Michaelmas Term 2013 ) in Lecture Theatre BNando de Freitas ( University of Oxford )
- 16:30 Tuesday 22nd October ( week 2, Michaelmas Term 2013 ) in Lecture Theatre BJamie Vicary ( University of Oxford )
- 14:00 Tuesday 8th October ( week 0, Michaelmas Term 2013 ) in Lecture Theatre BToby Walsh ( University of New South Wales )
- 16:30 Tuesday 17th September 2013 in Lecture Theatre BYoram Moses ( Technion, Israel )
- 17:00 15th July ( week 13, Trinity Term 2013 ) in Leonard Wolfson Auditorium, Wolfson CollegeRichard Stallman
- 16:30 2nd July ( week 11, Trinity Term 2013 ) in Lecture Theatre BJoost-Pieter Katoen ( RWTH Aachen University, Germany )
- 16:30 Tuesday 18th June ( week 9, Trinity Term 2013 ) in Lecture Theatre BAdam Smith ( University of Washington )
- 16:30 Tuesday 28th May ( week 6, Trinity Term 2013 ) in Lecture Theatre AYee Whye Teh ( Statistics Department, University of Oxford )
- 16:30 Tuesday 14th May ( week 4, Trinity Term 2013 ) in Lecture Theatre BJulian Bradfield ( University of Edinburgh )
- 17:00 Wednesday 8th May ( week 3, Trinity Term 2013 ) in Lecture Theatre ADon Knuth ( Stanford University, USA )
- 15:30 Friday 8th March ( week 8, Hilary Term 2013 ) in Lecture Theatre BLin Padgham ( RMIT University, Australia )
- 16:30 Tuesday 5th March ( week 8, Hilary Term 2013 ) in Lecture Theatre BSebastian Riedel ( University College London )
- 16:30 Tuesday 26th February ( week 7, Hilary Term 2013 ) in Lecture Theatre BWiebe Van der Hoek ( University of Liverpool )
- 16:30 Tuesday 19th February ( week 6, Hilary Term 2013 ) in Lecture Theatre BHofstetter Kurt
- 16:00 Monday 18th February ( week 5, Hilary Term 2013 ) in Lecture TheatreAEzio Bartocci ( TU Wien, Vienna University of Technology )
- 16:30 Tuesday 5th February ( week 4, Hilary Term 2013 ) in Lecture Theatre BAndrew Rice ( University of Cambridge )
- 16:30 Tuesday 22nd January ( week 2, Hilary Term 2013 ) in Lecture Theatre BHeribert Vollmer ( University of Hannover, Germany )
- 14:00 Monday 17th December ( week 11, Michaelmas Term 2012 ) in Lecture Theatre BConstantinos Daskalakis ( MIT, USA )
- 16:30 Tuesday 27th November ( week 8, Michaelmas Term 2012 ) in Lecture Threatre BRahul Savani ( University of Liverpool )
- 16:30 Tuesday 20th November ( week 7, Michaelmas Term 2012 ) in Lecture Threatre BKobi Gal ( Ben-Gurion University of the Negev, Israel )
- 16:30 Tuesday 13th November ( week 6, Michaelmas Term 2012 ) in Lecture Theatre BDon Knuth ( Stanford University, USA )
- 16:30 Tuesday 30th October ( week 4, Michaelmas Term 2012 ) in Lecture Theatre BIgor Potapov ( University of Liverpool )
- 10:30 Wednesday 17th October ( week 2, Michaelmas Term 2012 ) in Tony Hoare room (Room 48) in the Robert Hooke BuildingRalf Herbrich ( Facebook )
- 16:00 Friday 5th October ( week 0, Michaelmas Term 2012 ) in Lecture Theatre ATed Dunning ( MapR Technology )
- 16:30 Wednesday 5th September ( Trinity Term 2012 ) in Lecture Theatre BToby Walsh ( NICTA, Australia )
- 16:30 10th July ( week 11, Trinity Term 2012 ) in 380Yair Zick ( Nanyang Technological University )
- 14:00 Friday 29th June ( week 10, Trinity Term 2012 ) in Lecture Theatre BRobyn R. Lutz ( Iowa State University, USA )
- 16:30 Tuesday 26th June ( week 10, Trinity Term 2012 ) in Lecture Theatre BEdith Elkind ( Nanyang Technological University, Singapore )
- 16:15 Thursday 7th June ( week 7, Trinity Term 2012 ) in Lecture Theatre BGeorg Lausen ( University of Freiburg, Germany )
- 16:00 Thursday 24th May ( week 5, Trinity Term 2012 ) in Lecture Theatre BAlessandro Abate ( TU Delft - Delft University of Technology, The Netherlands )
- 16:30 Tuesday 24th April ( week 1, Trinity Term 2012 ) in Lecture Theatre BPaul Hunter ( University of Oxford )
- 16:15 2nd April ( week 12, Hilary Term 2012 ) in Lecture Theatre BAlon Halevy ( Google Inc., USA )
- 16:30 Thursday 8th March ( week 8, Hilary Term 2012 ) in Lecture Theatre BMoshe Vardi ( Rice University )
- 16:30 Tuesday 28th February ( week 7, Hilary Term 2012 ) in 380Ulrike Sattler ( University of Manchester )
- 16:30 Tuesday 21st February ( week 6, Hilary Term 2012 ) in Lecture Threatre BTony Hoare ( Microsoft Research )
- 16:30 14th February ( week 5, Hilary Term 2012 ) in Lecture Theatre BAlon Mishne ( Technion, Israel )
- 16:30 Tuesday 31st January ( week 3, Hilary Term 2012 ) in Lecture Theatre BIgor Razgon ( University of Leicester )
- 16:30 Tuesday 24th January ( week 2, Hilary Term 2012 ) in Lecture Theatre BAlex Yakovlev ( Newcastle University )
- 16:30 Tuesday 29th November ( week 8, Michaelmas Term 2011 ) in Lecture Theatre BPeter Sewell ( University of Cambridge )
- 16:30 Tuesday 22nd November ( week 7, Michaelmas Term 2011 ) in Lecture Theatre BMichael Wooldridge ( University of Liverpool )
- 16:30 Tuesday 15th November ( week 6, Michaelmas Term 2011 ) in Lecture Theatre BDon Knuth ( Stanford University, USA )
- 15:00 Tuesday 8th November ( week 5, Michaelmas Term 2011 ) in 380Remi Munos ( INRIA Lille, France )
- 16:30 Tuesday 1st November ( week 4, Michaelmas Term 2011 ) in Lecture Theatre BFranck van Breugel ( York University, Canada )
- 16:30 Tuesday 18th October ( week 2, Michaelmas Term 2011 ) in Lecture Theatre BPhilippe Schnoebelen ( LSV, CNRS & ENS de Cachan, France )
- 16:30 Tuesday 21st June ( week Eight (8), Trinity Term 2011 ) in Lecture Theatre BCarsten Lutz ( University of Bremen )
- 16:30 Tuesday 31st May ( week 5, Trinity Term 2011 ) in Lecture Theatre BMasanao Ozawa ( Nagoya University )
- 16:30 Tuesday 3rd May ( week 1, Trinity Term 2011 ) in Lecture Theatre BYee Whye Teh ( Gatsby Computational Neuroscience Unit, University College London )
- 16:30 Tuesday 5th April 2011 in Lecture Theatre BAlan Bundy ( University of Edinburg )
- 16:30 Tuesday 8th March ( week 8, Hilary Term 2011 ) in Lecture Theatre BPhilippa Gardner ( Imperial College London )
- 16:30 Tuesday 1st March ( week 7, Hilary Term 2011 ) in Lecture Theatre BAbby Levenberg ( University of Edinburgh )
- 16:30 Tuesday 15th February ( week 5, Hilary Term 2011 ) in Lecture Theatre BDon Knuth ( Stanford )
- 16:30 Tuesday 8th February ( week 4, Hilary Term 2011 ) in Lecture Theatre BAndrew Ker ( Oxford University Computing Lab )
- 16:30 Tuesday 25th January ( week 2, Trinity Term 2011 ) in Lecture Theatre BNoson Yanofsky
- 16:30 Tuesday 18th January ( week 1, Hilary Term 2011 ) in Lecture Theatre BGiulio Chiribella ( Perimeter Institute for Theoretical Physics )
- 16:30 Tuesday 30th November ( week 8, Michaelmas Term 2010 ) in Lecture Theatre BKim Plunkett ( Cognitive Neuroscience, University of Oxford )
- 16:30 Tuesday 23rd November ( week 7, Michaelmas Term 2010 ) in Lecture Theatre BMiles Osborne ( Informatics, Edinburgh )
- 16:30 Tuesday 9th November ( week 5, Michaelmas Term 2010 ) in Lecture Theatre BGregory Grefenstette ( Chief Science Officer Exalead )
- 16:30 Tuesday 2nd November ( week 4, Michaelmas Term 2010 ) in Lecture Theatre BCristian S. Calude ( The University of Auckland )
- 16:30 Tuesday 26th October ( week 3, Michaelmas Term 2010 ) in Lecture Theatre BMehrnoosh Sadrzadeh ( Oxford University Computing Lab )
- 16:30 Tuesday 19th October ( Michaelmas Term 2010 ) in Lecture Theatre BPrakash Panangaden ( McGill University )
- 16:30 Tuesday 12th October ( week 1, Michaelmas Term 2010 ) in Lecture Theatre BBob Coecke
- 16:30 Tuesday 1st June ( week 6, Trinity Term 2010 ) in Lecture Theatre BVincent Danos ( University of Edinburgh )
- 16:30 Tuesday 25th May ( week 5, Trinity Term 2010 ) in Room 478Paul Goldberg ( University of Liverpool )
- 16:30 Tuesday 18th May ( week 4, Trinity Term 2010 ) in Lecture Theatre BByron Cook ( Microsoft Cambridge )
- 16:30 Monday May ( week 8, Trinity Term 2010 ) in Lecture Theatre BLuciano Floridi
- 16:30 Tuesday 27th April ( week 1, Trinity Term 2010 ) in Lecture Theatre BFriedhelm Meyer auf der Heide ( Heinz Nixdorf Institute & Computer Science, Department University of Paderborn )
- 16:30 Monday 26th April ( week 1, Trinity Term 2010 ) in Lecture Theatre BGrigore Rosu ( University of Illinois at Urbana-Champaign )
- 16:30 Tuesday 9th March ( week 8, Hilary Term 2010 ) in Lecture Theatre BHajo Broersma ( University of Durham )
- 16:30 Tuesday 2nd March ( week 7, Hilary Term 2010 ) in Lecture Theatre BVadim Lozin ( University of Warwick )
- 16:30 Tuesday 16th February ( week 5, Hilary Term 2010 ) in Lecture Theatre BAlexander Rabinovich ( Tel Aviv University )
- 16:30 Tuesday 26th January ( week 2, Hilary Term 2010 ) in Lecture Theartre BJoel Ouaknine ( Oxford University Computing Laboratory )
- 16:30 Tuesday 19th January ( week 1, Hilary Term 2010 ) in Lecture Theartre BAndreas Doering ( Oxford University Computing Laboratory )
- 16:30 Tuesday 1st December ( week 8, Michaelmas Term 2009 ) in Lecture Theatre BPaul Newman
- 16:30 Tuesday 24th November ( week 7, Michaelmas Term 2009 ) in Lecture Theatre BErol Gelenbe ( Imperial College )
- 16:30 Tuesday 17th November ( week 6, Michaelmas Term 2009 ) in Lecture Theartre BGerhard Friedrich ( Institute for Applied Informatics, Alpen-Adria Universitaet Klagenfurt, Austria )
- 16:30 Tuesday 10th November ( week 5, Michaelmas Term 2009 ) in Lecture Theartre BMatthew Parkinson ( University of Cambridge )
- 16:30 Tuesday 3rd November ( week 4, Michaelmas Term 2009 ) in Lecture Theatre BProfessor Peter Buneman ( University of Edinburgh )
- 16:30 Tuesday 27th October ( week 3, Michaelmas Term 2009 ) in Lecture Theatre BProfessor Simon Peyton-Jones ( Microsoft Research Cambridge )
- 16:30 Tuesday 20th October ( week 2, Michaelmas Term 2009 ) in Lecture Theatre BChee Yap ( Courant Institute of Mathematical Sciences, New York University (visiting Oxford) )
- 16:30 Tuesday 13th October ( week 1, Michaelmas Term 2009 ) in Lecture Theatre BPhil Blunsom
- 16:30 Tuesday 22nd September 2009 in Lecture Theartre BProf. Kurt Mehlhorn ( Max-Planck-Institut fur Informatik )
- 16:30 Tuesday 16th June ( week 8, Trinity Term 2009 ) in Lecture Theatre BTayssir Touili ( LIAFA )
- 16:30 Tuesday 9th June ( week 7, Trinity Term 2009 ) in Lecture Theatre BPeter Pietzuch ( Imperial College London )
- 15:00 Thursday 4th June ( week 6, Trinity Term 2009 ) in Lecture Theatre AMartyn Thomas
- 16:30 Tuesday 2nd June ( week 6, Trinity Term 2009 ) in Lecture Theatre BDave Cohen ( Royal Holloway London )
- 16:00 Wednesday 27th May ( week 5, Trinity Term 2009 ) in Lecture Theatre BT. Schrijvers
- 16:00 Thursday 21st May ( week 4, Trinity Term 2009 ) in Lecture Theatre ADon Knuth ( Stanford University )
- 16:30 Tuesday 19th May ( week 4, Trinity Term 2009 ) in Lecture Theatre BMarcin Jurdzinski ( University of Warwick )
- 16:30 Tuesday 12th May ( week 3, Trinity Term 2009 ) in Lecture Theatre BProfessor Edmund M. Clarke ( FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering, Carnegie Mellon University )
- 16:30 Tuesday 5th May ( week 2, Trinity Term 2009 ) in Lecture Theatre BAnthony Cohn
- 16:30 Tuesday 28th April ( week 1, Trinity Term 2009 ) in Lecture Theatre BProf. Luke Ong ( Oxford University Computing Laboratory )
- 16:30 Tuesday 10th March ( week 8, Hilary Term 2009 ) in Lecture Theatre BDr. Rune Lyngsoe ( Department of Statistics, University of Oxford )
- 16:30 Tuesday 3rd March ( week 7, Hilary Term 2009 ) in Lecture Theatre BProf. Steffen Lauritzen ( Department of Statistics, University of Oxford )
- 16:30 Tuesday 24th February ( week 6, Hilary Term 2009 ) in Lecture Theatre BPeter O'Hearn ( Queen Mary University, London )
- 16:30 Tuesday 17th February ( week 5, Hilary Term 2009 ) in Lecture Theatre BYoussef Hamadi ( Microsoft Research )
- 16:30 Tuesday 10th February ( week 4, Hilary Term 2009 ) in Lecture Theatre BProfessor Christopher Bishop ( Chief Research Scientist at Microsoft Research, Cambridge. Also Professor of Computer Science at the University of Edinburgh, and a Fellow of Darwin College, Cambridge. )
- 16:30 Tuesday 3rd February ( week 3, Hilary Term 2009 ) in Lecture Theatre BDr. Arnaud Visser ( Univertiteit van Amsterdam )
- 16:30 Tuesday 27th January ( week 2, Hilary Term 2009 ) in Lecture Theatre BPhokion G. Kolaitis ( UC Santa Cruz and IBM Almaden Research Center )
- 16:30 Tuesday 20th January ( week 1, Hilary Term 2009 ) in Lecture Theatre BProf. Alain Finkel ( Ecole Normale Superieure de Cachan, France )
- 16:30 Tuesday 2nd December ( week 8, Michaelmas Term 2008 ) in Lecture Theatre BAnuj Dawar ( Cambridge )
- 16:30 Tuesday 25th November ( week 7, Michaelmas Term 2008 ) in Lecture Theatre BDusko Pavlovic ( Oxford University Computing Laboratory )
- 16:30 Tuesday 18th November ( week 6, Michaelmas Term 2008 ) in Lecture Theatre BJoel Ouaknine ( Oxford University Computing Laboratory )
- 16:30 Tuesday 11th November ( week 5, Michaelmas Term 2008 ) in Lecture Theatre BJane Hillston
- 16:30 Tuesday 4th November ( week 4, Michaelmas Term 2008 ) in Lecture Theatre BVictor Vianu ( USCD )
- 16:30 Tuesday 28th October ( week 3, Michaelmas Term 2008 ) in Lecture Theatre BGavin Bierman ( Microsoft Research )
- 16:30 Tuesday 21st October ( week 2, Michaelmas Term 2008 ) in Lecture Theatre BMichael Huth ( Imperial College, London )
- 16:30 Tuesday 14th October ( week 1, Michaelmas Term 2008 ) in Lecture Theatre BRandy Bryant ( Carnegie Mellon, School of Computer Science )
- 14:00 Tuesday 23rd September ( week -2, Michaelmas Term 2008 ) in Lecture Theatre AProfessor Don Knuth
- 16:30 Tuesday 9th September ( Michaelmas Term 2008 ) in Lecture Theatre AProf. Rohit Parikh ( Distinguished Professor of Computer Science, Mathematics and Philosophy, City University of New York )
- 15:00 Tuesday 17th June ( week 9, Trinity Term 2008 ) in Lecture Theatre AProfessor Thomas Reps ( University of Wisconsin )
- 16:30 Tuesday 10th June ( week 8, Trinity Term 2008 ) in Lecture Theatre AAngela Sasse ( UCL )
- 16:30 Tuesday 3rd June ( week 7, Trinity Term 2008 ) in Lecture Theatre ARalf Hinze ( Computing Laboratory )
- 16:00 Thursday 29th May ( week 6, Trinity Term 2008 ) in Lecture Theatre BProfessor Orna Grumberg ( Technion )
- 16:30 Tuesday 20th May ( week 5, Trinity Term 2008 ) in Lecture Theatre AProfessor Stephen Muggleton ( Imperial College )
- 16:15 Tuesday 13th May ( week 4, Trinity Term 2008 ) in Lecture Theatre ADr Guy Steele and Dr Richard Gabriel ( Sun Microsystems & IBM Research )
- 16:30 Tuesday 6th May ( week 3, Trinity Term 2008 ) in Lecture Theatre AByron Cook ( Microsoft Research )
- 16:30 Tuesday 29th April ( week 2, Trinity Term 2008 ) in Lecture Theatre AStephan Kreutzer ( Oxford University Computing Laboratory )
- 16:30 Tuesday 22nd April ( week 1, Trinity Term 2008 ) in Lecture Theatre AProfessor Tom Melham ( Oxford University Computing Laboratory )
- 16:30 Tuesday 4th March ( week 8, Hilary Term 2008 ) in Lecture Theatre AAndy Hopper ( University of Cambridge )
- 16:30 Tuesday 26th February ( week 7, Hilary Term 2008 ) in Lecture Theatre ATom Rodden ( University of Nottingham )
- 16:30 Tuesday 12th February ( week 5, Hilary Term 2008 ) in Lecture Theatre AJonathan Zittrain ( Oxford Internet Institute and Harvard )
- 16:30 Tuesday 5th February ( week 4, Hilary Term 2008 ) in Lecture Theatre AFrederick Brooks, Jr ( University of North Carolina at Chapel Hill )
- 16:30 Tuesday 29th January ( week 3, Hilary Term 2008 ) in Lecture Theatre ASamson Abramsky ( OUCL )
- 16:30 Tuesday 22nd January ( week 2, Hilary Term 2008 ) in Lecture Theatre AProfessor Frank Wolter ( University of Liverpool )
- 16:30 Tuesday 15th January ( week 1, Hilary Term 2008 ) in Computing Laboratory Lecture TheatreProfessor David Harel ( Dept. of Computer Science and Applied Mathematics, Weizmann Institute of Science )
- 12:00 Monday