OASIS: The Oxford Advanced Seminar on Informatic Structures
The Oxford Advanced Seminar on Informatic Structures is a weekly interdisciplinary seminar of the Department of Computer Science, University of Oxford. This seminar series exposes the research interests of the Foundations Logic and Structures research group. The predecessor of OASIS was initiated by Samson Abramsky; past seminars have been organised by Bob Coecke.
We have an organising programme committee of three people - Chris Heunen, Mehrnoosh Sadrzadeh, and Jamie Vicary - spanning the breadth of the interests of the Foundations group, from category theory, quantum computation and quantum information theory, to logic, semantics, and linguistics. We will have 9 talks this term! Feel free to contact any of us for further information or if you want to be added to the OASIS mailing list or to the Oxford Logic mailing list.
Everyone is more than welcome to attend OASIS. Unless otherwise stated, the talks are on Fridays at 2 pm in Lecture Theatre B of the Department of Computer Science, followed by informal friendly discussions over tea and biscuits in the lounge. Hope to see you all there.
Forthcoming seminarsPrevious seminars
Subscribe to this seminar series calendar.Coordinators | |
Related Themes | |
Related Activities | Algebra of Programming | Computational Linguistics | Epistemic Logics | Game Semantics and its Applications | Quantum Group |


