OXFORD UNIVERSITY COMPUTING LABORATORY


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]



Introduction to OASIS
Courses | Research | People | About us | News
Site last produced on Tue Jun 3 10:11:49 BST 2008 . Page generated by AWF.
Copyright (C) 2004 OUCL.
Oxford University Computing Laboratory Courses Research People About us News