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
Friday 4th May
(week 2, Hilary Term 2012).
14:00 in Lecture Theatre B
Jeremy Butterfield
(Senior Research Fellow, Trinity College, University of Cambridge)
Friday 27th April
(week 1, Trinity Term 2012).
14:00 in Lecture Theatre B (LTB)
Greg Restall
(Faculty of Philosophy, Anthropology and Social Inquiry, University of Melbourne)
Friday 27th April
(week 1, Trinity Term 2012).
10:30 in 051
Benno van den Berg
(Utrecht University)
Friday 20th April
(week 0, Trinity Term 2012).
14:00 in Room 051, Department of Computer Science
Mike Stay
(Google and the University of Auckland)
Friday 9th March
(week 8, Hilary Term 2012).
14:00 in Lecture Theatre B (LTB)
Prof. Ian Pratt-Hartmann
(School of Computer Science, University of Manchester)
Friday March
(week 7, Hilary Term 2012).
14:00 in Lecture Theatre B (LTB)
J. Mark Bishop
(Professor of Cognitive Computing, Department of Computing, Goldsmiths, University of London)
Friday 24th February
(week 6, Hilary Term 2012).
14:00 in Lecture Theatre B, Department of Computer Science
Kobi Kremnitzer
(Mathematical Instituteq)
Friday 17th February
(week 5, Hilary Term 2012).
14:00 in Lecture Theatre B
Alexander Kurz
(University of Leicester)
Friday 3rd February
(week 3, Hilary Term 2012).
14:00 in
Erol Gelenbe
(Dennis Gabor Professor at Imperial College)
Friday 27th January
(week 2, Hilary Term 2012).
14:00 in Lecture Theatre B, Department of Computer Science
Alastair Kay
(Mathematical Institute, University of Oxford and Centre for Quantum Technologies, National University of Singapore)
Friday 20th January
(week 1, Hilary Term 2003).
14:00 in LTB
Clemens Kupke
(Research Assistant at University of Oxford)
Friday 9th December
(week 9, Michaelmas Term 2011).
14:00 in Lecture Theatre A (LTA)
Shalom Lappin
(Professor of Computational Linguistics, Department of Philosophy, King’s College London)
Friday 2nd December
(week 8, Michaelmas Term 2011).
14:00 in 380
Roy Crole
(Senior Lecturer of Computer Science, Department of Computer Science, University of Leicester)
Friday 25th November
(week 7, Michaelmas Term 2011).
14:00 in Room 380
Mark Steedman
(Professor of Cognitive Science, School of Informatics, University of Edinburgh)
Friday 18th November
(week 6, Michaelmas Term 2011).
14:00 in 380
Tony Short
(Research Fellow at the Department of Applied Mathematics and Theoretical Physics, University of Cambridge)
Friday 11th November
(week 5, Michaelmas Term 2011).
14:00 in 380
Alexey Gotsman
(IMDEA Software Institute, Spain)
Friday 4th November
(week 4, Michaelmas Term 2011).
14:00 in 380
Joel Ouaknine
(Professor of Computer Science, Department of Computer Science, University of Oxford)
Friday 21st October
(week 2, Michaelmas Term 2011).
14:00 in 380
Harvey Brown
(Professor of Philosophy of Physics, University of Oxford)
Friday 7th October
(week 0, Michaelmas Term 2011).
14:00 in Lecture Theatre B, Department of Computer Science
Alastair Kay
(University of Oxford and National University of Singapore)
Friday 24th June
(week 8, Trinity Term 2011).
14:00 in Lecture Theatre B
Owen Maroney
(Department of Philosophy, University of Oxford)
Friday 17th June
(week 7, Trinity Term 2011).
14:00 in Lecture Theatre B, Department of Computer Science
Professor Lane P. Hughston
(Imperial College London)
Tuesday 14th June
(week , Trinity Term 2011).
14:00 in Lecture Theatre B
Pierre Clairambault
(University of Bath)
Friday 3rd June
(week 5, Trinity Term 2011).
14:00 in Lecture Theatre B
Radu Mardare
(Aalborg University)
Friday 27th May
(week 4, Trinity Term 2011).
14:00 in Lecture Theatre B
Glynn Winskel
(University of Cambridge)
Monday 23rd May
(week 4, Trinity Term 2011).
14:00 in Lecture Theatre B
Juha Kontinen
(Dept. of Mathematics and Statistics, University of Helsinki)
Friday 20th May
(week 3, Trinity Term 2011).
14:00 in Lecture Theatre B, Computing Laboratory
Dr Nathan Bowler
(University of Cambridge, DPMMS)
Friday 13th May
(week 2, Trinity Term 2011).
14:00 in Lecture Theatre B
Prof. Jeff Parris
(School of Mathematics, University of Manchester)
Friday 6th May
(week 1, Trinity Term 2011).
14:00 in Lecture Theatre B, Computing Laboratory
Professor Jean Benabou
(Paris)
Friday 18th March
(week 9, Hilary Term 2011).
14:00 in Lecture Theatre B
David Pearce
(Dept. Artificial Intelligence, Universidad Politécnica de Madrid)
Friday 11th March
(week 8, Hilary Term 2011).
14:00 in Lecture Theatre B
Vincenzo Ciancia
(Institute for Logic Language Computation, University of Amsterdam)
Monday 7th March
(week 8, Hilary Term 2011).
14:00 in Lecture Theatre B, Computing Laboratory
Fotini Markopoulou
(Perimeter Institute)
Friday 4th March
(week 7, Hilary Term 2011).
14:00 in Lecture Theatre B
Prof. Robin Cooper
(Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg)
Friday 25th February
(week 6, Hilary Term 2011).
14:00 in Lecture Theatre B, Computing Laboratory
Joy Christian
(University of Oxford)
Friday 18th February
(week 5, Hilary Term 2011).
14:00 in Lecture Theatre B
Prof Matthew Hennessy
(Trinity College Dublin)
Friday 11th February
(week 4, Hilary Term 2011).
14:00 in Lecture Theatre B
Neel Krishnaswami
(Microsoft Research Cambridge)
Friday 4th February
(week 3, Hilary Term 2011).
14:00 in Lecture Theatre B
Nick Benton
(Microsoft Research Cambridge)
Friday 28th January
(week 2, Hilary Term 2011).
14:00 in Lecture Theatre B, Computing Laboratory
Noson Yanofsky
(CUNY)
Friday 21st January
(week 1, Hilary Term 2011).
14:00 in Lecture Theatre B
Tobias Fritz
(ICFO, Barcelona)
Friday 3rd December
(week 8, Michaelmas Term 2010).
14:00 in Lecture Theatre B
Noam Zeilberger
(Laboratoire PPS, Université Paris 7 - Denis Diderot)
Friday 26th November
(week 7, Michaelmas Term 2010).
14:00 in Lecture Theatre B
Prof. Roger Penrose (Sir)
(Maths Institute, University of Oxford)
Friday 12th November
(week 5, Michaelmas Term 2010).
14:00 in Lecture Theatre B
Dino Distefano
(Queen Mary, University of London)
Friday 5th November
(week 3, Michaelmas Term 2010).
14:00 in Lecture Theatre B, Computing Laboratory
Dr Sam Staton
(PPS, Paris VII)
Friday 22nd October
(week 2, Michaelmas Term 2010).
14:00 in Lecture Theatre B
Dan Ghica
(University of Birmingham)
Friday 15th October
(week 1, Michaelmas Term 2010).
12:00 in Lecture Theatre B
Prakash Panangaden
(Computing Laboratory, University of Oxford -- on sabbatical from School of Computer Science, McGill University)
Tuesday 5th October
(week 0, Michaelmas Term 2010).
16:00 in Lecture Theatre B
Marcelo Fiore
(Computer Laboratory, University of Cambridge)
Friday 25th June
(week 9, Trinity Term 2010).
14:00 in Lecture Theatre B, Computing Laboratory
Lucien Hardy
(Perimeter Institute)
Friday 18th June
(week 8, Trinity Term 2010).
14:00 in Lecture Theater B
Bill Roscoe and Dana Scott
(Bill: OUCL, Dana: CMU and Visiting Fellow of Magdalen College)
Friday 4th June
(week 6, Trinity Term 2010).
14:00 in Lecture Theatre B
Pasquale Malacaria
(Queen Mary)
Friday 21st May
(week 4, Trinity Term 2010).
14:00 in Lecture Theatre B
James Worrell
(Oxford University Computing Laboratory)
Friday 14th May
(week 3, Trinity Term 2010).
14:00 in Lecture Theatre B
Manfred Droste
(University of Leipzig)
Friday 7th May
(week 2, Trinity Term 2010).
14:00 in Lecture Theatre B, Computing Laboratory
Professor Steve Simon
(Department of Physics, University of Oxford)
Friday 30th April
(week 1, Trinity Term 2010).
14:00 in Lecture Theater B
Jeremy Gibbons
(Oxford University Computing Laboratory)
Friday 23rd April
(week 0th week, Trinity Term 2010).
14:00 in Lecture Theatre B, Computing Laboratory
Professor Bart Jacobs
(Radboud University Nijmegen)
Wednesday 10th March
(week 8, Hilary Term 2010).
14:00 in Lecture Theatre A, Computing Laboratory
Tom Leinster
(University of Glasgow)
Friday 5th March
(week 7, Hilary Term 2010).
14:00 in Lecture Theater B
Colin Stirling
(Laboratory for Foundations of Computer Science, University of Edinburgh)
Friday 26th February
(week 6, Hilary Term 2010).
14:00 in Lecture Theatre B
Phil Wadler
(University of Edinburgh)
Thursday 18th February
(week 5, Hilary Term 2010).
14:00 in Lecture Theatre **A**, Computing Laboratory
Paul-André Melliès
(Laboratoire PPS, Paris VIII)
Friday 12th February
(week 4, Hilary Term 2010).
14:00 in Lecture Theatre B
Luca Cardelli
(Microsoft Research, Cambridge)
Friday 5th February
(week 3, Hilary Term 2010).
14:00 in Lecture Theater B
Josée Desharnais
(Laval Univesity, Visiting Oxford)
Friday 29th January
(week 2, Hilary Term 2010).
14:00 in Lecture Theater B
Jonathan Barrett
(University of Bristol)
Friday 22nd January
(week 1, Hilary Term 2010).
14:00 in Lecture Theater B
Alex Rabinovich
(Tel Aviv University, Visiting Oxford)
Friday 4th December
(week 8, Michaelmas Term 2009).
14:00 in Lecture Theatre B
Ulrich Schoepp
(LMU Munich)
Friday 27th November
(week 7, Michaelmas Term 2009).
14:00 in Lecture Theatre B
Timothy Porter
(University of Wales, Bangor)
Friday 20th November
(week , Michaelmas Term 2009).
14:00 in Lecture Theatre B, Oxford University Computing Laboratory
Dr Jonathan Oppenheim
(DAMTP, University of Cambridge)
Friday 13th November
(week 5, Michaelmas Term 2009).
14:00 in Lecture Theatre B
Andrew Pitts
(University of Cambridge)
Friday 6th November
(week 4, Michaelmas Term 2009).
14:00 in Lecture Theatre B
Vlatko Vedral
(Professor of Quantum Information Science at University of Oxford, Professor of Physics at National University of Singapore)
Friday 30th October
(week 3, Michaelmas Term 2009).
14:00 in Lecture Theatre B, Oxford University Computing Laboratory
Dr John Morton
(Department of Materials, University of Oxford)
Friday 23rd October
(week 2, Michaelmas Term 2009).
14:00 in Lecture Theatre B
Professor Angus Macintyre FRS
(Mathematics Research Centre, Queen Mary University of London)
Friday 16th October
(week 1, Michaelmas Term 2009).
14:00 in Lecture Theatre B
Vasileios Koutavas
(Trinity College Dublin)
Wednesday 30th September
(week -1, Michaelmas Term 2009).
16:30 in Lecture Theater B (Joint with Departmental Seminar)
Dexter Kozen
(Joseph Newton Pew, Jr. Professor in Engineering, Computer Science Department, Cornell University)
Friday 19th June
(week 8, Trinity Term 2009).
14:00 in Lecture Theatre B
Julian Gutierrez
(University of Edinburgh)
Friday 12th June
(week 7, Trinity Term 2009).
14:00 in Lecture Theatre B
Edith Elkind
(University of Southampton/ Nanyang Technological University)
Friday 5th June
(week 6, Trinity Term 2009).
14:00 in Lecture Theatre B
Nick Bezhanishvili
(Imperial College)
Friday 29th May
(week 5, Trinity Term 2009).
14:00 in Lecture Theatre B
Dirk Pattinson
(Imperial College)
Friday 22nd May
(week 4, Trinity Term 2009).
14:00 in Lecture Theatre B
Nobuko Yoshida
(Imperial College)
Friday 15th May
(week 3, Trinity Term 2009).
14:00 in Lecture Theatre B
Martin Escardo
(University of Birmingham)
Friday 8th May
(week 2, Trinity Term 2009).
14:00 in Lecture Theatre B
Stephan Kreutzer
(University of Oxford)
Friday 13th March
(week 8, Hilary Term 2009).
14:00 in Lecture Theater B
Prof. Leslie Goldberg
(University of Liverpool)
Friday 6th March
(week 7, Hilary Term 2009).
14:00 in Lecture Theater B
Eugenia Cheng
(University of Sheffield)
Friday 27th February
(week 6, Hilary Term 2009).
14:00 in Lecture Theater B
Renate Schmidt
(University of Manchester)
Friday 20th February
(week 5, Hilary Term 2009).
14:00 in Lecture Theater B
Prof. Susan Stepney
(University of York)
Friday 13th February
(week 4, Hilary Term 2009).
12:00 in Lecture Theater B
Natasha Alechina
(University of Nottingham)
Thursday 5th February
(week 3, Hilary Term 2009).
17:00 in Maths Department
Olivia Caramello
(University of Cambridge)
Friday 30th January
(week 2, Hilary Term 2009).
14:00 in Lecture Theater B
Prof. Marta Kwiatkowska
(Computing Laboratory, University of Oxford)
Friday 23rd January
(week 1, Hilary Term 2009).
14:00 in Lecture Theater B
Prof. Claudia Casadio
(University of Chieti, Italy)
Friday 5th December
(week 8, Michaelmas Term 2008).
14:00 in Lecture Theater B
Angus MacIntyre
(School of Mathematics, Queen Mary University of London)
Friday 28th November
(week 7, Michaelmas Term 2008).
14:00 in Lecture Theater B
Ian Horrocks
(Computing Laboratory, University of Oxford)
Friday 21st November
(week 6, Michaelmas Term 2008).
14:00 in Lecture Theater B
Alex Simpson
(School of Informatics, University of Edinburgh)
Thursday 13th November
(week 5, Michaelmas Term 2008).
17:00 in Mathematics Department, L3
Bob Coecke
(Computing Laboratory, University of Oxford)
Friday 7th November
(week 4, Michaelmas Term 2008).
14:00 in Lecture Theater B
Paulo Oliva
(Department of Computer Science, Queen Mary University of London)
Friday 31st October
(week 3, Michaelmas Term 2008).
14:00 in Lecture Theater B
Paul Busch
(Department of Mathematics, University of York)
Friday 24th October
(week 2, Michaelmas Term 2008).
14:00 in Lecture Theater B
Roy Dyckhoff
(School of Computer Science, University of St Andrews.)
Coordinator | |
Related Themes | |
Related Activities | Algebra of Programming | Computational Linguistics | Epistemic Logics | Game Semantics and its Applications | Quantum Group |
