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 theme. We have an organising programme committee spanning the breadth of the interests of the Foundations group, from category theory, quantum computation and quantum information theory, to logic, semantics. Feel free to contact any of us for further information or if you want to be added to the talk announcement mailing list.

Everyone is more than welcome to attend OASIS. Unless otherwise stated, the talks are on Fridays at 2 pm in the Tony Hoare room of the Department of Computer Science, followed by informal friendly discussions over tea and biscuits in the lounge. Hope to see you all there.

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 28Apr
  A Framework for Higher-Order Effects & Handlers

  14:00 Friday 28th April ( week 1, Trinity Term 2023 ) in Tony Hoare room

  Tom Schrijvers ( KU Leuven, Belgium )
• 5May
  TBA

  14:00 Friday 5th May ( week 2, Trinity Term 2023 ) in Tony Hoare room

  Luca Reggio ( University College London, UK )
• 26May
  Event structure semantics for multiparty sessions

  14:00 Friday 26th May ( week 5, Trinity Term 2023 ) in Tony Hoare room

  Ilaria Castellani ( INRIA, France )