Verification Seminars
Unless otherwise stated, the seminars are on Wednesdays at 11.30am. If you want to volunteer to give a seminar, please contact Stefan Kiefer. If you would like to be reminded of forthcoming seminars, then you might like to subscribe to the concurrency mailing list by emailing concurrency-subscribe@maillist.ox.ac.uk.
Forthcoming seminarsPrevious seminars
Wednesday 22nd May
(week 5, Trinity Term 2013).
11:30 in 051
Daniel Bundala
(University of Oxford)
Wednesday 15th May
(week 4, Trinity Term 2013).
11:30 in 051
Hsi-Ming Ho
(University of Oxford)
Wednesday 1st May
(week 2, Trinity Term 2013).
11:30 in 051
Ventsislav Chonev
(University of Oxford)
Wednesday 24th April
(week 1, Trinity Term 2013).
11:30 in 441
Björn Wachter
(University of Oxford)
Wednesday 13th March
(week 9, Hilary Term 2013).
11:30 in Tony-Hoare Room, Robert-Hooke Building
Joachim Klein and Sascha Klüppelholz
(Technische Universität Dresden)
Monday 11th March
(week 9, Hilary Term 2013).
11:30 in 278
Domagoj Babic
Friday 8th March
(week 8, Hilary Term 2013).
11:30 in 278
Hongyi Chen
(Louisiana State University)
Wednesday 6th March
(week 8, Hilary Term 2013).
11:30 in 051
Nassim Seghir
(University of Oxford)
Wednesday 30th January
(week 3, Hilary Term 2013).
16:00 in 051
Matt Lewis
(University of Oxford)
Thursday 24th January
(week 2, Hilary Term 2013).
16:00 in 441
Jean Cardinal
(Université libre de Bruxelles)
Monday 21st January
(week 2, Hilary Term 2013).
11:30 in 051
Luca Bortolussi
Wednesday 12th December
(week 10, Michaelmas Term 2012).
11:30 in 051
Nir Piterman
(University of Leicester)
Thursday 29th November
(week 8, Michaelmas Term 2012).
11:30 in 278
Marc Brockschmidt
(MSR Cambridge)
Wednesday 28th November
(week 8, Michaelmas Term 2012).
11:30 in Christopher Strachey Room, Robert Hooke Building
Dr. Olga Tveretina
(University of Hertfordshire)
Wednesday 14th November
(week 6, Michaelmas Term 2012).
11:30 in Lecture Theatre A
Ben Moszkowski
Monday 12th November
(week 6, Michaelmas Term 2012).
11:30 in Lecture Theatre A
David Monniaux
(CNRS, VERIMAG)
Wednesday 31st October
(week 4, Michaelmas Term 2012).
11:30 in Lecture Theatre A
Curtis Kendall Madsen
(MSR Cambridge)
Friday 5th October
(week 0, Michaelmas Term 2012).
14:00 in 051
Sriram Sankaranarayanan
(U Colorado)
Wednesday 26th September 2012 11:30 in 051
John McCabe-Dansted
(University of Western Australia)
Wednesday 12th September 2012 11:30 in 051
Stefan Kiefer
(University of Oxford)
Thursday 6th September 2012 11:30 in 147
Peter Schrammel
(INRIA)
Wednesday 5th September
(week , Trinity Term 2012).
11:30 in 147
S. Akshay
(IRISA/ENS Cachan Bretagne)
Wednesday 29th August
(week , Trinity Term 2012).
11:30 in 147
Alexander Kaiser
Thursday 9th August
(week , Trinity Term 2012).
15:00 in TBA
Mohammad Raza
(MSR Cambridge)
Wednesday 4th July 2012 11:30 in 147
Friedrich Gretz
(RWTH Aachen)
Tuesday 3rd July 2012 14:00 in 147
Anvesh Komuravelli
(CMU)
Wednesday 20th June
(week 9, Trinity Term 2012).
11:30 in 147
Lucia Gallina
(DAIS, University Ca' Foscari of Venice)
Wednesday 6th June
(week 7, Trinity Term 2012).
11:30 in 147
Nathalie Bertrand
(INRIA)
Wednesday 23rd May
(week 5, Trinity Term 2012).
11:30 in 147
Victor Khomenko
Wednesday 9th May
(week 3, Trinity Term 2012).
11:30 in 147
Philippe Schnoebelen
Wednesday 2nd May
(week 2, Trinity Term 2012).
11:30 in 147
Nassim Seghir
(University of Oxford)
Wednesday 25th April
(week 1, Trinity Term 2012).
12:00 in 147
Subodh Sharma
(University of Oxford)
Wednesday 18th April
(week 0, Trinity Term 2012).
11:30 in 147
Sylvain Schmitz
(LSV, Cachan)
Wednesday 4th April 2012 11:30 in 147
Juan Antonio Navarro Pérez
Wednesday 21st March
(week 10, Hilary Term 2012).
11:30 in 147
Marco Diciolla
(University of Oxford)
Tuesday 13th March
(week 9, Hilary Term 2012).
14:00 in 147
Stefan Kiefer
(University of Oxford)
Wednesday 7th March
(week 8, Hilary Term 2012).
11:30 in 051
Gordon Brebner
(Xilinx Labs)
Wednesday 29th February
(week 7, Hilary Term 2012).
11:30 in 051
Aistis Simaitis
(University of Oxford)
Friday 24th February
(week 6, Hilary Term 2012).
14:00 in 380
Remi Bonnet
(ENS Cachan)
Wednesday 22nd February
(week 6, Hilary Term 2012).
11:30 in 051
Tony Hoare
(Microsoft Research)
Wednesday 15th February
(week 5, Hilary Term 2012).
11:30 in 051
Daniel Bundala
(University of Oxford)
Wednesday 1st February
(week 3, Hilary Term 2012).
11:30 in 051
Antonin Kucera
(Masaryk University, Brno, Czech Republic)
Tuesday 17th January
(week 1, Hilary Term 2012).
11:30 in 278
Gennaro Parlato
(University of Southampton)
Wednesday 30th November
(week 8, Michaelmas Term 2011).
11:30 in 147
Thomas Gothel
(TU Berlin)
Wednesday 23rd November
(week 7, Michaelmas Term 2011).
11:30 in 147
Nachiket Kapre
Wednesday 9th November
(week 5, Michaelmas Term 2011).
14:00 in 278
Alberto Griggio
(Fondazione Bruno Kessler)
Wednesday 9th November
(week 5, Michaelmas Term 2011).
11:30 in Room 441
Jeremy Gibbons
(Department of Computer Science, University of Oxford)
Friday 4th November
(week 4, Michaelmas Term 2011).
16:00 in 278
Alexander Malkis
Wednesday 2nd November
(week 4, Michaelmas Term 2011).
11:30 in Room 147
Radu Grigore
(Queen Mary University of London)
Tuesday 1st November
(week 4, Michaelmas Term 2011).
14:00 in Room 278
Vincent Nimal
Thursday 1st September
(week , Trinity Term 2011).
11:30 in Room 147
Praveen Manjunatha
Wednesday 31st August
(week , Trinity Term 2011).
11:30 in Room 147
Joel Ouaknine
(University of Oxford)
Tuesday 19th July
(week , Trinity Term 2011).
11:30 in Room 380
Professor Ruby Lee
(Princeton University)
Thursday 14th July
(week , Trinity Term 2011).
11:30 in Room 147
Mark Josephs
(Warwick University)
Wednesday 13th July
(week , Trinity Term 2011).
11:30 in Room 147
Nikos Gorogiannis
Wednesday 6th July
(week 10, Trinity Term 2011).
11:30 in Room 147, Dept Computer Science
Daniel Schwartz-Narbonne
(Princeton University)
Wednesday 29th June
(week 9, Trinity Term 2011).
11:30 in Room 147, Dept of Computer Science, University of Oxford
Jim Huan-Pu Kuo
Thursday 16th June
(week 7, Trinity Term 2011).
14:00 in Room 147
Thomas Gibson-Robinson
(Dept. of Computer Science, University of Oxford)
Wednesday 15th June
(week 7, Trinity Term 2011).
11:30 in Room 147, Department of Computer Science
Jim Whitehead
(Dept Computer Science, University of Oxford)
Wednesday 8th June
(week 6, Trinity Term 2011).
11:30 in Room 147, Department of Computer Science
Bill Roscoe
(Dept Computer Science, University of Oxford)
Wednesday 25th May
(week 4, Trinity Term 2011).
11:30 in Room 147, Department of Computer Science
Long Nguyen
(Department of Computer Science, University of Oxford)
Wednesday 11th May
(week 2, Trinity Term 2011).
11:30 in Room 147, Oxford University Computing Laboratory
Uday Khedker
(IIT Bombay)
Wednesday 6th April
(week , Hilary Term 2011).
14:00 in Room 147, Oxford University Computing Laboratory
Cristian Cadar
Tuesday 22nd March
(week 10, Hilary Term 2011).
11:00 in Room 147, Oxford University Computing Laboratory
Miriam Leeser
(Northeastern University)
9th March
(week 8, Hilary Term 2011).
11:30 in Room 147, Oxford University Computing Laboratory
Long Nguyen
(OUCL)
Friday 4th March
(week 7, Hilary Term 2011).
12:00 in Lecture Theatre A, Oxford University Computing Laboratory
Tony Hoare
23rd February
(week 6, Hilary Term 2011).
11:30 in Room 147, Oxford University Computing Laboratory
Bill Roscoe
(OUCL)
Wednesday 16th February
(week 5, Hilary Term 2011).
11:30 in Room 147, Oxford University Computing Laboratory
Clemens Ley
(OUCL)
Wednesday 9th February
(week 4, Hilary Term 2011).
11:30 in Room 147, Oxford University Computing Laboratory
Suleiman Abu Kharmeh
(University of Bristol)
Monday 7th February
(week 4, Hilary Term 2011).
11:00 in Room 478, Oxford University Computing Laboratory
Dr. Igor Konnov
(Lomonosov Moscow State University)
1st December
(week 8, Michaelmas Term 2010).
11:30 in Room 147, Oxford University Computing Laboratory
Bill Roscoe
(OUCL)
Wednesday 24th November
(week 7, Michaelmas Term 2010).
11:30 in Room 147, Oxford University Computing Laboratory
Schmuel Ur
Wednesday 3rd November
(week 3, Michaelmas Term 2010).
11:30 in Room 147, Oxford University Computing Laboratory
Henri Hansen
(Tampere University of Technology)
Wednesday 27th October
(week 3, Michaelmas Term 2010).
11:30 in Rom 147, Oxford University Computing Laboratory
Gavin Lowe
(OUCL)
Thursday 14th October
(week 1, Michaelmas Term 2010).
11:30 in Room 147, Oxford University Computing Laboratory
Dirk Beyer
Wednesday 13th October
(week 1, Michaelmas Term 2010).
11:30 in Room 147, Oxford University Computing Laboratory
Maneesh Khattri
(Oxford University Computing Laboratory)
Thursday 16th September
(week , Michaelmas Term 2010).
11:30 in Room 147, Oxford University Computing Laboratory
Ondřej Šerý
Wednesday 15th September
(week , Michaelmas Term 2010).
15:00 in Room 278, Oxford University Computing Laboratory
Masahiro Fujita
13th September
(week , Michaelmas Term 2010).
14:30 in Room 478, Oxford University Computing Laboratory
Barbara Jobstmann
(CNRS/Verimag)
Thursday 2nd September
(week , Michaelmas Term 2010).
11:30 in Room 478, Oxford University Computing Laboratory
Rod Chapman
(Praxis)
Thursday 22nd July
(week , Trinity Term 2010).
15:00 in Room 478, Oxford University Computing Laboratory
Prof. Alan Hu
(University of British Columbia)
Tuesday 20th July
(week , Trinity Term 2010).
15:00 in Room 147, Oxford University Computing Laboratory
Stephen Brookes
(Carnegie Mellon University)
Wednesday 2nd June
(week 6, Trinity Term 2010).
11:30 in Room 147, Oxford University Computing Laboratory
Eva M. Navarro-López
(University of Manchester)
26th May
(week 5, Trinity Term 2010).
11:30 in Room 147, Oxford University Computing Laboratory
Mike Dodds
(University of Cambridge)
Friday 21st May
(week 4, Trinity Term 2010).
11:30 in Room 478, Oxford University Computing Laboratory
Angela Wallenburg
(Praxis HIS)
Thursday 20th May
(week 4, Trinity Term 2010).
11:00 in Room 051, Oxford University Computing Laboratory
Eric Koskinen
(Cambridge University)
Wednesday 19th May
(week 4, Trinity Term 2010).
11:30 in Room 147, Oxford University Computing Laboratory
Byron Cook
(Microsoft Research)
Thursday 13th May
(week 3, Trinity Term 2010).
11:30 in Room 051, Oxford University Computing Laboratory
Matko Botincan
Wednesday 12th May
(week 3, Trinity Term 2010).
11:30 in Room 147, Oxford University Computing Laboratory
Byron Cook
(Microsoft Research, Cambridge / Queen Mary University)
Thursday 6th May
(week 2, Trinity Term 2010).
15:00 in Room 278, Oxford University Computing Laboratory
Karsten Wolf
(University of Rostock)
Wednesday 28th April
(week 1, Trinity Term 2010).
11:30 in 147
Tayfun Elmas
(Koc University, Istanbul)
Wednesday 21st April
(week 0, Trinity Term 2010).
11:30 in Room 051, Oxford University Computing Laboratory
Gavin Lowe
(Oxford University Computing Laboratory)
Monday 19th April
(week 0, Trinity Term 2010).
11:30 in 278
Dirk Beyer
(University of Passau)
Wednesday 17th March
(week 9, Hilary Term 2010).
11:30 in Room 441, Oxford University Computing Laboratory
Dominik Wojtczak
Wednesday 10th March
(week 8, Hilary Term 2010).
11:30 in Room 051, Oxford University Computing Laboratory
Mark Jenkins
(Oxford University Computing Laboratory)
Wednesday 3rd March
(week 7, Hilary Term 2010).
11:30 in Room 051, Oxford University Computing Laboratory
Alexander Malkis
(University of Freiburg)
Wednesday 24th February
(week 6, Hilary Term 2010).
11:30 in Room 441, Oxford University Computing Laboratory
Bill Roscoe
(Oxford University Computing Laboratory)
Friday 19th February
(week 5, Hilary Term 2010).
11:00 in 278
Sree Rajan
(Fujitsu Labs)
Wednesday 17th February
(week 5, Hilary Term 2010).
11:30 in Room 441, Oxford University Computing Laboratory
Stephane Demri
(Centre national de la recherche scientifique)
Wednesday 3rd February
(week 3, Hilary Term 2010).
11:30 in Oxford University Computing Laboratory
Viet Yen Nguyen
(RWTH Aachen University)
Wednesday 27th January
(week 2, Hilary Term 2010).
11:30 in Room 441, Oxford University Computing Laboratory
Björn Wachter
Wednesday 20th January
(week 1, Hilary Term 2010).
11:30 in Room 441, Oxford University Computing Laboratory
Joël Ouaknine
(Oxford University Computing Laboratory)
Wednesday 2nd December
(week 8, Michaelmas Term 2009).
11:30 in Room 441, Oxford University Computing Laboratory
Greta Yorsh
(IBM T.J. Watson Research Center)
Wednesday 25th November
(week 7, Michaelmas Term 2009).
11:30 in Room 441, Oxford University Computing Laboratory
Michael Goldsmith
(WMG Digital Laboratory, University of Warwick)
Wednesday 11th November
(week 5, Michaelmas Term 2009).
11:30 in Room 478, Oxford University Computing Laboratory
Gerard Basler
Wednesday 4th November
(week 4, Michaelmas Term 2009).
11:30 in Room 441, Oxford University Computing Laboratory
Hristina Palikareva
(Oxford University Computing Laboratory)
Wednesday 28th October
(week 3, Michaelmas Term 2009).
11:30 in Room 441, Oxford University Computing Laboratory
Bill Roscoe
(Oxford University Computing Laboratory)
Wednesday 21st October
(week 2, Michaelmas Term 2009).
11:30 in Room 441, Oxford University Computing Laboratory
Václav Brožek
(LFCS, School of Informatics, University of Edinburgh)
Wednesday 14th October
(week 1, Michaelmas Term 2009).
11:30 in Room 441, Oxford University Computing Laboratory
François Laviolette
(Département d'informatique, Université Laval (http://www.ift.ulaval.ca/))
Friday 10th July
(week , Trinity Term 2009).
11:30 in Fox Room, Oxford University Computing Laboratory
Ronald Kainda
(Oxford University Computing Laboratory)
Friday 3rd July
(week -, Trinity Term 2009).
11:30 in Room 478, Oxford University Computing Laboratory
Cesare Tinelli
(University of Iowa)
Wednesday 17th June
(week 8, Trinity Term 2009).
11:30 in Room 478, Oxford University Computing Laboratory
Tayssir Touili
(Laboratoire d'Informatique Algorithmique, Universite Paris Diderot)
Wednesday 10th June
(week 7, Trinity Term 2009).
11:30 in Room 478, Oxford University Computing Laboratory
Michael Smith
(Edinburgh University)
Wednesday 3rd June
(week 6, Trinity Term 2009).
12:00 in Rom 478, Oxford University Computing Laboratory
Joel Ouaknine
(Oxford University Computing Laboratory)
Wednesday 13th May
(week 3, Trinity Term 2009).
11:30 in Room 478, Oxford University Computing Laboratory
Bernhard Aichernig
(TU Graz)
29th April
(week 1, Trinity Term 2009).
11:30 in Room 478, Oxford University Computing Laboratory
Stefan Kiefer
(Technische Universität München)
Friday 20th March
(week 9, Hilary Term 2009).
15:00 in Room 441
Hana Chockler
(IBM Research)
Wednesday 11th March
(week 8, Hilary Term 2009).
11:30 in Lecture Theatre A, Oxford University Computing Laboratory
Bill Roscoe
(Oxford University Computing Laboratory)
Wednesday 4th March
(week 7, Hilary Term 2009).
11:30 in Room 441, Oxford University Computing Laboratory
Christoph Haase
(Oxford University Computing Laboratory)
Wednesday 25th February
(week 6, Hilary Term 2009).
11:30 in Room 441, Oxford University Computing Laboratory
Alastair F. Donaldson
(Codeplay Software Ltd.)
Wednesday 18th February
(week 5, Hilary Term 2009).
12:00 in Room 441, Oxford University Computing Laboratory
Mat Hague
(Oxford University Computing Laboratory)
Wednesday 11th February
(week 4, Hilary Term 2009).
11:30 in Room 441, Oxford University Computing Laboratory
Nick Papanikolaou
(University of Warwick)
Wednesday 3rd December
(week 8, Michaelmas Term 2008).
11:30 in Room 441 Oxford University Computing Laboratory
Carsten Sinz
(University of Karlsruhe)
Wednesday 26th November
(week 7, Michaelmas Term 2008).
11:30 in Room 441, Oxford University Computing Laboratory
Ian Stark
(University of Edinburgh)
Wednesday 12th November
(week 5, Michaelmas Term 2008).
11:30 in Room 441, Oxford University Computing Laboratory
Peter Olveczky
(University of Oslo)
Wednesday 5th November
(week 4, Michaelmas Term 2008).
11:30 in Room 441, Oxford University Computing Laboratory
Alexey Gotsman
(University of Cambridge)
Tuesday 4th November
(week 4, Michaelmas Term 2008).
13:05 in Room 478, Oxford University Computing Laboratory
Prof Alain Finkel
(ENS Cachan)
Wednesday 29th October
(week 3, Michaelmas Term 2008).
11:30 in Room 441, Oxford University Computing Laboratory
Alex Rabinovich
(Tel Aviv University, School of Computer Science)
Wednesday 22nd October
(week 2, Michaelmas Term 2008).
11:30 in Room 441, Oxford University Computing Laboratory
Michael Huth
(Imperial College, London)
Wednesday 15th October
(week 1, Michaelmas Term 2008).
11:30 in Room 441 Oxford University Computing Laboratory
Peter Welch
(University of Kent)
Wednesday 24th September
(week -2, Michaelmas Term 2008).
11:30 in Room 051, Oxford University Computing Laboratory
Toby Murray
(Oxford University Computing Laboratory)
Wednesday 10th September
(week , Michaelmas Term 2008).
11:30 in Fox Room
Bill Roscoe
(Oxford University Computing Laboratory)
Wednesday 18th June
(week , Trinity Term 2008).
11:30 in Fox Room, Oxford University Computing Laboratory
Tony Hoare
(Microsoft Research, Cambridge)
Thursday 12th June
(week 8, Trinity Term 2008).
14:00 in Room 051, Oxford University Computing Laboratory
Annabelle McIver
(Macquarie University, Australia)
Wednesday 4th June
(week 7, Trinity Term 2008).
11:30 in Room 051, Oxford University Computing Laboratory
Gavin Lowe
(Oxford University)
Wednesday 28th May
(week 6, Trinity Term 2008).
11:30 in Room 051, Oxford University Computing Laboratory
James Worrell
(Oxford University Computing Laboratory)
Wednesday 21st May
(week 5, Trinity Term 2008).
11:30 in Room 051, Oxford University Computing Laboratory
Bill Roscoe
(Oxford University)
Wednesday 14th May
(week 4, Trinity Term 2008).
11:30 in Room 051, Oxford University Computing Laboratory
Ford Long Wong
(Cambridge University Computer Laboratory)
Wednesday 7th May
(week 3, Trinity Term 2008).
11:30 in Room 051, Oxford University Computing Laboratory
Toby Murray
(Oxford University)
Wednesday 30th April
(week 2, Trinity Term 2008).
11:30 in Room 051, Oxford University Computing Laboratory
Vashti Galpin
(School of Informatics, University of Edinburgh)
Wednesday 5th March
(week 8, Hilary Term 2008).
11:30 in Oxford University Computing Laboratory, Room 051
Chris Dilloway
(OUCL)
Wednesday 27th February
(week 7, Hilary Term 2008).
11:30 in Oxford University Computing Laboratory, Room 347
Rhys Newman
Monday 20th February
(week 6, Hilary Term 2008).
11:30 in Oxford University Computing Laboratory, Room 347
Paulo Mateus
Wednesday 13th February
(week 5, Hilary Term 2008).
11:30 in Oxford University Computing Laboratory, Room 347
Bill Roscoe
(OUCL)
Wednesday 6th February
(week 4, Hilary Term 2008).
11:30 in Oxford University Computing Laboratory, Room 347
Doina Bukur
Wednesday 30th January
(week 3, Hilary Term 2008).
11:30 in Oxford University Computing Laboratory, Room 347
Dusko Pavlovic
(Kestrel Institute / OUCL Visiting Academic)
Wednesday 24th October
(week 3, Michaelmas Term 2007).
11:30 in Oxford University Computing Laboratory, Room 347
Wednesday 17th October
(week 2, Michaelmas Term 2007).
11:30 in Oxford University Computing Laboratory, Room 347
Jérôme Leroux
Wednesday 10th October
(week 1, Michaelmas Term 2007).
11:30 in Oxford University Computing Laboratory, Room 347
Joel Ouaknine
(OUCL)
Wednesday
(week , Trinity Term 2008).
11:30 in Room 051, Oxford University Computing Laboratory
Philip Armstrong
(Oxford University)
Coordinator | |
Related Themes | |
Related Activities |
