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

Hilary 2005

LINEARITY AND RESOURCE SENSITIVITY

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.

This term's speakers are listed on the left.

[Oxford Spires]


oucl seminars-mt04

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