OXFORD UNIVERSITY COMPUTING LABORATORY

The Oxford Advanced Seminar on Informatic Structures

View all seminar series

The Oxford Advanced Seminar on Informatic Structures is a weekly interdisciplinary seminar on Fridays (during term time) at 14.00 in Lecture Theater B of Oxford University Computing Laboratory.  It is currently run by Mehrnoosh Sadrzadeh who you can contact for more information and mailing list. This seminar series exposes the research interests of the theory research unit. Past seminars organized by Bob Coecke can be accessed here. The predecesser of OASIS was initiated by Samson Abramsky

This term's theme: Proofs and Processes.

 

 


forthcoming seminars | previous seminars

Friday 28th November (week 7, Michaelmas Term 2008) Description Logic II: Implementation and Optimisation Ian Horrocks (Computing Laboratory, University of Oxford)

Friday 21st November (week 6, Michaelmas Term 2008) The locale of random sequences Alex Simpson (School of Informatics, University of Edinburgh)

Thursday 13th November (week 5, Michaelmas Term 2008) Models of quantum phenomena Bob Coecke (Computing Laboratory, University of Oxford)

Friday 7th November (week 4, Michaelmas Term 2008) Functional interpretations, linear logic and games Paulo Oliva (Department of Computer Science, Queen Mary University of London)

Friday 31st October (week 3, Michaelmas Term 2008) Operational Reconstructions of Hilbert Space Quantum Mechanics - A Guided Tour Paul Busch (Department of Mathematics, University of York)

Friday 24th October (week 2, Michaelmas Term 2008) Proof systems for intuitionistic logic Roy Dyckhoff (School of Computer Science, University of St Andrews.)

Random Image
Random Image
Random Image