OASIS 10 Year Anniversary Workshop
This is a special workshop to celebrate the 10th anniversary of the OASIS seminar series. Full name the "Oxford Advanced Seminar on Informatic Structures", the series has become a fixture in the theory landscape of the Department. In that time the seminar has welcomed almost 200 speakers, with very few repetitions, bringing to the Department a comprehensive cross-section of the best work being carried out in theoretical computer science.
The speakers are some of the past organizers of the series: Samson Abramsky, Bob Coecke, Dan Ghica, Mehrnoosh Sadrzadeh and Nikos Tzevelekos. Everyone is welcome to come along and take part in the workshop.
14:30 - Samson Abramsky, "The mathematics of non-locality and contextuality"
15:00 - Bob Coecke, "Pictures of behaviours"
15:30 - Dan Ghica, "Compiling functional programs to unconventional architectures (with or without game semantics)"
16:00 - Break
16:30 - Mehrnoosh Sadrzadeh, "Quantifiers in categorical compositional distributional semantics"
17:00 - Nikos Tzevelekos, "Automata and programs over infinite alphabets"
18:00 - Drinks at the Royal Oak
Organizer: Jamie Vicary