The Oxford Advanced Seminar on Informatic Structures

Introduction to OASIS

Michaelmas 2004

Hilary 2005

Trinity 2005

Michaelmas 2005

Hilary 2006

Trinity 2006

Mathiesen & Oliva

Michaelmas 2006

Hilary 2007

Trinity 2007

Michaelmas 2007

Hilary 2008

Trinity 2008

Trinity 2006

A SINGLE TRACE TO FOLLOW

Talks are Friday afternoons at 2:00pm, exceptionally this term in room 051 of the Computing Laboratory, which is at the corner of Parks road and Keble road. Click on the name of the speaker to get some information and see his abstract. Due to the start of the conference season there will only be a small number of talks this term. Note in particular also that this summer in July there will be [Cats, Kets and Cloisters] at the comlab.

• Friday 5 May (week 2) Mathiesen & Oliva (Queen Mary, London) Traced Monoidal Categories and Hoare Logic

• Monday 3 July (week 11) [QUOXIC meets OASIS] with Robert Raussendorf (Perimeter Institute, Waterloo, Canada) among others, ...