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

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

31st October(week 3, Michaelmas Term 2008) TBA Paul Busch (Department of Mathematics, University of York)

7th November(week 4, Michaelmas Term 2008) TBA Paulo Oliva (Department of Computer Science, Queen Mary University of London)

13th November(week 5, Michaelmas Term 2008) TBA (Joint with Logic Seminar of Maths Department) Bob Coecke (Computing Laboratory, University of Oxford)

21st November(week 6, Michaelmas Term 2008) TBA Alex Simpson (School of Informatics, University of Edinburgh)

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

5th December(week 8, Michaelmas Term 2008) The issues around proving Fermat's Last Theorem in Peano Arithmetic (Joint with Logic Seminar of Maths Department) Angus MacIntyre (School of Mathematics, Queen Mary University of London)

Random Image
Random Image
Random Image