# OASIS: The Oxford Advanced Seminar on Informatic Structures

The Oxford Advanced Seminar on Informatic Structures is a weekly interdisciplinary seminar of the Department of Computer Science, University of Oxford. This seminar series exposes the research interests of the Foundations Logic and Structures research theme. We have an organising programme committee spanning the breadth of the interests of the Foundations group, from category theory, quantum computation and quantum information theory, to logic, semantics. Feel free to contact any of us for further information or if you want to be added to the talk announcement mailing list.

Everyone is more than welcome to attend OASIS. Unless otherwise stated, the talks are on Fridays at 2 pm in Lecture Theatre B of the Department of Computer Science, followed by informal friendly discussions over tea and biscuits in the lounge. Hope to see you all there.

Upcoming seminarsPrevious seminars

- 16:00 13th November 2019Carlos Perez-Delgado ( School of Computing, University of Kent )
- 14:00 8th November ( Michaelmas Term 2019 )Matty Hoban ( Goldsmiths, University of London )
- 14:00 1st November ( Michaelmas Term 2019 )Steven Herbert ( University of Oxford, in partnership with Riverlane )
- 14:00 Friday 25th October ( Michaelmas Term 2019 ) in LTBDominique Unruh ( Institute of Computer Science, University of Tartu )
- 14:00 2nd August 2019Carlo-Maria Scandolo ( University of Calgary )
- 14:00 Friday 21st June ( week 8, Trinity Term 2019 ) in Lecture Theatre BRoss Duncan ( University of Strathclyde / Cambridge Quantum Computing )
- 14:00 Friday 31st May ( week 5, Trinity Term 2019 ) in LTA, Wolfson Building, Parks Road, Oxford OX1 3QDPawel Sobocinski ( University of Southampton )
- 14:00 Friday 24th May ( week 4, Trinity Term 2019 ) in LTB,Wolfson Building, Parks Road, OxfordRobert Furber ( Aalborg University )
- 14:00 Friday 10th May ( Trinity Term 2019 )Stacey Jeffery ( QuSoft, CWI and University of Amsterdam )
- 14:00 Friday 3rd May ( week 1, Trinity Term 2019 ) in Room 051Dan Ghica ( University of Birmingham )
- 14:00 Friday 26th April ( week 0, Trinity Term 2019 ) in Lecture Theatre BDusko Pavlovic ( University of Hawaii )
- 14:00 Friday 8th March ( Hilary Term 2019 ) in Lecture Theatre BJohn Power ( University of Bath )
- 14:00 Wednesday 6th March ( week 8, Trinity Term 2019 )Sergii Strelchuk ( DAMTP, University of Cambridge )
- 14:00 Friday 15th February ( week 5, Hilary Term 2019 ) in Lecture Theatre BMartti Karvonen ( University of Edinburgh )
- 14:00 Friday 25th January ( week 2, Hilary Term 2019 ) in Lecture Theatre BJuan Pablo Vigneaux ( Institut de Mathématiques de Jussieu – Paris Rive Gauche, Université Paris Diderot – Paris 7 )
- 14:00 Friday 18th January ( week 1, Hilary Term 2019 )Charles Cao ( Joint Center for Quantum Information and Computer Science )
- 14:00 Friday 30th November ( week 8, Michaelmas Term 2018 ) in Lecture Theatre BLevin Hornischer ( University of Amsterdam )
- 14:00 23rd November ( Michaelmas Term 2018 )Danial Dervovic ( Department of Computer Science, UCL )
- 14:00 Friday 19th October ( week 2, Michaelmas Term 2018 )Konstantinos Meichanetzidis ( University of Leeds, School of Physics and Astronomy )
- 14:00 Friday 12th October ( week 1, Michaelmas Term 2018 ) in Lecture Theatre BBenedikt Ahrens ( University of Birmingham )
- 14:00 Wednesday 19th September ( week 22, Trinity Term 2018 ) in Lecture Theatre BAndre Kornell ( UC Davis )
- 14:00 Monday 17th September ( Trinity Term 2018 ) in Lecture Theatre BLucy Liuxuan Zhang
- 14:00 22nd June ( Trinity Term 2018 ) in Lecture Theatre BNoam Zeilberger ( University of Birmingham )
- 14:00 11th June ( week 8, Trinity Term 2018 ) in Lecture Theatre BAna Belén Sainz ( Perimeter Institute )
- 14:00 1st June ( week 6, Trinity Term 2018 ) in Tony Hoare roomPrakash Panangaden ( McGill University )
- 14:00 28th May ( week 6, Trinity Term 2018 ) in Lecture Theatre BAdan Cabello ( University of Seville )
- 14:00 Friday 25th May ( week 5, Trinity Term 2018 ) in Lecture Theatre BDavid Balduzzi ( DeepMind )
- 14:00 18th May 2018Philip Goyal ( University at Albany — Department of Physics )
- 14:00 Friday 11th May ( week 3, Trinity Term 2018 ) in Lecture Theatre BRoss Duncan, Miriam Backens and Simon Perdrix
- 14:00 Friday 4th May ( Trinity Term 2018 )Mark Wilde ( Center for Computation and Technology, Louisiana State University )
- 14:00 Friday 27th April ( week 1, Trinity Term 2018 ) in Lecture Theatre BTamara von Glehn ( University of Cambridge )
- 14:00 Friday 20th April ( week 0, Trinity Term 2018 ) in Lecture Theatre BJamie Gabbay ( Heriot-Watt University )
- 14:00 Friday 6th April ( week -2, Trinity Term 2018 )Ben Schumacher ( Kenyon College )
- 14:00 Thursday 8th March ( week 8, Hilary Term 2018 ) in Tony Hoare RoomMio Murao ( University of Tokyo )
- 16:00 Tuesday 6th March ( Hilary Term 2018 )Earl Campbell ( University of Sheffield )
- 14:00 23rd February ( Hilary Term 2018 )Shane Mansfield ( Paris Diderot University )
- 14:00 Friday 9th February ( week 4, Michaelmas Term 2017 ) in Lecture Theatre BAchim Jung ( University of Birmingham )
- 14:00 Thursday 1st February ( week 3, Hilary Term 2018 ) in Lecture Theatre BDavid Spivak ( MIT )
- 14:00 Friday 12th January ( week 0, Hilary Term 2018 ) in Lecture Theatre B, Wolfson BuildingJohn Selby ( Perimeter Institute for Theoretical Physics )
- 14:00 Friday 8th December ( week 9, Michaelmas Term 2017 ) in Lecture Theatre BAlessandra di Pierro ( University of Verona )
- 14:00 Friday 24th November ( week 8, Michaelmas Term 2017 ) in Lecture Theatre BGiuilio Chiribella ( University of Oxford )
- 14:00 Friday 3rd November ( week 4, Michaelmas Term 2017 ) in Lecture Theatre BDaniela Petrisan ( IRIF, Paris 7 )
- 14:00 30th October ( week 4, Michaelmas Term 2017 ) in LTBCai Waegell ( Chapman University )
- 14:00 Friday 6th October ( week 0, Michaelmas Term 2017 )Chung-Kil Hur ( Seoul National University )
- 14:00 Tuesday 5th September ( Trinity Term 2017 ) in Lecture Theatre BJoachim Kock
- 14:00 Monday 31st July ( Trinity Term 2017 ) in LTBBrendan Fong
- 14:00 Tuesday 18th July ( week 12, Trinity Term 2017 ) in Lecture Theatre B, Department of Computer ScienceScott Carter ( University of South Alabama )
- 14:00 Friday 16th June ( week 8, Trinity Term 2017 ) in Lecture Theatre BHongseok Yang ( University of Oxford )
- 14:00 Wednesday 7th June ( week 7, Trinity Term 2017 ) in Room 051, Wolfson BuildingValentin Blot ( Queen Mary, University of London )
- 14:00 22nd May ( week 5, Trinity Term 2017 ) in LTBCohl Furey ( University of Cambridge )
- 14:00 5th May ( week 2, Trinity Term 2017 ) in Wolfson Building, LTBSergii Strelchuk ( University of Cambridge (Dept. Applied Mathematics & Theoretical Physics) )
- 14:00 Friday 28th April ( week 1, Trinity Term 2017 ) in LTBMark Howard ( University of Sheffield )
- 14:00 Friday 21st April ( week 0, Trinity Term 2017 ) in Tony Hoare Room, Robert Hooke Building, Parks Road (NB unusual place)Irina Basieva ( Linnaeus University, City University )
- 15:00 Monday 20th March ( week 10, Hilary Term 2017 ) in Tony Hoare Room, Department of Computer ScienceEd Griffor ( NIST )
- 14:00 Friday 17th March ( week 9, Hilary Term 2017 ) in Lecture Theatre A, Department of Computer ScienceMatty Hoban ( Department of Computer Science, University of Oxford )
- 14:00 Friday 10th March ( week 8, Hilary Term 2017 ) in Lecture Theatre B, Department of Computer ScienceOhad Kammar ( Department of Computer Science, University of Oxford )
- 14:00 Friday 3rd March ( week 7, Hilary Term 2017 ) in Lecture Theatre B, Department of Computer ScienceSimon Gay ( Department of Computing Science, University of Glasgow )
- 14:00 Friday 24th February ( Hilary Term 2017 ) in LTBSimona Paoli ( University of Leicester )
- 14:00 17th February ( week 5, Hilary Term 2017 ) in LTBFabio Zanasi ( UCL )
- 14:00 Friday 10th February ( week 4, Hilary Term 2017 ) in LTBDimitri Kartsaklis ( Queen Mary University of London )
- 14:00 Friday 3rd February ( week 3, Hilary Term 2017 ) in Lecture Theatre B, Department of Computer ScienceDominic Horsman ( Joint Quantum Centre, Durham University )
- 14:00 Friday 27th January ( week 2, Hilary Term 2017 ) in Lecture Theatre BFrank Roumen ( University of Cambridge )
- 14:00 Friday 20th January ( week 1, Hilary Term 2017 ) in Lecture Theatre B, Department of Computer ScienceYoshihiro Maruyama ( University of Kyoto, Japan )
- 14:00 Friday 2nd December ( week 8, Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson Building, Parks RoadPierre Clairambault ( ENS Lyon )
- 14:00 Friday 25th November ( week 7, Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson BuildingRobin Evans ( Department of Statistics, Oxford )
- 14:00 Friday 18th November ( week 6, Michaelmas Term 2016 ) in Lecture Theatre BMiriam Backens ( University of Bristol )
- 14:00 Friday 11th November ( week 5, Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson BuildingLídia del Rio ( ETH Zurich )
- 14:00 Tuesday 1st November ( Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson Building, Parks RoadJean Krivine ( CNRS and Univ Paris VII )
- 12:00 Friday 28th October ( week 3, Michaelmas Term 2016 )Jules Hedges ( University of Oxford )
- 14:00 Friday 21st October ( week 2, Michaelmas Term 2016 )Steve Vickers ( University of Birmingham )
- 14:00 Tuesday 11th October ( week Week 1, Michaelmas Term 2016 ) in Lecture Theatre BDelaram Kahrobaei
- 14:00 23rd June 2016Sevag Gharibian ( Virginia Commonwealth University (USA) )
- 14:00 Friday 17th June ( week 8, Trinity Term 2016 )Luis Barbosa ( Universidade do Minho )
- 14:00 3rd June 2016Mirjam Weilenmann ( University of York )
- 14:00 Wednesday 25th May ( week 5, Hilary Term 2016 ) in Lecture Theatre BScott Aaronson ( MIT )
- 14:00 Friday 20th May 2016Laura Mancinska ( University of Bristol )
- 14:00 Friday 13th May ( week 3, Trinity Term 2016 ) in Lecture Theatre BDavid Wallace ( University of Oxford )
- 14:00 Friday 6th May ( week 2, Hilary Term 2016 ) in Lecture Theatre BAlan Jeffrey
- 14:00 Friday 29th April ( week 1, Trinity Term 2016 ) in Lecture Theatre BMichael Vanden Boom ( University of Oxford )
- 14:00 Friday 11th March ( week 8, Hilary Term 2016 ) in Lecture Theatre BAlessio Guglielmi ( University of Bath )
- 14:00 Friday 4th March ( week 7, Hilary Term 2016 ) in Lecture Theatre BWillem Heijltjes ( University of Bath )
- 14:00 Friday 26th February ( week 6, Hilary Term 2016 ) in Lecture Theatre BAleks Kissinger ( Radboud University )
- 14:00 19th February ( Hilary Term 2016 )Davide Girolami (University of Oxford)
- 14:00 Friday 12th February ( Hilary Term 2016 )Marco Piani
- 14:00 Friday 5th February ( week 3, Hilary Term 2016 ) in Lecture Theatre BEmanuele D'Osualdo ( University of Kaiserslautern )
- 14:00 Friday 29th January ( week 2, Hilary Term 2016 ) in Lecture Theatre BMatthias Baaz ( University of Technology, Vienna )
- 14:00 Friday 4th December ( week 8, Michaelmas Term 2015 ) in Lecture Theatre BToby Cubitt ( UCL )
- 14:00 Wednesday 2nd December ( week 8, Michaelmas Term 2015 ) in Lecture Theatre BJohan van Benthem ( Amsterdam & Stanford )
- 14:00 Friday 27th November ( week 7, Michaelmas Term 2015 ) in Lecture Theatre BPeter Chin
- 14:00 Friday 20th November ( week 6, Michaelmas Term 2015 ) in LTBPaul Skrzypczyk ( University of Bristol )
- 14:00 Friday 13th November ( week 5, Michaelmas Term 2015 ) in Lecture Theatre BPaul Levy ( University of Birmingham )
- 14:00 Friday 6th November ( week 4, Michaelmas Term 2015 ) in Lecture Theatre BHelle Hvid Hansen ( Delft University of Technology )
- 14:00 Friday 30th October ( week 3, Michaelmas Term 2015 )David Jennings ( Imperial College London )
- 14:00 Friday 23rd October ( week 2, Michaelmas Term 2015 ) in Lecture Theatre BEkaterina Komendantskaya ( University of Dundee )
- 14:00 Friday 16th October ( week 1, Michaelmas Term 2015 ) in Lecture Theatre BNicola Gambino ( University of Leeds )
- 14:00 Wednesday 23rd September ( Michaelmas Term 2015 ) in Lecture Theatre A (NB unusual room)Ehtibar Dzhafarov ( Purdue University )
- 14:00 Monday 10th August ( Trinity Term 2015 ) in Lecture Theatre B, Department of Computer ScienceSteve Adachi ( Lockheed Martin Information Systems & Global Solutions )
- 15:00 Thursday 23rd July ( week 13, Trinity Term 2015 ) in Lecture Theatre B, Department of Computer SciencePrakash Panangaden ( McGill University )
- 14:00 Friday 26th June ( week 9, Trinity Term 2015 ) in Lecture Theatre B, Department of Computer ScienceStefan Zohren ( Department of Materials, University of Oxford )
- 14:00 Friday 19th June ( week 8, Trinity Term 2015 ) in Lecture Theatre BHugh Steele ( Universite Paris 13 )
- 14:00 Friday 12th June ( week 7, Trinity Term 2015 ) in Lecture Theatre AKen Regan ( University at Buffalo (State University of New York) )
- 14:00 Friday 5th June ( week 6th week, Hilary Term 2015 ) in LTBReiko Heckel ( University of Leicester )
- 14:00 Friday 29th May ( week 5, Trinity Term 2015 ) in Lecture Theatre BArd Louis ( University of Oxford )
- 14:00 Saturday 22nd May ( week 4, Trinity Term 2015 )Manuel Reyes ( Bowdoin College )
- 14:00 Friday 15th May ( week 3, Trinity Term 2015 ) in Lecture Theatre B, Department of Computer ScienceAlexandra Silva ( Radboud University Nijmegen )
- 14:00 Friday 6th March ( week 7, Hilary Term 2015 ) in Lecture Theatre AConor McBride ( University of Strathclyde )
- 14:00 20th February ( week 5, Hilary Term 2015 ) in Lecture Theatre ATeiko Heinosaari ( University of Turku )
- 14:00 13th February ( week 4, Hilary Term 2015 )Petros Wallden
- 14:00 Friday 6th February ( week 3, Hilary Term 2015 ) in LTA, Department of Computer ScienceChiara Marletto ( Researcher in quantum foundations in the Materials Science department, and JRF at Wolfson )
- 14:00 Friday 30th January ( week 2, Hilary Term 2015 ) in Lecture Theatre A, Department of Computer ScienceStefan Kiefer ( University of Oxford )
- 14:00 23rd January ( week 1, Hilary Term 2015 )Tobias Fritz ( Perimeter Institute )
- 14:00 Friday 5th December ( week 8, Michaelmas Term 2014 ) in Lecture Theatre AArthur I. Miller ( University College London )
- 14:30 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre B, Department of Computer ScienceSamson Abramsky, Bob Coecke, Dan Ghica, Mehrnoosh Sadrzadeh and Nikos Tzevelekos
- 15:30 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre BDan Ghica ( University of Birmingham )
- 14:30 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre BSamson Abramsky ( University of Oxford )
- 16:30 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre BMehrnoosh Sadrzadeh ( Queen Mary University of London, UK )
- 15:00 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre BBob Coecke ( University of Oxford )
- 17:00 Monday 24th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre BNikos Tzevelekos ( Queen Mary University of London, UK )
- 14:00 Friday 21st November ( week 6, Michaelmas Term 2014 ) in Lecture Theatre AMichael Ben-Or ( The Hebrew University, Israel )
- 14:00 Friday 14th November ( week 5, Michaelmas Term 2014 ) in Lecture Theatre ARoger Colbeck ( University of York )
- 14:00 Friday 24th October ( week 2, Michaelmas Term 2014 ) in Lecture Theatre ARonald de Wolf ( Centrum Wiskunde & Informatica (CWI) Amsterdam )
- 14:00 Friday 25th July ( Trinity Term 2014 ) in Lecture Theatre AAndrew Hanson ( Indiana University Bloomington )
- 14:00 Friday 20th June ( week 8, Trinity Term 2014 ) in Hoare Room, RHBJohnathon Haliwell ( Imperial College London )
- 12:00 Friday 9th May ( week 2, Hilary Term 2014 )Jiannis Pachos ( University of Leeds )
- 14:00 Friday 14th March ( week 8, Hilary Term 2003 ) in Lecture Theatre BSandro Sozzo ( University of Leicester )
- 15:00 Wednesday 12th March ( week 8, Hilary Term 2014 ) in Lecture Theatre BPawel Sobocinski ( University of Southampton )
- 14:00 Friday 28th February ( week 6, Hilary Term 2014 ) in Lecture Theatre BRichard Jozsa ( University of Cambridge )
- 14:00 Friday 21st February ( week 5, Hilary Term 2014 ) in Lecture Theatre B, Department of Computer ScienceJohn Baez ( University of California, Riverside )
- 14:00 Friday 7th February ( week 3, Hilary Term 2014 ) in Lecture Theatre B, Department of Computer ScienceJohn Power ( Department of Computer Science, University of Bath )
- 14:00 Friday 31st January ( week 2, Hilary Term 2014 ) in Lecture Theatre B, Department of Computer ScienceNilanjana Datta ( Statistical Laboratory, University of Cambridge )
- 14:00 Friday 24th January ( week 1, Hilary Term 2014 )Alberto Montina ( http://www.perimeterinstitute.ca/people/alberto-montina )
- 14:00 Friday 6th December ( week 8, Michaelmas Term 2013 ) in Lecture Theatre ARadha Jagadeesan ( DePaul University Chicago )
- 14:00 Friday 29th November ( week 7, Michaelmas Term 2013 ) in Lecture Theatre AMaurice de Gosson ( University of Vienna )
- 14:00 Friday 8th November ( week 4, Michaelmas Term 2013 ) in Lecture Theatre AKohei Kishida ( University of Oxford )
- 14:00 Friday 1st November ( week 3, Michaelmas Term 2013 ) in Lecture Theatre AJohn Cardy ( University of Oxford )
- 14:00 Friday 25th October ( week 2, Michaelmas Term 2013 ) in Lecture Theatre A, Department of Computer ScienceSteve Brierley ( University of Bristol )
- 14:00 Thursday 10th October ( week 0, Michaelmas Term 2013 ) in Tony Hoare room (Robert Hooke building)Leon Loveridge ( University of British Columbia )
- 14:00 Friday 7th June ( week 7, Trinity Term 2013 ) in Tony Hoare Room, Robert Hooke buildingKlaas Landsman ( Radboud University Nijmegen )
- 14:00 Friday 24th May ( week 5, Trinity Term 2013 ) in Tony Hoare RoomEd Blakey ( University of Bristol )
- 14:00 Friday 17th May ( week 4, Trinity Term 2013 )Sam Sanders ( University of Ghent )
- 14:00 Friday 10th May ( week 3, Trinity Term 2013 ) in Tony Hoare RoomOliver Gray ( University of Bristol )
- 14:00 Friday 26th April ( week 1, Trinity Term 2013 )Lluis Masanes
- 14:00 Wednesday 6th March ( week 8, Hilary Term 2013 )James Ladyman ( University of Bristol )
- 14:00 Friday 1st March ( week 7, Hilary Term 2013 )Peter Hines ( University of York )
- 14:00 Friday 22nd February ( week 6, Hilary Term 2013 )Miguel Navascues ( University of Bristol )
- 14:00 Friday 8th February ( week 4, Hilary Term 2013 )Daoud Clarke ( University of Sussex )
- 14:00 Friday 1st February ( week 3, Hilary Term 2013 )John Barrett ( University of Nottingham )
- 14:00 Friday 25th January ( week 2, Hilary Term 2013 )John D. Maitland Wright ( Christ Church College Oxford, University of Aberdeen )
- 14:00 Friday 18th January ( week 1, Hilary Term 2013 )Simone Severini ( University College London )
- 14:00 Friday 30th November ( week 8, Michaelmas Term 2012 ) in Tony Hoare Room, Robert Hooke BuildingKlaus Draeger ( Department of Computer Science, University of Oxford )
- 14:00 Friday 23rd November ( week 7, Michaelmas Term 2012 ) in Tony Hoare RoomChristian G. Fermueller ( Technische Universität Wien )
- 14:00 Friday 16th November ( week 6, Michaelmas Term 2012 )Ivette Fuentes ( University of Nottingham )
- 14:00 Friday 2nd November ( week 4, Michaelmas Term 2012 ) in Tony Hoare RoomBaltasar Trancon and Michael Hauhs ( Ecological Modelling, BayCEER, Dr.-Hans-Frisch-Str. 1–3, University of Bayreuth, Germany )
- 14:00 Friday 26th October ( week 3, Michaelmas Term 2012 ) in Tony Hoare room, Robert Hooke buildingJohn Barrett ( professor of mathematical physics, University of Nottingham )
- 14:00 19th October ( week 2, Michaelmas Term 2012 ) in Tony Hoare RoomDr Jon Barrett ( University of Oxford )
- 14:00 Friday 12th October ( week 1, Michaelmas Term 2012 ) in Tony Hoare RoomDavide Grossi ( University of Liverpool )
- 14:00 Thursday 13th September ( week -5, Michaelmas Term 2012 ) in Lecture Theatre AGudmund Grov ( Heriot-Watt University )
- 14:00 Wednesday 20th June ( week 9, Hilary Term 2012 ) in Lecture Theatre BIsar Stubbe ( Maître de Conférences at Université du Littoral-Côte d'Opale. )
- 14:00 Friday 1st June ( week 6, Trinity Term 2012 ) in Lecture Theatre B (LTB)Peter Bruza ( Professor of Information Ecology, Science and Engineering Faculty, Queensland University of Technology )
- 14:00 Friday 4th May ( week 2, Hilary Term 2012 ) in Lecture Theatre BJeremy Butterfield ( Senior Research Fellow, Trinity College, University of Cambridge )
- 14:00 Friday 27th April ( week 1, Trinity Term 2012 ) in Lecture Theatre B (LTB)Greg Restall ( Faculty of Philosophy, Anthropology and Social Inquiry, University of Melbourne )
- 10:30 Friday 27th April ( week 1, Trinity Term 2012 ) in 051Benno van den Berg ( Utrecht University )
- 14:00 Friday 20th April ( week 0, Trinity Term 2012 ) in Room 051, Department of Computer ScienceMike Stay ( Google and the University of Auckland )
- 14:00 Friday 9th March ( week 8, Hilary Term 2012 ) in Lecture Theatre B (LTB)Prof. Ian Pratt-Hartmann ( School of Computer Science, University of Manchester )
- 14:00 Friday March ( week 7, Hilary Term 2012 ) in Lecture Theatre B (LTB)J. Mark Bishop ( Professor of Cognitive Computing, Department of Computing, Goldsmiths, University of London )
- 14:00 Friday 24th February ( week 6, Hilary Term 2012 ) in Lecture Theatre B, Department of Computer ScienceKobi Kremnitzer ( Mathematical Instituteq )
- 14:00 Friday 17th February ( week 5, Hilary Term 2012 ) in Lecture Theatre BAlexander Kurz ( University of Leicester )
- 14:00 Friday 3rd February ( week 3, Hilary Term 2012 )Erol Gelenbe ( Dennis Gabor Professor at Imperial College )
- 14:00 Friday 27th January ( week 2, Hilary Term 2012 ) in Lecture Theatre B, Department of Computer ScienceAlastair Kay ( Mathematical Institute, University of Oxford and Centre for Quantum Technologies, National University of Singapore )
- 14:00 Friday 20th January ( week 1, Hilary Term 2003 ) in LTBClemens Kupke ( Research Assistant at University of Oxford )
- 14:00 Friday 9th December ( week 9, Michaelmas Term 2011 ) in Lecture Theatre A (LTA)Shalom Lappin ( Professor of Computational Linguistics, Department of Philosophy, King’s College London )
- 14:00 Friday 2nd December ( week 8, Michaelmas Term 2011 ) in 380Roy Crole ( Senior Lecturer of Computer Science, Department of Computer Science, University of Leicester )
- 14:00 Friday 25th November ( week 7, Michaelmas Term 2011 ) in Room 380Mark Steedman ( Professor of Cognitive Science, School of Informatics, University of Edinburgh )
- 14:00 Friday 18th November ( week 6, Michaelmas Term 2011 ) in 380Tony Short ( Research Fellow at the Department of Applied Mathematics and Theoretical Physics, University of Cambridge )
- 14:00 Friday 11th November ( week 5, Michaelmas Term 2011 ) in 380Alexey Gotsman ( IMDEA Software Institute, Spain )
- 14:00 Friday 4th November ( week 4, Michaelmas Term 2011 ) in 380Joel Ouaknine ( Professor of Computer Science, Department of Computer Science, University of Oxford )
- 14:00 Friday 21st October ( week 2, Michaelmas Term 2011 ) in 380Harvey Brown ( Professor of Philosophy of Physics, University of Oxford )
- 14:00 Friday 7th October ( week 0, Michaelmas Term 2011 ) in Lecture Theatre B, Department of Computer ScienceAlastair Kay ( University of Oxford and National University of Singapore )
- 14:00 Friday 24th June ( week 8, Trinity Term 2011 ) in Lecture Theatre BOwen Maroney ( Department of Philosophy, University of Oxford )
- 14:00 Friday 17th June ( week 7, Trinity Term 2011 ) in Lecture Theatre B, Department of Computer ScienceProfessor Lane P. Hughston ( Imperial College London )
- 14:00 Tuesday 14th June ( Trinity Term 2011 ) in Lecture Theatre BPierre Clairambault ( University of Bath )
- 14:00 Friday 3rd June ( week 5, Trinity Term 2011 ) in Lecture Theatre BRadu Mardare ( Aalborg University )
- 14:00 Friday 27th May ( week 4, Trinity Term 2011 ) in Lecture Theatre BGlynn Winskel ( University of Cambridge )
- 14:00 Monday 23rd May ( week 4, Trinity Term 2011 ) in Lecture Theatre BJuha Kontinen ( Dept. of Mathematics and Statistics, University of Helsinki )
- 14:00 Friday 20th May ( week 3, Trinity Term 2011 ) in Lecture Theatre B, Computing LaboratoryDr Nathan Bowler ( University of Cambridge, DPMMS )
- 14:00 Friday 13th May ( week 2, Trinity Term 2011 ) in Lecture Theatre BProf. Jeff Parris ( School of Mathematics, University of Manchester )
- 14:00 Friday 6th May ( week 1, Trinity Term 2011 ) in Lecture Theatre B, Computing LaboratoryProfessor Jean Benabou ( Paris )
- 14:00 Friday 18th March ( week 9, Hilary Term 2011 ) in Lecture Theatre BDavid Pearce ( Dept. Artificial Intelligence, Universidad Politécnica de Madrid )
- 14:00 Friday 11th March ( week 8, Hilary Term 2011 ) in Lecture Theatre BVincenzo Ciancia ( Institute for Logic Language Computation, University of Amsterdam )
- 14:00 Monday 7th March ( week 8, Hilary Term 2011 ) in Lecture Theatre B, Computing LaboratoryFotini Markopoulou ( Perimeter Institute )
- 14:00 Friday 4th March ( week 7, Hilary Term 2011 ) in Lecture Theatre BProf. Robin Cooper ( Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg )
- 14:00 Friday 25th February ( week 6, Hilary Term 2011 ) in Lecture Theatre B, Computing LaboratoryJoy Christian ( University of Oxford )
- 14:00 Friday 18th February ( week 5, Hilary Term 2011 ) in Lecture Theatre BProf Matthew Hennessy ( Trinity College Dublin )
- 14:00 Friday 11th February ( week 4, Hilary Term 2011 ) in Lecture Theatre BNeel Krishnaswami ( Microsoft Research Cambridge )
- 14:00 Friday 4th February ( week 3, Hilary Term 2011 ) in Lecture Theatre BNick Benton ( Microsoft Research Cambridge )
- 14:00 Friday 28th January ( week 2, Hilary Term 2011 ) in Lecture Theatre B, Computing LaboratoryNoson Yanofsky ( CUNY )
- 14:00 Friday 21st January ( week 1, Hilary Term 2011 ) in Lecture Theatre BTobias Fritz ( ICFO, Barcelona )
- 14:00 Friday 3rd December ( week 8, Michaelmas Term 2010 ) in Lecture Theatre BNoam Zeilberger ( Laboratoire PPS, Université Paris 7 - Denis Diderot )
- 14:00 Friday 26th November ( week 7, Michaelmas Term 2010 ) in Lecture Theatre BProf. Roger Penrose (Sir) ( Maths Institute, University of Oxford )
- 14:00 Friday 12th November ( week 5, Michaelmas Term 2010 ) in Lecture Theatre BDino Distefano ( Queen Mary, University of London )
- 14:00 Friday 5th November ( week 3, Michaelmas Term 2010 ) in Lecture Theatre B, Computing LaboratoryDr Sam Staton ( PPS, Paris VII )
- 14:00 Friday 22nd October ( week 2, Michaelmas Term 2010 ) in Lecture Theatre BDan Ghica ( University of Birmingham )
- 12:00 Friday 15th October ( week 1, Michaelmas Term 2010 ) in Lecture Theatre BPrakash Panangaden ( Computing Laboratory, University of Oxford -- on sabbatical from School of Computer Science, McGill University )
- 16:00 Tuesday 5th October ( week 0, Michaelmas Term 2010 ) in Lecture Theatre BMarcelo Fiore ( Computer Laboratory, University of Cambridge )
- 14:00 Friday 25th June ( week 9, Trinity Term 2010 ) in Lecture Theatre B, Computing LaboratoryLucien Hardy ( Perimeter Institute )
- 14:00 Friday 18th June ( week 8, Trinity Term 2010 ) in Lecture Theater BBill Roscoe and Dana Scott ( Bill: OUCL, Dana: CMU and Visiting Fellow of Magdalen College )
- 14:00 Friday 4th June ( week 6, Trinity Term 2010 ) in Lecture Theatre BPasquale Malacaria ( Queen Mary )
- 14:00 Friday 21st May ( week 4, Trinity Term 2010 ) in Lecture Theatre BJames Worrell ( Oxford University Computing Laboratory )
- 14:00 Friday 14th May ( week 3, Trinity Term 2010 ) in Lecture Theatre BManfred Droste ( University of Leipzig )
- 14:00 Friday 7th May ( week 2, Trinity Term 2010 ) in Lecture Theatre B, Computing LaboratoryProfessor Steve Simon ( Department of Physics, University of Oxford )
- 14:00 Friday 30th April ( week 1, Trinity Term 2010 ) in Lecture Theater BJeremy Gibbons ( Oxford University Computing Laboratory )
- 14:00 Friday 23rd April ( week 0th week, Trinity Term 2010 ) in Lecture Theatre B, Computing LaboratoryProfessor Bart Jacobs ( Radboud University Nijmegen )
- 14:00 Wednesday 10th March ( week 8, Hilary Term 2010 ) in Lecture Theatre A, Computing LaboratoryTom Leinster ( University of Glasgow )
- 14:00 Friday 5th March ( week 7, Hilary Term 2010 ) in Lecture Theater BColin Stirling ( Laboratory for Foundations of Computer Science, University of Edinburgh )
- 14:00 Friday 26th February ( week 6, Hilary Term 2010 ) in Lecture Theatre BPhil Wadler ( University of Edinburgh )
- 14:00 Thursday 18th February ( week 5, Hilary Term 2010 ) in Lecture Theatre **A**, Computing LaboratoryPaul-André Melliès ( Laboratoire PPS, Paris VIII )
- 14:00 Friday 12th February ( week 4, Hilary Term 2010 ) in Lecture Theatre BLuca Cardelli ( Microsoft Research, Cambridge )
- 14:00 Friday 5th February ( week 3, Hilary Term 2010 ) in Lecture Theater BJosée Desharnais ( Laval Univesity, Visiting Oxford )
- 14:00 Friday 29th January ( week 2, Hilary Term 2010 ) in Lecture Theater BJonathan Barrett ( University of Bristol )
- 14:00 Friday 22nd January ( week 1, Hilary Term 2010 ) in Lecture Theater BAlex Rabinovich ( Tel Aviv University, Visiting Oxford )
- 14:00 Friday 4th December ( week 8, Michaelmas Term 2009 ) in Lecture Theatre BUlrich Schoepp ( LMU Munich )
- 14:00 Friday 27th November ( week 7, Michaelmas Term 2009 ) in Lecture Theatre BTimothy Porter ( University of Wales, Bangor )
- 14:00 Friday 20th November ( Michaelmas Term 2009 ) in Lecture Theatre B, Oxford University Computing LaboratoryDr Jonathan Oppenheim ( DAMTP, University of Cambridge )
- 14:00 Friday 13th November ( week 5, Michaelmas Term 2009 ) in Lecture Theatre BAndrew Pitts ( University of Cambridge )
- 14:00 Friday 6th November ( week 4, Michaelmas Term 2009 ) in Lecture Theatre BVlatko Vedral ( Professor of Quantum Information Science at University of Oxford, Professor of Physics at National University of Singapore )
- 14:00 Friday 30th October ( week 3, Michaelmas Term 2009 ) in Lecture Theatre B, Oxford University Computing LaboratoryDr John Morton ( Department of Materials, University of Oxford )
- 14:00 Friday 23rd October ( week 2, Michaelmas Term 2009 ) in Lecture Theatre BProfessor Angus Macintyre FRS ( Mathematics Research Centre, Queen Mary University of London )
- 14:00 Friday 16th October ( week 1, Michaelmas Term 2009 ) in Lecture Theatre BVasileios Koutavas ( Trinity College Dublin )
- 16:30 Wednesday 30th September ( week -1, Michaelmas Term 2009 ) in Lecture Theater B (Joint with Departmental Seminar)Dexter Kozen ( Joseph Newton Pew, Jr. Professor in Engineering, Computer Science Department, Cornell University )
- 14:00 Friday 19th June ( week 8, Trinity Term 2009 ) in Lecture Theatre BJulian Gutierrez ( University of Edinburgh )
- 14:00 Friday 12th June ( week 7, Trinity Term 2009 ) in Lecture Theatre BEdith Elkind ( University of Southampton/ Nanyang Technological University )
- 14:00 Friday 5th June ( week 6, Trinity Term 2009 ) in Lecture Theatre BNick Bezhanishvili ( Imperial College )
- 14:00 Friday 29th May ( week 5, Trinity Term 2009 ) in Lecture Theatre BDirk Pattinson ( Imperial College )
- 14:00 Friday 22nd May ( week 4, Trinity Term 2009 ) in Lecture Theatre BNobuko Yoshida ( Imperial College )
- 14:00 Friday 15th May ( week 3, Trinity Term 2009 ) in Lecture Theatre BMartin Escardo ( University of Birmingham )
- 14:00 Friday 8th May ( week 2, Trinity Term 2009 ) in Lecture Theatre BStephan Kreutzer ( University of Oxford )
- 14:00 Friday 13th March ( week 8, Hilary Term 2009 ) in Lecture Theater BProf. Leslie Goldberg ( University of Liverpool )
- 14:00 Friday 6th March ( week 7, Hilary Term 2009 ) in Lecture Theater BEugenia Cheng ( University of Sheffield )
- 14:00 Friday 27th February ( week 6, Hilary Term 2009 ) in Lecture Theater BRenate Schmidt ( University of Manchester )
- 14:00 Friday 20th February ( week 5, Hilary Term 2009 ) in Lecture Theater BProf. Susan Stepney ( University of York )
- 12:00 Friday 13th February ( week 4, Hilary Term 2009 ) in Lecture Theater BNatasha Alechina ( University of Nottingham )
- 17:00 Thursday 5th February ( week 3, Hilary Term 2009 ) in Maths DepartmentOlivia Caramello ( University of Cambridge )
- 14:00 Friday 30th January ( week 2, Hilary Term 2009 ) in Lecture Theater BProf. Marta Kwiatkowska ( Computing Laboratory, University of Oxford )
- 14:00 Friday 23rd January ( week 1, Hilary Term 2009 ) in Lecture Theater BProf. Claudia Casadio ( University of Chieti, Italy )
- 14:00 Friday 5th December ( week 8, Michaelmas Term 2008 ) in Lecture Theater BAngus MacIntyre ( School of Mathematics, Queen Mary University of London )
- 14:00 Friday 28th November ( week 7, Michaelmas Term 2008 ) in Lecture Theater BIan Horrocks ( Computing Laboratory, University of Oxford )
- 14:00 Friday 21st November ( week 6, Michaelmas Term 2008 ) in Lecture Theater BAlex Simpson ( School of Informatics, University of Edinburgh )
- 17:00 Thursday 13th November ( week 5, Michaelmas Term 2008 ) in Mathematics Department, L3Bob Coecke ( Computing Laboratory, University of Oxford )
- 14:00 Friday 7th November ( week 4, Michaelmas Term 2008 ) in Lecture Theater BPaulo Oliva ( Department of Computer Science, Queen Mary University of London )
- 14:00 Friday 31st October ( week 3, Michaelmas Term 2008 ) in Lecture Theater BPaul Busch ( Department of Mathematics, University of York )
- 14:00 Friday 24th October ( week 2, Michaelmas Term 2008 ) in Lecture Theater BRoy Dyckhoff ( School of Computer Science, University of St Andrews. )
- 12:00 16th May ( Trinity Term 2008 )Bertfried Fauser ( University of Konstanz )
- 12:00 7th March ( Hilary Term 2008 )Barry Cooper ( Leeds )
- 14:00 Friday 29th February ( week 7, Hilary Term 2008 )Thorsten Altenkirch ( Nottingham )
- 14:00 Friday 8th February ( week 4, Hilary Term 2008 )Guy McCusker ( Bath )
- 14:00 Friday 1st February ( week 3, Hilary Term 2008 )Ian Horrocks ( OUCL )
- 14:00 Friday 25th January ( week 2, Hilary Term 2008 )Damien Woods ( UC Cork )
- 14:00 30th November ( week 8, Michaelmas Term 2007 )Wilfrid Hodges ( Queen Mary, London )
- 14:00 Friday 23rd November ( week 7, Michaelmas Term 2007 )Viv Kendon ( Leeds )
- 14:00 Friday 16th November ( week 6, Michaelmas Term 2007 )Tim Palmer ( ECMWF )
- 14:00 Friday 2nd November ( week 4, Michaelmas Term 2007 )Basil Hiley ( Birkbeck, London )
- 14:00 Friday 26th October ( week 3, Michaelmas Term 2007 )John Power ( Bath )
- 12:00 Friday 9th July 2007Alex Wilce ( Susquehana, US )
- 12:00 Friday 8th June ( week 7, Trinity Term 2007 )Dusko Pavlovic ( http://www.kestrel.edu/home/people/pavlovic/ )
- 12:00 1st June ( Trinity Term 2007 )Jacob Biamonte ( D-Wave and Harvard )
- 14:00 Friday 8th May ( week 3, Trinity Term 2007 )Keith van Rijsbergen ( University of Glasgow )
- 12:00 2nd March ( Hilary Term 2007 )Joachim de Lataillade ( PPS - Paris 7 )
- 12:00 Friday 9th February ( week 4, Hilary Term 2007 )Hannes Leitgeb ( Bristol - Philosophy )
- 12:00 Friday 2nd February ( Hilary Term 2007 )Maribel Fernández ( King's College London - Computing )
- 12:00 Friday 26th January ( week 2, Hilary Term 2007 )Misha Gavrilovich ( Humboldt Universitat Berlin - Mathematics )
- 12:00 Friday 8th December ( week 9, Michaelmas Term 2006 )Aram Harrow ( University of Bristol )
- 12:00 Friday 1st December ( week 8, Michaelmas Term 2006 )Rudiger Schack ( Royal Holloway, London )
- 12:00 Friday 3rd November ( week 4, Michaelmas Term 2006 )Boris Zilber ( Oxford, Mathematical Institute )
- 12:00 Friday 20th October ( week 2, Michaelmas Term 2006 )Georg Gottlob ( OUCL )
- 12:00 Friday 5th May ( week 2, Trinity Term 2006 )Mathiesen & Oliva ( Queen Mary, London )
- 12:00 Friday 3rd March ( week 7, Hilary Term 2006 )Pasquale Malacaria ( Queen Mary, London )
- 12:00 Friday 24th February ( week 6, Hilary Term 2006 )Emmanuel Haven ( University of Essex )
- 12:00 Friday 17th February ( week 5, Hilary Term 2006 )Stefan Milius ( University of Braunschweig, Germany )
- 12:00 Friday 10th February ( week 4, Hilary Term 2006 )Jens Eisert ( Imperial College, London )
- 12:00 3rd February ( week 3, Hilary Term 2006 )Stephen Clark ( OUCL )
- 12:00 Friday 27th January ( week 2, Hilary Term 2006 )Samson Abramsky ( OUCL )
- 12:00 Friday 20th January ( week 1, Hilary Term 2006 )Mathieu Marion ( University of Quebec at Montreal )
- 12:00 Friday 2nd December ( week 8, Michaelmas Term 2005 )Luke Ong ( Oxford University Computing Lab )
- 12:00 Friday 18th November ( week 6, Michaelmas Term 2005 )Jim Laird ( University of Sussex at Brighton )
- 12:00 Friday 11th November ( week 5, Michaelmas Term 2005 )Andrea Schalk ( University of Manchester )
- 12:00 Friday 4th November ( week 4, Michaelmas Term 2005 )Dan Ghica ( University of Birmingham )
- 12:00 Friday 28th October ( week 3, Michaelmas Term 2005 )Greg Restall ( University of Melbourne )
- 12:00 21st October ( week 2, Michaelmas Term 2005 )Andrzej Murawski ( OUCL )
- 12:00 14th October ( week 1, Michaelmas Term 2005 )Samson Abramsky ( OUCL )
- 12:00 29th July ( week 14, Trinity Term 2005 )Mai Gehrke ( New Mexico State University, US )
- 12:00 1st July ( week 10, Trinity Term 2005 )Michael Fellows ( University of Newcastle, Australia )
- 12:00 3rd June ( week 6, Trinity Term 2005 )Philippe Jorrand ( Leibniz Laboratory - Grenoble - France )
- 12:00 Friday 27th May ( week 5, Trinity Term 2005 )Dov Gabbay ( King's College London )
- 12:00 Friday 13th May ( week 3, Trinity Term 2005 )Simon Gay ( University of Glasgow )
- 12:00 Monday 20th December ( week 11, Michaelmas Term 2004 )Louis H Kauffman ( University of Illinois at Chicago )
- 12:00 Friday 17th December ( week 10, Michaelmas Term 2004 )Frank Valckenborgh ( Macquarie University, Sydney, Australia )
- 12:00 Friday 3rd December ( week 8, Michaelmas Term 2004 )David Pym ( University of Bath )
- 12:00 Friday 26th November ( week 7, Michaelmas Term 2004 )Christopher J Mulvey ( University of Sussex/University of Cambridge )
- 12:00 Friday 19th November ( week 6, Michaelmas Term 2004 )Basil Hiley ( Birkbeck, London )
- 12:00 Friday 12th November ( week 5, Michaelmas Term 2004 )Michael Huth ( Imperial College, London )
- 12:00 Friday 5th November ( week 4, Michaelmas Term 2004 )Mike Smyth ( Imperial College, London )
- 12:00 Friday 29th October ( week 3, Michaelmas Term 2004 )Stephen Cameron ( Oxford University )
- 12:00 Friday 22nd October ( week 2, Michaelmas Term 2004 )Martin H Escardo ( University of Birmingham )
- 12:00 Friday 15th October ( week 1, Michaelmas Term 2004 )Jonathan Gratus ( University of Wales at Bangor )