The Oxford Advanced Seminar on Informatic Structures

Introduction to OASIS

Michaelmas 2004

Hilary 2005

Trinity 2005

Simon Gay

Dov Gabbay

Philippe Jorrand

Michael Fellows

Mai Gehrke

Michaelmas 2005

Hilary 2006

Trinity 2006

Michaelmas 2006

Hilary 2007

Trinity 2007

Michaelmas 2007

Hilary 2008

Trinity 2008

Trinity 2005

STATES AND TRANSITIONS

Due to the fact that several conferences and workshops talk place during this term we only have four talks during term - note in particular that [MFPS XXI] takes place next door in Birmingham in week 4. Talks are Friday afternoons at 2:00pm in the Lecture Theatre of the Computing Laboratory, which is at the corner of Parks road and Keble road. Everyone is welcome! Click on the name of the speaker to get some information and see his abstract.

• Friday 13 May (week 3) Simon Gay (University of Glasgow) Probabilistic Model-Checking of Quantum Protocols

• Friday 27 May (week 5) Dov Gabbay (King's College - London) Reactive Kripke Semantics and Arc Accessibility

• Friday 3 June (week 6) Philippe Jorrand (Leibniz Laboratory - Grenoble - France) The complexity of graph state preparation

• Friday 1 July (week 10) Michael Fellows (University of Newcastle, Australia) Structural parameters: good, bad and ugly

• Friday 29 July (week 14) Mai Gehrke (New Mexico State University, US) Resource Sensitive Frames