The Oxford Advanced Seminar on Informatic Structures
 Introduction to OASIS Michaelmas 2004- Hilary 2005
- Logic from Quantales
- Ian Mackie
- Vincent Danos
- Paul Blain Levy
- John V. Tucker
- OASIS meets QUOXIC
- Philippa Gardner
- Terry Rudolph
- Trinity 2005
- Michaelmas 2005
- Hilary 2006
- Trinity 2006
- Michaelmas 2006
- Hilary 2007
- Trinity 2007
- Michaelmas 2007
- Hilary 2008
- Trinity 2008
|
OASIS meets QUOXIC
Today, Friday 25 February, [OASIS] and [QUOXIC] unite. Please consult the [QUOXIC] webpage for details.
|
![[Oxford Spires]](http://web.comlab.ox.ac.uk/im/spires.gif){kind=small}