OXFORD UNIVERSITY COMPUTING LABORATORY

Concurrency, Verification & Security Seminars

View all seminar series

Unless otherwise stated, the seminars are on Wednesdays at 11.30am in room 051 of the Computing Laboratory. If you want to volunteer to give a seminar, please contact Philip Armstrong. 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 seminars | previous seminars

Wednesday 26th November (week 7, Michaelmas Term 2008) The Continuous π-Calculus: A Process Algebra for Biochemical Modelling Ian Stark (University of Edinburgh)

Wednesday 12th November (week 5, Michaelmas Term 2008) Formal Specification and Analysis of Real-Time Systems in Real-Time Maude Peter Olveczky (University of Oslo)

Wednesday 5th November (week 4, Michaelmas Term 2008) Proving that non-blocking algorithms don't block Alexey Gotsman (University of Cambridge)

Tuesday 4th November (week 4, Michaelmas Term 2008) Well structured transtition systems everywhere and everytime! Prof Alain Finkel (ENS Cachan)

Wednesday 29th October (week 3, Michaelmas Term 2008) Decidable Continuous Time Temporal Logic Alex Rabinovich (Tel Aviv University, School of Computer Science)

Wednesday 22nd October (week 2, Michaelmas Term 2008) Hintikka Games for PCTL on Labeled Markov Chains Michael Huth (Imperial College, London)

Wednesday 15th October (week 1, Michaelmas Term 2008) A CSP Model for Mobile Channels Peter Welch (University of Kent)

Wednesday 24th September (week -2, Michaelmas Term 2008) On Refinement-Closed Security Properties and Nondeterministic Compositions Toby Murray (Oxford University Computing Laboratory)

Wednesday 10th September (week , Michaelmas Term 2008) From CSP to the pi calculus and back Bill Roscoe (Oxford University Computing Laboratory)

Wednesday 18th June (week , Trinity Term 2008) Discussion of an international initiative in Verified Software Tony Hoare (Microsoft Research, Cambridge)

Thursday 12th June (week 8, Trinity Term 2008) Proofs and refutations for probabilistic refinement Annabelle McIver (Macquarie University, Australia)

Wednesday 4th June (week 7, Trinity Term 2008) CSP with tests for availability of events (work in progress) Gavin Lowe (Oxford University)

Wednesday 28th May (week 6, Trinity Term 2008) TBA James Worrell (Oxford University Computing Laboratory)

Wednesday 21st May (week 5, Trinity Term 2008) Implementations of some empirical security protocols Bill Roscoe (Oxford University)

Wednesday 14th May (week 4, Trinity Term 2008) Multi-channel Security Protocols Ford Long Wong (Cambridge University Computer Laboratory)

Wednesday 7th May (week 3, Trinity Term 2008) Analysing Object-Capability Security Toby Murray (Oxford University)

Wednesday 30th April (week 2, Trinity Term 2008) A Process Algebra for Hybrid Systems Vashti Galpin (School of Informatics, University of Edinburgh)

Wednesday 5th March (week 8, Hilary Term 2008) Secure Channels and Proxies Chris Dilloway (OUCL)

Wednesday 27th February (week 7, Hilary Term 2008) TBA Rhys Newman

Monday 20th February (week 6, Hilary Term 2008) A quantum fair contract signing protocol Paulo Mateus

Wednesday 13th February (week 5, Hilary Term 2008) Completing CSP Bill Roscoe (OUCL)

Wednesday 6th February (week 4, Hilary Term 2008) Secure Data Flow in a Calculus for Context Awareness Doina Bukur

Wednesday 30th January (week 3, Hilary Term 2008) Near Field Communication and Security in Pervasive and Social Networks Dusko Pavlovic (Kestrel Institute / OUCL Visiting Academic)

Wednesday 24th October (week 3, Michaelmas Term 2007) Probabilistic Model Checking and Abstraction

Wednesday 17th October (week 2, Michaelmas Term 2007) Acceleration in Data-Flow Analysis Jérôme Leroux

Wednesday 10th October (week 1, Michaelmas Term 2007) APEX Joel Ouaknine (OUCL)

Random Image
Random Image
Random Image