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.

While in-person participation is strongly encouraged, the talks will be accessible remotely as well, at the following Zoom link:
https://cs-ox-ac-uk.zoom.us/j/99562853810?pwd=VmJFUlhNbVJwOUpjTE5hUk9LUkMvUT09
Meeting ID: 995 6285 3810
Passcode: 983333

In case you miss the talk, a recording will be available in the future, but not until the end of the term.
Therefore we strongly recommend to come (or connect) to the actual event.

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 13Oct
  The Dafny Programming Language and Static Verifier

  14:00 Friday 13th October ( week 1, Michaelmas Term 2023 ) in Lecture Theatre B

  Stefan Zetzsche ( Amazon Web Services, London )
• 3Nov
  Sound and Complete Projection for Global Types

  14:00 Friday 3rd November ( week 4, Michaelmas Term 2023 ) in Tony Hoare room

  Dawit Tirore ( University of Copenhagen (Denmark) )
• 10Nov
  TBA

  14:00 Friday 10th November ( week 5, Michaelmas Term 2023 ) in Tony Hoare room

  Simon Fowler ( University of Glasgow (Scotland) )
• 17Nov
  TBA

  14:00 Friday 17th November ( week 6, Michaelmas Term 2023 ) in Tony Hoare room

  Fredrik Dahlqvist ( University College London, UK )
• 24Nov
  TBA

  14:00 Friday 24th November ( week 7, Michaelmas Term 2023 ) in Tony Hoare room

  Dylan Braithwaite ( University of Strathclyde, Glasgow (Scotland) )