The Oxford Advanced Seminar on Informatic Structures is a weekly interdisciplinary seminar of Oxford University Computing Laboratory. This seminar series exposes the research interests of the Foundations Logic and Structures research group. Past seminars organised by Bob Coecke can be accessed here. The predecessor of OASIS was initiated by Samson Abramsky.
For Michaelmas 2009 we have an organising PC of 3 people, each representing a subgroup of the Foundations group: Mehrnoosh Sadrzadeh for Modal Logic and Quantum Linguistics, Nikos Tzevelekos for Logic and Semantics, and Jamie Vicary for Categorical Quantum Computing. We will have 9 talks this term, 3 per subgroup! 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 ComLab, followed by informal friendly discussions over a cup of tea and cookies in the lounge. Hope to see you all there.
