University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Concurrency, Verification & Security Seminars

View all seminar series

Unless otherwise stated, the seminars are on Wednesdays at 11.30am in room 147 of the Department of Computer Science. 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.



Coordinator

Related Themes

Related Activities



Forthcoming seminarsPrevious seminars

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)
(week , Hilary Term 2009). 11:30 in TBA
Nick Moffat (QinetiQ)
Wednesday (week , Trinity Term 2008). 11:30 in Room 051, Oxford University Computing Laboratory
Philip Armstrong (Oxford University)