# Verification Seminars

Unless otherwise stated, the seminars are on Wednesdays at 11:00. If you want to volunteer to give a seminar, please contact Shaull Almagor and Michaël Cadilhac If you would like to be reminded of forthcoming seminars, please subscribe to the concurrency mailing list by emailing concurrency-subscribe@maillist.ox.ac.uk.

Upcoming seminarsPrevious seminars

Subscribe to this seminar series calendar.

- 11:00 27th June 2018 in Tony Hoare Room, RHBPierre Ganty ( IMDEA Madrid )
- 11:00 14th June ( week 8, Trinity Term 2018 ) in 051Michaël Cadilhac ( University of Oxford )
- 11:00 Thursday 7th June ( week 7, Trinity Term 2018 ) in 051Shaull Almagor ( University of Oxford )
- 11:00 Wednesday 6th June ( week 6, Trinity Term 2018 ) in 051Prakash Panangaden
- 11:00 Thursday 31st May ( week 6, Trinity Term 2018 ) in Room 441 - Dept. of Computer ScienceMatthias Heizmann ( University of Freiburg, Germany )
- 11:00 Thursday 24th May ( week 5, Trinity Term 2018 ) in 051Pascale Gourdeau ( University of Oxford )
- 11:00 17th May ( week 4, Trinity Term 2018 ) in Room 441 - Dept. of Computer SciencePhilippe Schnoebelen ( ENS Paris-Saclay )
- 11:00 Wednesday 2nd May ( week 2, Trinity Term 2018 ) in 051Aditya Nori ( Microsoft Research Cambridge )
- 11:00 Tuesday 1st May ( week 2, Trinity Term 2018 ) in LTB in Department of Computer ScienceKristin Yvonne Rozier ( Iowa State University )
- 11:00 Thursday 26th April ( week 1, Trinity Term 2018 ) in Room 441 - Dept. of Computer ScienceThomas Zeume ( TU Dortmund )
- 11:00 Monday 23rd April 2018 in Room 441 - Dept. of Computer ScienceArtur Jeż ( University of Wrocław )
- 14:00 Wednesday 18th April ( week 0, Trinity Term 2018 ) in 051Prof. Sean Andersson ( Boston University )
- 11:00 Thursday 29th March ( week 11th, Hilary Term 2018 ) in Room 441 - Dept. of Computer ScienceMichael Blondin ( TU Munich )
- 11:00 Thursday 8th March ( week 8, Hilary Term 2018 ) in Tony Hoare Room - Robert Hooke BuildingBenedikt Bollig ( Centre National de la Recherche Scientifique (CNRS) )
- 11:00 Thursday 1st March ( week 7, Hilary Term 2018 ) in Tony Hoare Room - Robert Hooke BuildingSam van Gool ( University of Amsterdam )
- 11:00 22nd February ( week 6, Hilary Term 2018 ) in Tony Hoare Room - Robert Hooke BuildingPierre Alain Reynier ( Aix-Marseille University )
- 11:00 15th February ( week 5, Hilary Term 2018 ) in Tony Hoare Room - Robert Hooke BuildingGuy Avni ( IST Austria )
- 11:00 Tuesday 13th February ( week 5, Hilary Term 2018 ) in Room 441 - Dept. of Computer ScienceDist. Prof. Yaroslav D. Sergeyev ( University of Calabria )
- 11:00 Thursday 8th February ( week 4, Hilary Term 2018 ) in Tony Hoare Room - Robert Hooke BuildingCezara Dragoi ( Ecole Normale Supérieure )
- 11:00 5th February 2018Oana Andrei
- 11:00 Thursday 5th February ( week 4, Hilary Term 2018 ) in Tony Hoare Room - Robert Hooke BuildingDr Oana Andrei ( University of Glasgow )
- 11:00 1st February ( week 3, Hilary Term 2018 ) in Tony Hoare Room in RHBLaure Daviaud ( University of Warwick )
- 11:00 Thursday 25th January ( week 2, Hilary Term 2018 ) in Tony Hoare Room in RHBFilip Mazowiecki ( University of Bordeaux )
- 11:00 Thursday 18th January ( week 1, Hilary Term 2018 ) in Tony Hoare Room in RHBMickael Randour ( Université de Mons (UMONS), Belgium )
- 16:00 Monday 18th December 2017 in Room 278, Wolfson BuildingArmin Biere ( Johannes Kepler University Linz )
- 15:00 Wednesday 13th December 2017 in Room 051Justin Hsu
- 11:00 Thursday 30th November ( week 30/11/2017, Michaelmas Term 2017 ) in LTA, Wolfson BuildingBruno Guillon ( University of Milan )
- 11:00 Thursday 23rd November ( week 7, Michaelmas Term 2017 ) in LTA, Wolfson BuildingDominik Wojtczak ( University of Liverpool )
- 11:00 Thursday 16th November ( week 6, Michaelmas Term 2017 ) in LTA, Wolfson BuildingEmmanuel Filiot ( Université Libre de Bruxelles )
- 11:00 Thursday 9th November ( week 5, Michaelmas Term 2017 ) in LTA, Wolfson BuildingSandra Kiefer ( RWTH Aachen )
- 11:00 Wednesday 8th November 2017 in Room 441, Wolfson BuildingPaul Bell ( Liverpool John Moores University )
- 14:00 Thursday 26th October ( week 3, Michaelmas Term 2017 ) in Lecture Theatre B, Wolfson BuildingNils Jansen ( Radboud University Nijmegen )
- 11:00 Thursday 12th October ( week 1, Michaelmas Term 2017 ) in Room 051, Wolfson BuildingMichał Pilipczuk ( University of Warsaw )
- 14:00 Thursday 7th September 2017 in Room 051, Wolfson Building, Parks RoadNicolas Papernot ( Pennsylvania State University )
- 11:00 Tuesday 5th September ( week -4, Michaelmas Term 2017 ) in Room 051, Wolfson BuildingMarkus Rabe ( UC Berkeley )
- 11:00 Monday 24th July ( Trinity Term 2017 ) in Room 051, Wolfson Building, Parks RoadPavel Semukhin ( University of Liverpool )
- 11:00 Friday 16th June ( week 8, Trinity Term 2017 ) in Room 051, Wolfson Building, Parks RoadGeorg Zetzsche ( LSV Cachan )
- 11:00 Wednesday 7th June ( week 7, Trinity Term 2017 ) in Room 051, Wolfson Building, Parks RoadRanko Lazic ( University of Warwick )
- 11:00 Wednesday 31st May ( week 6, Trinity Term 2017 ) in Room 051, Wolfson Building, Parks RoadLuc Segoufin ( ENS de Cachan )
- 11:00 Wednesday 24th May ( week 5, Trinity Term 2017 ) in Room 051, Wolfson Building, Parks RoadMichael Blondin ( Technical University of Munich )
- 11:00 Thursday 18th May ( week 4, Trinity Term 2017 ) in Room 277, OeRC, 7 Keble RoadMarcelo Sousa ( University of Oxford )
- 11:00 Wednesday 17th May ( week 4, Trinity Term 2017 ) in Room 051, Wolfson Building, Parks RoadMikolaj Bojańczyk ( University of Warsaw )
- 11:00 Wednesday 10th May ( week 3, Trinity Term 2017 ) in Room 441, Wolfson Building, Parks RoadDaniele Magazzeni ( King's College London )
- 11:00 Wednesday 3rd May ( week 2, Trinity Term 2017 ) in Room 441, Wolfson Building, Parks RoadOcan Sankur ( Irisa, Rennes )
- 11:00 Wednesday 26th April ( week 1, Trinity Term 2017 ) in Room 051, Wolfson Building, Parks RoadCharles Paperman ( Paris Diderot University )
- 11:00 Wednesday 19th April ( week 0, Trinity Term 2017 ) in Room 051, Wolfson Building, Parks RoadJoost-Pieter Katoen ( RWTH Aachen University )
- 11:00 Monday 10th April 2017 in Room 051, Wolfson Building, Parks RoadJeffrey Shallit ( University of Waterloo )
- 11:00 Wednesday 8th March ( Hilary Term 2017 ) in Room 051, Wolfson BuildingGuillermo Perez ( University of Oxford )
- 11:00 Friday 3rd March ( Hilary Term 2017 ) in Room 441, Wolfson Building, Parks RoadChris Myers ( University of Utah )
- 11:00 Monday 27th February ( week 7, Hilary Term 2017 ) in Room 441, Wolfson Building, Parks RoadChristel Baier ( TU Dresden )
- 11:00 Wednesday 22nd February ( week 6, Hilary Term 2017 ) in Room 441, Wolfson Building, Parks RoadPatrick Totzke ( Laboratory for Foundations of Computer Science, Edinburgh )
- 11:00 Wednesday 15th February ( week 5, Hilary Term 2017 ) in Room 441, Wolfson Building, Parks RoadTim Muller ( University of Oxford )
- 14:00 Monday 13th February ( Hilary Term 2017 ) in Room 105, Wolfson BuildingMadalina Erascu ( West University of Timisoara, Romania & Institute e-Austria Timisoara, Romania )
- 11:00 Wednesday 8th February ( week 4, Hilary Term 2017 )Benjamin Kaminski
- 11:00 Wednesday 25th January ( week 2, Hilary Term 2017 ) in Room 441, Wolfson BuildingPetr Jančar
- 11:00 Wednesday 18th January ( week 1, Hilary Term 2017 ) in Room 051, Wolfson BuildingNikos Gorogiannis ( Middlesex University )
- 11:00 Thursday 15th December ( week 10, Michaelmas Term 2016 ) in Room 441, Wolfson BuildingPiotrek Hofman ( University of Warsaw )
- 11:00 Wednesday 7th December ( week 9, Michaelmas Term 2016 ) in Room 441, Wolfson BuildingDmitry Chistikov ( University of Oxford )
- 11:00 Wednesday 30th November ( week 8, Michaelmas Term 2016 ) in Room 441, Wolfson BuildingNikos Tzevelekos ( Queen Mary University of London )
- 11:00 Wednesday 23rd November ( week 7, Michaelmas Term 2016 ) in Room 441, Wolfson BuildingMahsa Shirmohammadi ( University of Oxford )
- 11:00 Wednesday 16th November ( week 6, Michaelmas Term 2016 ) in Room 441, Wolfson BuildingGuilhem Gamard
- 11:00 Wednesday 9th November ( week 5, Michaelmas Term 2016 ) in Room 441, Wolfson BuildingMartin Fraenzle ( University of Oldenburg )
- 11:00 Wednesday 2nd November ( week 4, Michaelmas Term 2016 ) in Room 441, Wolfson BuildingSylvain Schmitz
- 11:00 Wednesday 26th October ( week 3, Michaelmas Term 2016 ) in Room 441, Wolfson BuildingWojciech Czerwinski ( University of Warsaw )
- 11:00 Wednesday 19th October ( week 2, Michaelmas Term 2016 ) in Room 441, Wolfson BuildingChristoph Haase ( University of Oxford )
- 11:00 Wednesday 12th October ( week 1, Michaelmas Term 2016 ) in Room 441, Wolfson BuildingMarielle Stoelinga ( University of Twente, Netherlands )
- 11:00 Monday 25th July ( week 14, Trinity Term 2016 ) in Room 441, Wolfson BuildingWeiwei Ai ( University of Auckland, New Zealand )
- 11:00 Wednesday 13th July 2016 in 441Romain Brenguier ( University of Oxford )
- 11:00 Wednesday 15th June ( Trinity Term 2016 )Michaël Cadilhac ( Universit of Tübingen, Germany )
- 11:00 Tuesday 14th June ( week 8, Trinity Term 2016 ) in Room 441, Wolfson BuildingVictor Marsault ( IRIF, Paris 7 )
- 15:00 Monday 13th June ( week 8, Trinity Term 2016 ) in Room 441, Wolfson BuildingScott Sanner ( University of Toronto )
- 11:00 Thursday 9th June ( week 7, Trinity Term 2016 ) in Room 441Florian Bruse ( Universität Kassel )
- 12:00 Wednesday 8th June ( week 7th Week, Trinity Term 2016 ) in Imperial College, LondonJoel Ouaknine ( University of Oxford )
- 11:00 Wednesday 1st June ( week 6th Week, Trinity Term 2016 ) in 441Edon Kelmendi ( University of Bordeaux )
- 11:00 Wednesday 25th May ( Trinity Term 2016 ) in 441Fabio Mogavero ( University of Oxford )
- 15:00 Friday 20th May ( week 4, Trinity Term 2016 ) in Lecture Theatre A, Wolfson Building, Parks RoadInsup Lee ( University of Pennsylvania )
- 11:00 Wednesday 18th May ( week 4th Week, Trinity Term 2016 ) in Lecture Theatre B, Wolfson Building, Parks RoadVincent Penelle ( Royal Holloway University of London )
- 11:00 Wednesday 11th May ( Trinity Term 2016 ) in 441Damien Pous ( CNRS, ENS Lyon )
- 11:00 Wednesday 4th May ( week 2, Trinity Term 2016 ) in Room 441, Wolfson BuildingFranck van Breugel ( York University, Toronto, Canada )
- 14:00 Tuesday 3rd May ( week 2, Trinity Term 2016 ) in Room 051Alessandro D’Innocenzo ( University of L’Aquila )
- 11:00 Wednesday 27th April ( Trinity Term 2016 ) in 441Thomas Colcombet ( IRIF, Université Paris 7 )
- 11:00 Monday 25th April ( week 1, Trinity Term 2016 ) in Room 441, Wolfson BuildingAnthony Widjaja Lin ( Yale-NUS College, Singapore )
- 11:00 Wednesday 20th April ( week 0, Trinity Term 2016 ) in Room 441, Wolfson BuildingMahsa Shirmohammadi ( University of Oxford )
- 11:00 Wednesday 30th March ( week 11, Hilary Term 2016 ) in Room 441, Wolfson BuildingRomain Brenguier ( University of Oxford )
- 11:00 Wednesday 9th March ( week 8, Hilary Term 2016 ) in 441Antonio Filieri ( Imperial College London )
- 16:00 Wednesday 2nd March ( Hilary Term 2016 ) in 051Gabriele Puppis ( LaBRI, Bordeaux, France )
- 11:00 Wednesday 24th February ( Hilary Term 2016 ) in Tony Hoare Room (Robert Hook Building)Bill Roscoe ( University of Oxford )
- 11:00 Wednesday 17th February ( Hilary Term 2016 ) in 441Amaury Pouly & João Sousa Pinto ( University of Oxford )
- 11:00 Wednesday 10th February ( Hilary Term 2016 ) in 051Joël Ouaknine ( University of Oxford )
- 11:00 Wednesday 3rd February ( Hilary Term 2016 ) in 441Morteza Lahijanian ( University of Oxford )
- 11:00 Wednesday 27th January ( Hilary Term 2016 ) in 051Romain Brenguier ( University of Oxford )
- 11:00 Wednesday 20th January ( Hilary Term 2016 ) in 051Nathanaël Fijalkow ( University of Oxford )
- 11:00 Wednesday 2nd December ( week 8, Michaelmas Term 2015 ) in Room 441Amaury Pouly ( University of Oxford, Department of Computer Science )
- 11:00 Wednesday 25th November ( week 7, Michaelmas Term 2015 ) in Room 441Richard Mayr ( University of Edinburgh; currently on sabbatical at Oxford )
- 16:00 Wednesday 4th November ( week 4, Michaelmas Term 2015 ) in Lecture Theatre B, Wolfson Building, Parks RoadTimo Jolivet ( Institut de Mathématiques de Toulouse, Université Paul Sabatier )
- 11:00 Wednesday 4th November ( Michaelmas Term 2015 ) in Room 441Jana Tumova ( KTH Royal Institute of Technology )
- 16:00 Tuesday 3rd November ( Michaelmas Term 2015 ) in Lecture Theatre A, Department of Computer ScienceDr. Kenneth W. Regan ( Department of CSE, University at Buffalo (SUNY) )
- 11:00 Friday 30th October ( Michaelmas Term 2015 ) in Room 441Mads Dam ( Dept. of Theoretical Computer Science, KTH Royal Institute of Technology )
- 11:00 Wednesday 7th October ( week 0, Michaelmas Term 2015 ) in 051Christoph Haase ( ENS Cachan )
- 11:00 Wednesday 15th July ( week 12, Trinity Term 2015 ) in Room 441, Wolfson BuildingRadu Grigore ( University of Oxford )
- 11:00 Wednesday 24th June ( week 9, Trinity Term 2015 ) in Lecture Theatre B, Wolfson BuildingAnthony Lin ( Yale-NUS College, Singapore )
- 12:00 Thursday 18th June ( week 8, Trinity Term 2015 ) in Lecture Theatre B, Wolfson BuildingGennaro Parlato ( University of Southampton )
- 11:00 Thursday 18th June ( week 8, Trinity Term 2015 ) in Lecture Theatre B, Wolfson BuildingTimo Jolivet ( Institut de Mathématiques de Toulouse, Université Paul Sabatier )
- 11:00 Wednesday 3rd June ( week 6, Trinity Term 2015 ) in Lecture Theatre B, Wolfson BuildingNathanael Fijalkow ( LIAFA, Universite Paris Diderot )
- 11:00 Tuesday 2nd June ( week 6, Trinity Term 2015 ) in Lecture Theatre B, Wolfson BuildingJoanna Ochremiak ( Insitute of Informatics, University of Warsaw )
- 11:00 Wednesday 27th May ( week 5, Trinity Term 2015 ) in Lecture Theatre B, Wolfson BuildingAmaury Pouly ( LIX Polytechnique, France )
- 11:00 Tuesday 26th May ( week 5, Trinity Term 2015 ) in Lecture Theatre B, Wolfson BuildingRoopsha Samanta ( Institute of Science and Technology, Austria )
- 11:00 Monday 18th May ( week 4, Trinity Term 2015 ) in Room 051, Wolfson BuildingDmitry Chistikov ( Max Planck Institute for Software Systems, Germany )
- 11:00 Wednesday 13th May ( week 3, Trinity Term 2015 ) in Lecture Theatre B, Wolfson BuildingJohn O'Leary ( Intel Corporation )
- 11:00 Tuesday 12th May ( week 3, Trinity Term 2015 ) in Room 051, Wolfson BuildingAlberto Griggio ( Fondazione Bruno Kessler, Trento )
- 11:00 Wednesday 6th May ( week 2, Trinity Term 2015 ) in Lecture Theatre B, Wolfson BuildingSylvain Schmitz ( University of Warwick )
- 11:00 Wednesday 29th April ( week 1, Trinity Term 2015 ) in Room 441, Wolfson BuildingAntonia Lechner ( University of Oxford )
- 14:00 Friday 24th April ( week 0, Trinity Term 2015 ) in Lecture Theatre B, Wolfson BuildingDmitry Chistikov ( Max Planck Institute for Software Systems, Kaiserslautern, Germany )
- 14:00 Friday 10th April ( week 12, Hilary Term 2015 ) in Room 441, Wolfson BuildingOcan Sankur ( Universite Libre de Bruxelles )
- 13:00 Tuesday 24th March ( week 10, Hilary Term 2015 ) in Room 441, Wolfson BuildingAlex Gyori ( University of Illinois at Urbana-Champaign )
- 11:00 Friday 20th March ( week 9, Hilary Term 2015 ) in Lecture Theatre A, Wolfson BuildingAlexey Gotsman ( IMDEA Software Institute, Madrid )
- 12:00 Wednesday 11th March ( week 8, Hilary Term 2015 ) in Room 105 (Ground floor), Wolfson BuildingParitosh Pandya ( Tata Institute of Fundamental Research )
- 11:00 Wednesday 4th March ( week 7, Hilary Term 2015 ) in Lecture Theatre A, Wolfson BuildingSarah Winter ( RWTH Aachen )
- 16:00 Monday 2nd March ( week 7, Hilary Term 2015 ) in Lecture Theatre A, Wolfson BuildingRoland Meyer ( TU Kaiserslautern )
- 11:00 Wednesday 11th February ( week 4, Hilary Term 2015 ) in Lecture Theatre A, Wolfson BuildingEzio Bartocci ( TU Wien )
- 16:00 Friday 30th January ( week 2, Hilary Term 2015 ) in Lecture Theatre A, Wolfson BuildingMatt Staats ( Google )
- 11:00 Wednesday 28th January ( week 2, Hilary Term 2015 ) in Lecture Theatre A, Wolfson BuildingTim King ( Verimag, Grenoble )
- 15:00 Monday 19th January ( week 1, Hilary Term 2015 ) in Lecture Theatre B, Wolfson BuildingVeselin Raychev ( ETH Zurich )
- 11:00 26th November ( week 7, Michaelmas Term 2014 ) in Room 051, Wolfson Building,Dr Mirco Tribastone ( University of Southampton )
- 11:00 Wednesday 19th November ( week 6, Michaelmas Term 2014 ) in Room 051Hristina Palikareva ( Imperial College, London )
- 14:00 Friday 31st October ( week 3, Michaelmas Term 2014 ) in Room 441Dr Wei Le ( Iowa State University )
- 11:00 Wednesday 29th October ( week 3, Michaelmas Term 2014 ) in Room 051Guido Sanguinetti ( University of Edinburgh )
- 11:00 Wednesday 8th October ( week 0, Michaelmas Term 2014 ) in Lecture Theatre APetr Novotny
- 11:00 Wednesday 30th July 2014 in LT ANikos Gorogiannis
- 11:00 Monday 7th July 2014 in 051Benoit Barbot ( ENS Cachan )
- 11:00 Wednesday 25th June ( week 9, Trinity Term 2014 ) in 051Milan Vojnovic ( Microsoft Research Cambridge )
- 11:00 Tuesday 24th June ( week 9, Trinity Term 2014 ) in LT AMahsa Shirmohammadi ( ENS Cachan )
- 11:00 Wednesday 18th June ( week 8, Trinity Term 2014 ) in 051Stefan Kiefer ( University of Oxford )
- 15:30 Thursday 1st May ( week 1, Trinity Term 2014 ) in 051Liana Hadarean ( New York University )
- 11:00 Wednesday 30th April ( week 1, Trinity Term 2014 ) in 051Ines Marusic ( University of Oxford )
- 12:00 Tuesday 22nd April ( week 0, Trinity Term 2014 ) in 441Albert M. K. Cheng ( University of Houston )
- 11:00 Tuesday 8th April 2014 in LTAInaki Sainz de Murieta Fuentes ( Imperial College London )
- 11:00 Thursday 6th March ( week 7, Hilary Term 2014 ) in LT AThomas Weidner ( Universität Leipzig )
- 11:00 Wednesday 5th March ( week 7, Hilary Term 2014 ) in 051Gavin Lowe ( University of Oxford )
- 11:00 Thursday 27th February ( week 6, Hilary Term 2014 ) in Lecture Theatre AKarin Quaas ( Universität Leipzig )
- 11:00 Wednesday 5th February ( week 3, Hilary Term 2014 ) in 051Radu Grigore ( University of Oxford )
- 15:00 Thursday 30th January ( week 2, Hilary Term 2014 ) in LT BBlaise Genest ( IRISA Lab, Rennes, France )
- 11:00 Wednesday 29th January ( week 2, Hilary Term 2014 ) in 051Cristian Riveros
- 11:00 Wednesday 22nd January ( week 1, Hilary Term 2014 ) in 051Neil Dalchau ( Microsoft Research Cambridge )
- 14:00 Wednesday 15th January ( week 0, Hilary Term 2014 ) in Lecture Theatre BLuca Cardelli ( Microsoft Research & Oxford University )
- 14:00 Tuesday 14th January ( week 0, Hilary Term 2014 ) in Lecture Theatre BPeter Ryan
- 11:00 Wednesday 4th December ( week 8, Michaelmas Term 2013 ) in Lecture Theatre BCorina Cirstea ( University of Southampton )
- 11:00 Monday 2nd December ( week 8, Michaelmas Term 2013 ) in 441Daniel Bundala ( University of Oxford )
- 11:00 Wednesday 27th November ( week 7, Michaelmas Term 2013 ) in Lecture Theatre BManfred Droste ( Universität Leipzig )
- 11:00 Tuesday 26th November ( week 7, Michaelmas Term 2013 ) in 441Jan Krčál ( Saarland University )
- 15:00 Monday 25th November ( week 7, Michaelmas Term 2013 ) in 051Pavithra Prabhakar ( IMDEA )
- 11:00 Wednesday 20th November ( week 6, Michaelmas Term 2013 ) in Lecture Theatre BThomas Gibson-Robinson ( University of Oxford )
- 11:00 Monday 18th November ( week 6, Michaelmas Term 2013 ) in 441Panagiotis Katsaros ( Aristotle University of Thessaloniki )
- 11:00 Wednesday 13th November ( week 5, Michaelmas Term 2013 ) in Lecture Theatre BAleksandra Jovanovic ( University of Oxford )
- 16:00 Thursday 7th November ( week 4, Michaelmas Term 2013 ) in 278Alastair Donaldson ( Imperial College London )
- 11:00 Wednesday 6th November ( week 4, Michaelmas Term 2013 ) in Lecture Theatre BMilan Ceska ( Masaryk University, Brno )
- 11:00 Wednesday 23rd October ( week 2, Michaelmas Term 2013 ) in Lecture Theatre BPeter Kim ( University of Oxford )
- 11:00 Wednesday 16th October ( week 1, Michaelmas Term 2013 ) in Lecture Theatre BNicolas Basset ( University of Oxford )
- 14:00 Monday 7th October ( week 0, Michaelmas Term 2013 ) in 441Marcus Gelderie ( RWTH Aachen )
- 14:00 Thursday 3rd October 2013 in Lecture Theatre BWilliam Kahan
- 11:00 Thursday 3rd October 2013 in Lecture Theatre BWilliam Kahan
- 14:00 Thursday 19th September 2013 in Lecture Theatre BJoost-Pieter Katoen
- 11:30 Thursday 5th September 2013 in 051Ruben Martins
- 11:30 Wednesday 21st August 2013 in 051James Brotherston ( UCL )
- 11:30 Wednesday 3rd July 2013 in 051Sayan Mitra
- 11:30 Wednesday 19th June ( week 9, Trinity Term 2013 ) in 051Katya Komendantskaya ( University of Dundee )
- 11:30 Thursday 13th June ( week 8, Trinity Term 2013 ) in 051Paul Hunter
- 11:30 Wednesday 12th June ( week 8, Trinity Term 2013 ) in 051Ranko Lazic ( University of Warwick )
- 11:30 Wednesday 5th June ( week 7, Trinity Term 2013 ) in 051Martin Fraenzle ( Carl von Ossietzky Universität Oldenburg )
- 11:00 Tuesday 28th May ( week 6, Trinity Term 2013 ) in Lecture Theatre A, Wolfson Building, Department of Computer ScienceRiccardo Proietti ( Luigi Sacco Hospital of Milan )
- 11:30 Wednesday 22nd May ( week 5, Trinity Term 2013 ) in 051Daniel Bundala ( University of Oxford )
- 11:30 Wednesday 15th May ( week 4, Trinity Term 2013 ) in 051Hsi-Ming Ho ( University of Oxford )
- 11:30 Wednesday 1st May ( week 2, Trinity Term 2013 ) in 051Ventsislav Chonev ( University of Oxford )
- 11:30 Wednesday 24th April ( week 1, Trinity Term 2013 ) in 441Björn Wachter ( University of Oxford )
- 11:30 Wednesday 13th March ( week 9, Hilary Term 2013 ) in Tony-Hoare Room, Robert-Hooke BuildingJoachim Klein and Sascha Klüppelholz ( Technische Universität Dresden )
- 11:30 Monday 11th March ( week 9, Hilary Term 2013 ) in 278Domagoj Babic
- 11:30 Friday 8th March ( week 8, Hilary Term 2013 ) in 278Hongyi Chen ( Louisiana State University )
- 11:30 Wednesday 6th March ( week 8, Hilary Term 2013 ) in 051Nassim Seghir ( University of Oxford )
- 16:00 Wednesday 30th January ( week 3, Hilary Term 2013 ) in 051Matt Lewis ( University of Oxford )
- 16:00 Thursday 24th January ( week 2, Hilary Term 2013 ) in 441Jean Cardinal ( Université libre de Bruxelles )
- 11:30 Monday 21st January ( week 2, Hilary Term 2013 ) in 051Luca Bortolussi
- 11:30 Wednesday 12th December ( week 10, Michaelmas Term 2012 ) in 051Nir Piterman ( University of Leicester )
- 11:30 Thursday 29th November ( week 8, Michaelmas Term 2012 ) in 278Marc Brockschmidt ( MSR Cambridge )
- 11:30 Wednesday 28th November ( week 8, Michaelmas Term 2012 ) in Christopher Strachey Room, Robert Hooke BuildingDr. Olga Tveretina ( University of Hertfordshire )
- 11:30 Wednesday 14th November ( week 6, Michaelmas Term 2012 ) in Lecture Theatre ABen Moszkowski
- 11:30 Monday 12th November ( week 6, Michaelmas Term 2012 ) in Lecture Theatre ADavid Monniaux ( CNRS, VERIMAG )
- 11:30 Wednesday 31st October ( week 4, Michaelmas Term 2012 ) in Lecture Theatre ACurtis Kendall Madsen ( MSR Cambridge )
- 14:00 Friday 5th October ( week 0, Michaelmas Term 2012 ) in 051Sriram Sankaranarayanan ( U Colorado )
- 11:30 Wednesday 26th September 2012 in 051John McCabe-Dansted ( University of Western Australia )
- 11:30 Wednesday 12th September 2012 in 051Stefan Kiefer ( University of Oxford )
- 11:30 Thursday 6th September 2012 in 147Peter Schrammel ( INRIA )
- 11:30 Wednesday 5th September ( Trinity Term 2012 ) in 147S. Akshay ( IRISA/ENS Cachan Bretagne )
- 11:30 Wednesday 29th August ( Trinity Term 2012 ) in 147Alexander Kaiser
- 15:00 Thursday 9th August ( Trinity Term 2012 ) in TBAMohammad Raza ( MSR Cambridge )
- 11:30 Wednesday 4th July 2012 in 147Friedrich Gretz ( RWTH Aachen )
- 14:00 Tuesday 3rd July 2012 in 147Anvesh Komuravelli ( CMU )
- 11:30 Wednesday 20th June ( week 9, Trinity Term 2012 ) in 147Lucia Gallina ( DAIS, University Ca' Foscari of Venice )
- 11:30 Wednesday 6th June ( week 7, Trinity Term 2012 ) in 147Nathalie Bertrand ( INRIA )
- 11:30 Wednesday 23rd May ( week 5, Trinity Term 2012 ) in 147Victor Khomenko
- 11:30 Wednesday 9th May ( week 3, Trinity Term 2012 ) in 147Philippe Schnoebelen
- 11:30 Wednesday 2nd May ( week 2, Trinity Term 2012 ) in 147Nassim Seghir ( University of Oxford )
- 12:00 Wednesday 25th April ( week 1, Trinity Term 2012 ) in 147Subodh Sharma ( University of Oxford )
- 11:30 Wednesday 18th April ( week 0, Trinity Term 2012 ) in 147Sylvain Schmitz ( LSV, Cachan )
- 11:30 Wednesday 4th April 2012 in 147Juan Antonio Navarro Pérez
- 11:30 Wednesday 21st March ( week 10, Hilary Term 2012 ) in 147Marco Diciolla ( University of Oxford )
- 14:00 Tuesday 13th March ( week 9, Hilary Term 2012 ) in 147Stefan Kiefer ( University of Oxford )
- 11:30 Wednesday 7th March ( week 8, Hilary Term 2012 ) in 051Gordon Brebner ( Xilinx Labs )
- 11:30 Wednesday 29th February ( week 7, Hilary Term 2012 ) in 051Aistis Simaitis ( University of Oxford )
- 14:00 Friday 24th February ( week 6, Hilary Term 2012 ) in 380Remi Bonnet ( ENS Cachan )
- 11:30 Wednesday 22nd February ( week 6, Hilary Term 2012 ) in 051Tony Hoare ( Microsoft Research )
- 11:30 Wednesday 15th February ( week 5, Hilary Term 2012 ) in 051Daniel Bundala ( University of Oxford )
- 11:30 Wednesday 1st February ( week 3, Hilary Term 2012 ) in 051Antonin Kucera ( Masaryk University, Brno, Czech Republic )
- 11:30 Tuesday 17th January ( week 1, Hilary Term 2012 ) in 278Gennaro Parlato ( University of Southampton )
- 11:30 Wednesday 30th November ( week 8, Michaelmas Term 2011 ) in 147Thomas Gothel ( TU Berlin )
- 11:30 Wednesday 23rd November ( week 7, Michaelmas Term 2011 ) in 147Nachiket Kapre
- 14:00 Wednesday 9th November ( week 5, Michaelmas Term 2011 ) in 278Alberto Griggio ( Fondazione Bruno Kessler )
- 11:30 Wednesday 9th November ( week 5, Michaelmas Term 2011 ) in Room 441Jeremy Gibbons ( Department of Computer Science, University of Oxford )
- 16:00 Friday 4th November ( week 4, Michaelmas Term 2011 ) in 278Alexander Malkis
- 11:30 Wednesday 2nd November ( week 4, Michaelmas Term 2011 ) in Room 147Radu Grigore ( Queen Mary University of London )
- 14:00 Tuesday 1st November ( week 4, Michaelmas Term 2011 ) in Room 278Vincent Nimal
- 11:30 Thursday 1st September ( Trinity Term 2011 ) in Room 147Praveen Manjunatha
- 11:30 Wednesday 31st August ( Trinity Term 2011 ) in Room 147Joel Ouaknine ( University of Oxford )
- 11:30 Tuesday 19th July ( Trinity Term 2011 ) in Room 380Professor Ruby Lee ( Princeton University )
- 11:30 Thursday 14th July ( Trinity Term 2011 ) in Room 147Mark Josephs ( Warwick University )
- 11:30 Wednesday 13th July ( Trinity Term 2011 ) in Room 147Nikos Gorogiannis
- 11:30 Wednesday 6th July ( week 10, Trinity Term 2011 ) in Room 147, Dept Computer ScienceDaniel Schwartz-Narbonne ( Princeton University )
- 11:30 Wednesday 29th June ( week 9, Trinity Term 2011 ) in Room 147, Dept of Computer Science, University of OxfordJim Huan-Pu Kuo
- 14:00 Thursday 16th June ( week 7, Trinity Term 2011 ) in Room 147Thomas Gibson-Robinson ( Dept. of Computer Science, University of Oxford )
- 11:30 Wednesday 15th June ( week 7, Trinity Term 2011 ) in Room 147, Department of Computer ScienceJim Whitehead ( Dept Computer Science, University of Oxford )
- 11:30 Wednesday 8th June ( week 6, Trinity Term 2011 ) in Room 147, Department of Computer ScienceBill Roscoe ( Dept Computer Science, University of Oxford )
- 11:30 Wednesday 25th May ( week 4, Trinity Term 2011 ) in Room 147, Department of Computer ScienceLong Nguyen ( Department of Computer Science, University of Oxford )
- 11:30 Wednesday 11th May ( week 2, Trinity Term 2011 ) in Room 147, Oxford University Computing LaboratoryUday Khedker ( IIT Bombay )
- 14:00 Wednesday 6th April ( Hilary Term 2011 ) in Room 147, Oxford University Computing LaboratoryCristian Cadar
- 11:00 Tuesday 22nd March ( week 10, Hilary Term 2011 ) in Room 147, Oxford University Computing LaboratoryMiriam Leeser ( Northeastern University )
- 11:30 9th March ( week 8, Hilary Term 2011 ) in Room 147, Oxford University Computing LaboratoryLong Nguyen ( OUCL )
- 12:00 Friday 4th March ( week 7, Hilary Term 2011 ) in Lecture Theatre A, Oxford University Computing LaboratoryTony Hoare
- 11:30 23rd February ( week 6, Hilary Term 2011 ) in Room 147, Oxford University Computing LaboratoryBill Roscoe ( OUCL )
- 11:30 Wednesday 16th February ( week 5, Hilary Term 2011 ) in Room 147, Oxford University Computing LaboratoryClemens Ley ( OUCL )
- 11:30 Wednesday 9th February ( week 4, Hilary Term 2011 ) in Room 147, Oxford University Computing LaboratorySuleiman Abu Kharmeh ( University of Bristol )
- 11:00 Monday 7th February ( week 4, Hilary Term 2011 ) in Room 478, Oxford University Computing LaboratoryDr. Igor Konnov ( Lomonosov Moscow State University )
- 11:30 1st December ( week 8, Michaelmas Term 2010 ) in Room 147, Oxford University Computing LaboratoryBill Roscoe ( OUCL )
- 11:30 Wednesday 24th November ( week 7, Michaelmas Term 2010 ) in Room 147, Oxford University Computing LaboratorySchmuel Ur
- 11:30 Wednesday 3rd November ( week 3, Michaelmas Term 2010 ) in Room 147, Oxford University Computing LaboratoryHenri Hansen ( Tampere University of Technology )
- 11:30 Wednesday 27th October ( week 3, Michaelmas Term 2010 ) in Rom 147, Oxford University Computing LaboratoryGavin Lowe ( OUCL )
- 11:30 Thursday 14th October ( week 1, Michaelmas Term 2010 ) in Room 147, Oxford University Computing LaboratoryDirk Beyer
- 11:30 Wednesday 13th October ( week 1, Michaelmas Term 2010 ) in Room 147, Oxford University Computing LaboratoryManeesh Khattri ( Oxford University Computing Laboratory )
- 11:30 Thursday 16th September ( Michaelmas Term 2010 ) in Room 147, Oxford University Computing LaboratoryOndřej Šerý
- 15:00 Wednesday 15th September ( Michaelmas Term 2010 ) in Room 278, Oxford University Computing LaboratoryMasahiro Fujita
- 14:30 13th September ( Michaelmas Term 2010 ) in Room 478, Oxford University Computing LaboratoryBarbara Jobstmann ( CNRS/Verimag )
- 11:30 Thursday 2nd September ( Michaelmas Term 2010 ) in Room 478, Oxford University Computing LaboratoryRod Chapman ( Praxis )
- 15:00 Thursday 22nd July ( Trinity Term 2010 ) in Room 478, Oxford University Computing LaboratoryProf. Alan Hu ( University of British Columbia )
- 15:00 Tuesday 20th July ( Trinity Term 2010 ) in Room 147, Oxford University Computing LaboratoryStephen Brookes ( Carnegie Mellon University )
- 11:30 Wednesday 2nd June ( week 6, Trinity Term 2010 ) in Room 147, Oxford University Computing LaboratoryEva M. Navarro-López ( University of Manchester )
- 11:30 26th May ( week 5, Trinity Term 2010 ) in Room 147, Oxford University Computing LaboratoryMike Dodds ( University of Cambridge )
- 11:30 Friday 21st May ( week 4, Trinity Term 2010 ) in Room 478, Oxford University Computing LaboratoryAngela Wallenburg ( Praxis HIS )
- 11:00 Thursday 20th May ( week 4, Trinity Term 2010 ) in Room 051, Oxford University Computing LaboratoryEric Koskinen ( Cambridge University )
- 11:30 Wednesday 19th May ( week 4, Trinity Term 2010 ) in Room 147, Oxford University Computing LaboratoryByron Cook ( Microsoft Research )
- 11:30 Thursday 13th May ( week 3, Trinity Term 2010 ) in Room 051, Oxford University Computing LaboratoryMatko Botincan
- 11:30 Wednesday 12th May ( week 3, Trinity Term 2010 ) in Room 147, Oxford University Computing LaboratoryByron Cook ( Microsoft Research, Cambridge / Queen Mary University )
- 15:00 Thursday 6th May ( week 2, Trinity Term 2010 ) in Room 278, Oxford University Computing LaboratoryKarsten Wolf ( University of Rostock )
- 11:30 Wednesday 28th April ( week 1, Trinity Term 2010 ) in 147Tayfun Elmas ( Koc University, Istanbul )
- 11:30 Wednesday 21st April ( week 0, Trinity Term 2010 ) in Room 051, Oxford University Computing LaboratoryGavin Lowe ( Oxford University Computing Laboratory )
- 11:30 Monday 19th April ( week 0, Trinity Term 2010 ) in 278Dirk Beyer ( University of Passau )
- 11:30 Wednesday 17th March ( week 9, Hilary Term 2010 ) in Room 441, Oxford University Computing LaboratoryDominik Wojtczak
- 11:30 Wednesday 10th March ( week 8, Hilary Term 2010 ) in Room 051, Oxford University Computing LaboratoryMark Jenkins ( Oxford University Computing Laboratory )
- 11:30 Wednesday 3rd March ( week 7, Hilary Term 2010 ) in Room 051, Oxford University Computing LaboratoryAlexander Malkis ( University of Freiburg )
- 11:30 Wednesday 24th February ( week 6, Hilary Term 2010 ) in Room 441, Oxford University Computing LaboratoryBill Roscoe ( Oxford University Computing Laboratory )
- 11:00 Friday 19th February ( week 5, Hilary Term 2010 ) in 278Sree Rajan ( Fujitsu Labs )
- 11:30 Wednesday 17th February ( week 5, Hilary Term 2010 ) in Room 441, Oxford University Computing LaboratoryStephane Demri ( Centre national de la recherche scientifique )
- 11:30 Wednesday 3rd February ( week 3, Hilary Term 2010 ) in Oxford University Computing LaboratoryViet Yen Nguyen ( RWTH Aachen University )
- 11:30 Wednesday 27th January ( week 2, Hilary Term 2010 ) in Room 441, Oxford University Computing LaboratoryBjörn Wachter
- 11:30 Wednesday 20th January ( week 1, Hilary Term 2010 ) in Room 441, Oxford University Computing LaboratoryJoël Ouaknine ( Oxford University Computing Laboratory )
- 11:30 Wednesday 2nd December ( week 8, Michaelmas Term 2009 ) in Room 441, Oxford University Computing LaboratoryGreta Yorsh ( IBM T.J. Watson Research Center )
- 11:30 Wednesday 25th November ( week 7, Michaelmas Term 2009 ) in Room 441, Oxford University Computing LaboratoryMichael Goldsmith ( WMG Digital Laboratory, University of Warwick )
- 11:30 Wednesday 11th November ( week 5, Michaelmas Term 2009 ) in Room 478, Oxford University Computing LaboratoryGerard Basler
- 11:30 Wednesday 4th November ( week 4, Michaelmas Term 2009 ) in Room 441, Oxford University Computing LaboratoryHristina Palikareva ( Oxford University Computing Laboratory )
- 11:30 Wednesday 28th October ( week 3, Michaelmas Term 2009 ) in Room 441, Oxford University Computing LaboratoryBill Roscoe ( Oxford University Computing Laboratory )
- 11:30 Wednesday 21st October ( week 2, Michaelmas Term 2009 ) in Room 441, Oxford University Computing LaboratoryVáclav Brožek ( LFCS, School of Informatics, University of Edinburgh )
- 11:30 Wednesday 14th October ( week 1, Michaelmas Term 2009 ) in Room 441, Oxford University Computing LaboratoryFrançois Laviolette ( Département d'informatique, Université Laval (http://www.ift.ulaval.ca/) )
- 11:30 Friday 10th July ( Trinity Term 2009 ) in Fox Room, Oxford University Computing LaboratoryRonald Kainda ( Oxford University Computing Laboratory )
- 11:30 Friday 3rd July ( week -, Trinity Term 2009 ) in Room 478, Oxford University Computing LaboratoryCesare Tinelli ( University of Iowa )
- 11:30 Wednesday 17th June ( week 8, Trinity Term 2009 ) in Room 478, Oxford University Computing LaboratoryTayssir Touili ( Laboratoire d'Informatique Algorithmique, Universite Paris Diderot )
- 11:30 Wednesday 10th June ( week 7, Trinity Term 2009 ) in Room 478, Oxford University Computing LaboratoryMichael Smith ( Edinburgh University )
- 12:00 Wednesday 3rd June ( week 6, Trinity Term 2009 ) in Rom 478, Oxford University Computing LaboratoryJoel Ouaknine ( Oxford University Computing Laboratory )
- 11:30 Wednesday 13th May ( week 3, Trinity Term 2009 ) in Room 478, Oxford University Computing LaboratoryBernhard Aichernig ( TU Graz )
- 11:30 29th April ( week 1, Trinity Term 2009 ) in Room 478, Oxford University Computing LaboratoryStefan Kiefer ( Technische Universität München )
- 15:00 Friday 20th March ( week 9, Hilary Term 2009 ) in Room 441Hana Chockler ( IBM Research )
- 11:30 Wednesday 11th March ( week 8, Hilary Term 2009 ) in Lecture Theatre A, Oxford University Computing LaboratoryBill Roscoe ( Oxford University Computing Laboratory )
- 11:30 Wednesday 4th March ( week 7, Hilary Term 2009 ) in Room 441, Oxford University Computing LaboratoryChristoph Haase ( Oxford University Computing Laboratory )
- 11:30 Wednesday 25th February ( week 6, Hilary Term 2009 ) in Room 441, Oxford University Computing LaboratoryAlastair F. Donaldson ( Codeplay Software Ltd. )
- 12:00 Wednesday 18th February ( week 5, Hilary Term 2009 ) in Room 441, Oxford University Computing LaboratoryMat Hague ( Oxford University Computing Laboratory )
- 11:30 Wednesday 11th February ( week 4, Hilary Term 2009 ) in Room 441, Oxford University Computing LaboratoryNick Papanikolaou ( University of Warwick )
- 11:30 Wednesday 3rd December ( week 8, Michaelmas Term 2008 ) in Room 441 Oxford University Computing LaboratoryCarsten Sinz ( University of Karlsruhe )
- 11:30 Wednesday 26th November ( week 7, Michaelmas Term 2008 ) in Room 441, Oxford University Computing LaboratoryIan Stark ( University of Edinburgh )
- 11:30 Wednesday 12th November ( week 5, Michaelmas Term 2008 ) in Room 441, Oxford University Computing LaboratoryPeter Olveczky ( University of Oslo )
- 11:30 Wednesday 5th November ( week 4, Michaelmas Term 2008 ) in Room 441, Oxford University Computing LaboratoryAlexey Gotsman ( University of Cambridge )
- 13:05 Tuesday 4th November ( week 4, Michaelmas Term 2008 ) in Room 478, Oxford University Computing LaboratoryProf Alain Finkel ( ENS Cachan )
- 11:30 Wednesday 29th October ( week 3, Michaelmas Term 2008 ) in Room 441, Oxford University Computing LaboratoryAlex Rabinovich ( Tel Aviv University, School of Computer Science )
- 11:30 Wednesday 22nd October ( week 2, Michaelmas Term 2008 ) in Room 441, Oxford University Computing LaboratoryMichael Huth ( Imperial College, London )
- 11:30 Wednesday 15th October ( week 1, Michaelmas Term 2008 ) in Room 441 Oxford University Computing LaboratoryPeter Welch ( University of Kent )
- 11:30 Wednesday 24th September ( week -2, Michaelmas Term 2008 ) in Room 051, Oxford University Computing LaboratoryToby Murray ( Oxford University Computing Laboratory )
- 11:30 Wednesday 10th September ( Michaelmas Term 2008 ) in Fox RoomBill Roscoe ( Oxford University Computing Laboratory )
- 11:30 Wednesday 18th June ( Trinity Term 2008 ) in Fox Room, Oxford University Computing LaboratoryTony Hoare ( Microsoft Research, Cambridge )
- 14:00 Thursday 12th June ( week 8, Trinity Term 2008 ) in Room 051, Oxford University Computing LaboratoryAnnabelle McIver ( Macquarie University, Australia )
- 11:30 Wednesday 4th June ( week 7, Trinity Term 2008 ) in Room 051, Oxford University Computing LaboratoryGavin Lowe ( Oxford University )
- 11:30 Wednesday 28th May ( week 6, Trinity Term 2008 ) in Room 051, Oxford University Computing LaboratoryJames Worrell ( Oxford University Computing Laboratory )
- 11:30 Wednesday 21st May ( week 5, Trinity Term 2008 ) in Room 051, Oxford University Computing LaboratoryBill Roscoe ( Oxford University )
- 11:30 Wednesday 14th May ( week 4, Trinity Term 2008 ) in Room 051, Oxford University Computing LaboratoryFord Long Wong ( Cambridge University Computer Laboratory )
- 11:30 Wednesday 7th May ( week 3, Trinity Term 2008 ) in Room 051, Oxford University Computing LaboratoryToby Murray ( Oxford University )
- 11:30 Wednesday 30th April ( week 2, Trinity Term 2008 ) in Room 051, Oxford University Computing LaboratoryVashti Galpin ( School of Informatics, University of Edinburgh )
- 11:30 Wednesday 5th March ( week 8, Hilary Term 2008 ) in Oxford University Computing Laboratory, Room 051Chris Dilloway ( OUCL )
- 11:30 Wednesday 27th February ( week 7, Hilary Term 2008 ) in Oxford University Computing Laboratory, Room 347Rhys Newman
- 11:30 Monday 20th February ( week 6, Hilary Term 2008 ) in Oxford University Computing Laboratory, Room 347Paulo Mateus
- 11:30 Wednesday 13th February ( week 5, Hilary Term 2008 ) in Oxford University Computing Laboratory, Room 347Bill Roscoe ( OUCL )
- 11:30 Wednesday 6th February ( week 4, Hilary Term 2008 ) in Oxford University Computing Laboratory, Room 347Doina Bukur
- 11:30 Wednesday 30th January ( week 3, Hilary Term 2008 ) in Oxford University Computing Laboratory, Room 347Dusko Pavlovic ( Kestrel Institute / OUCL Visiting Academic )
- 11:30 Wednesday 24th October ( week 3, Michaelmas Term 2007 ) in Oxford University Computing Laboratory, Room 347
- 11:30 Wednesday 17th October ( week 2, Michaelmas Term 2007 ) in Oxford University Computing Laboratory, Room 347Jérôme Leroux
- 11:30 Wednesday 10th October ( week 1, Michaelmas Term 2007 ) in Oxford University Computing Laboratory, Room 347Joel Ouaknine ( OUCL )
- 11:30 Wednesday ( Trinity Term 2008 ) in Room 051, Oxford University Computing LaboratoryPhilip Armstrong ( Oxford University )