University of Oxford Branding

OUCL

news

admissions

research

teaching

people

calendar

resources

vacancies

studentships

login

OXFORD UNIVERSITY COMPUTING LABORATORY

Departmental Seminars

View all seminar series

This is a series of non-specialist lectures which should be of interest to most members of the Computing Laboratory, as well as to other members of the University.

Everyone is very welcome to come, and to suggest new topics and speakers to the co-ordinator.

Tuesdays at 4.30pm in the Lecture Theatre B (unless otherwise stated)


forthcoming seminars | previous seminars

Tuesday 1st December (week 8, Michaelmas Term 2009). 16:30, Lecture Theatre B Building Topometric Maps With a Robot Paul Newman

Tuesday 24th November (week 7, Michaelmas Term 2009). 16:30, Lecture Theatre B Steps towards self-aware networks Erol Gelenbe (Imperial College)

Tuesday 17th November (week 6, Michaelmas Term 2009). 16:30, Lecture Theartre B Exception Handling for Repair in Service-Based Processes Gerhard Friedrich (Institute for Applied Informatics, Alpen-Adria Universitaet Klagenfurt, Austria)

Tuesday 10th November (week 5, Michaelmas Term 2009). 16:30, Lecture Theartre B Verifying Concurrent Algorithms Matthew Parkinson (University of Cambridge)

Tuesday 3rd November (week 4, Michaelmas Term 2009). 16:30, Lecture Theatre B Data Provenance Professor Peter Buneman (University of Edinburgh)

Tuesday 27th October (week 3, Michaelmas Term 2009). 16:30, Lecture Theatre B Classes, Jim, but not as we know them Professor Simon Peyton-Jones (Microsoft Research Cambridge)

Tuesday 20th October (week 2, Michaelmas Term 2009). 16:30, Lecture Theatre B Exact Geometric Computation and Beyond Chee Yap (Courant Institute of Mathematical Sciences, New York University (visiting Oxford))

Tuesday 13th October (week 1, Michaelmas Term 2009). 16:30, Lecture Theatre B Inducing Synchronous Grammars for Machine Translation Phil Blunsom

Tuesday 22nd September 16:30, Lecture Theartre B Geometric Computing The Sciece of Making Geometric Algorithms Work Prof. Kurt Mehlhorn (Max-Planck-Institut fur Informatik)

Tuesday 16th June (week 8, Trinity Term 2009). 16:30, Lecture Theatre B SPADE: verification of multithreaded dynamic and recursive programs Tayssir Touili (LIAFA)

Tuesday 9th June (week 7, Trinity Term 2009). 16:30, Lecture Theatre B Building Internet-scale Distributed Systems for Fun and Profit Peter Pietzuch (Imperial College London)

Thursday 4th June (week 6, Trinity Term 2009). 15:00, Lecture Theatre A Case Studies in Ethica and Professionalism. Martyn Thomas

Tuesday 2nd June (week 6, Trinity Term 2009). 16:30, Lecture Theatre B Are Your (Valued) Relations Difficult? Dave Cohen (Royal Holloway London)

Wednesday 27th May (week 5, Trinity Term 2009). 16:00, Lecture Theatre B Monadic Constraint Programming T. Schrijvers

Tuesday 26th May (week 5, Trinity Term 2009). 16:30, Lecture Theatre B Priority Sampling Don Knuth

Thursday 21st May (week 4, Trinity Term 2009). 16:00, Lecture Theatre A Sheep, Goats, and Gilbreath Don Knuth (Stanford University)

Tuesday 19th May (week 4, Trinity Term 2009). 16:30, Lecture Theatre B Why play and how to win infinite games? Marcin Jurdzinski (University of Warwick)

Tuesday 12th May (week 3, Trinity Term 2009). 16:30, Lecture Theatre B Model Checking - My 27-year Quest to Overcome the State Explosion Problem Professor Edmund M. Clarke (FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering, Carnegie Mellon University)

Tuesday 5th May (week 2, Trinity Term 2009). 16:30, Lecture Theatre B Steps Towards Cognitive Vision Anthony Cohn

Tuesday 28th April (week 1, Trinity Term 2009). 16:30, Lecture Theatre B Recursion Schemes, Types and Model-Checking Functional Programs Prof. Luke Ong (Oxford University Computing Laboratory)

Tuesday 10th March (week 8, Hilary Term 2009). 16:30, Lecture Theatre B Predicting RNA Structures With Pseudoknots Under Nearest-Neighbour Models Dr. Rune Lyngsoe (Department of Statistics, University of Oxford)

Tuesday 3rd March (week 7, Hilary Term 2009). 16:30, Lecture Theatre B Aspects of Local Computation Prof. Steffen Lauritzen (Department of Statistics, University of Oxford)

Tuesday 24th February (week 6, Hilary Term 2009). 16:30, Lecture Theatre B From Substructural Logic to Systems Code Peter O'Hearn (Queen Mary University, London)

Tuesday 17th February (week 5, Hilary Term 2009). 16:30, Lecture Theatre B From SAT to efficient Parallel SAT Solving Youssef Hamadi (Microsoft Research)

Tuesday 10th February (week 4, Hilary Term 2009). 16:30, Lecture Theatre B Third Generation Machine Intelligence Professor Christopher Bishop (Chief Research Scientist at Microsoft Research, Cambridge. Also Professor of Computer Science at the University of Edinburgh, and a Fellow of Darwin College, Cambridge.)

Tuesday 3rd February (week 3, Hilary Term 2009). 16:30, Lecture Theatre B A realistic testbed for Multi-Agent Cooperation: the Robot Rescue Application Dr. Arnaud Visser (Univertiteit van Amsterdam)

Tuesday 27th January (week 2, Hilary Term 2009). 16:30, Lecture Theatre B Foundations and Applications of Schema Mappings Phokion G. Kolaitis (UC Santa Cruz and IBM Almaden Research Center)

Tuesday 20th January (week 1, Hilary Term 2009). 16:30, Lecture Theatre B Mental Imagery in Mathematics and Computer Science Prof. Alain Finkel (Ecole Normale Superieure de Cachan, France)

Tuesday 2nd December (week 8, Michaelmas Term 2008). 16:30, Lecture Theatre B Complexity: Structures and Specifications Anuj Dawar (Cambridge)

Tuesday 25th November (week 7, Michaelmas Term 2008). 16:30, Lecture Theatre B Dynamics, robustness and fragility of trust Dusko Pavlovic (Oxford University Computing Laboratory)

Tuesday 18th November (week 6, Michaelmas Term 2008). 16:30, Lecture Theatre B Verifying Probabilistic Programs: Three Easy Pieces Joel Ouaknine (Oxford University Computing Laboratory)

Tuesday 11th November (week 5, Michaelmas Term 2008). 16:30, Lecture Theatre B Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston

Tuesday 4th November (week 4, Michaelmas Term 2008). 16:30, Lecture Theatre B Automatic Verification of Data-Driven Web Services Victor Vianu (USCD)

Tuesday 28th October (week 3, Michaelmas Term 2008). 16:30, Lecture Theatre B Lost in translation: Formalizing C# 3.0 - CANCELLED Gavin Bierman (Microsoft Research)

Tuesday 21st October (week 2, Michaelmas Term 2008). 16:30, Lecture Theatre B Towards Access-Control Policies Written By Managers Michael Huth (Imperial College, London)

Tuesday 14th October (week 1, Michaelmas Term 2008). 16:30, Lecture Theatre B Data-Intensive Scalable Computing: Taking Google-Style Computing Beyond Web Search Randy Bryant (Carnegie Mellon, School of Computer Science)

Tuesday 23rd September (week -2, Michaelmas Term 2008). 14:00, Lecture Theatre A Fun with ZDDs Professor Don Knuth

Tuesday 9th September (week , Michaelmas Term 2008). 16:30, Lecture Theatre A States of Knowledge and the Logic of Campaigning Prof. Rohit Parikh (Distinguished Professor of Computer Science, Mathematics and Philosophy, City University of New York)

Tuesday 17th June (week 9, Trinity Term 2008). 15:00, Lecture Theatre A WYSINWYX: What You See Is Not What You eXecute Professor Thomas Reps (University of Wisconsin)

Tuesday 10th June (week 8, Trinity Term 2008). 16:30, Lecture Theatre A Should Alice and Bob join Facebook? Tackling security issues in social networking Angela Sasse (UCL)

Tuesday 3rd June (week 7, Trinity Term 2008). 16:30, Lecture Theatre A Streams and Unique Fixed Points Ralf Hinze (Computing Laboratory)

Thursday 29th May (week 6, Trinity Term 2008). 16:00, Lecture Theatre B Efficient Automatic STE Refinement Using Responsibility Professor Orna Grumberg (Technion)

Tuesday 20th May (week 5, Trinity Term 2008). 16:30, Lecture Theatre A Developing Robust Synthetic Biology Designs using a Microfluidic Robot Scientist Professor Stephen Muggleton (Imperial College)

Tuesday 13th May (week 4, Trinity Term 2008). 16:15, Lecture Theatre A 50 in 50 Dr Guy Steele and Dr Richard Gabriel (Sun Microsystems & IBM Research)

Tuesday 6th May (week 3, Trinity Term 2008). 16:30, Lecture Theatre A Proving that Software eventually does something good Byron Cook (Microsoft Research)

Tuesday 29th April (week 2, Trinity Term 2008). 16:30, Lecture Theatre A Graphs, Algorithms and a tiny bit of Logic Stephan Kreutzer (Oxford University Computing Laboratory)

Tuesday 22nd April (week 1, Trinity Term 2008). 16:30, Lecture Theatre A Automatic Abstraction for Model Checking by Symbolic Trajectory Evaluation Professor Tom Melham (Oxford University Computing Laboratory)

Tuesday 4th March (week 8, Hilary Term 2008). 16:30, Lecture Theatre A Computing for the Future of the Planet Andy Hopper (University of Cambridge)

Tuesday 26th February (week 7, Hilary Term 2008). 16:30, Lecture Theatre A TBA Tom Rodden (University of Nottingham)

Tuesday 12th February (week 5, Hilary Term 2008). 16:30, Lecture Theatre A WEB 2.NO: Anxieties about the Future of the Internet Jonathan Zittrain (Oxford Internet Institute and Harvard)

Tuesday 5th February (week 4, Hilary Term 2008). 16:30, Lecture Theatre A Collaboration and Telecollaboration in Design Frederick Brooks, Jr (University of North Carolina at Chapel Hill)

Tuesday 29th January (week 3, Hilary Term 2008). 16:30, Lecture Theatre A Copy-cat strategies in physics, geometry, logic and computation Samson Abramsky (OUCL)

Tuesday 22nd January (week 2, Hilary Term 2008). 16:30, Lecture Theatre A Why are many-dimensional modal logics so robustly undecidable? Professor Frank Wolter (University of Liverpool)

Tuesday 15th January (week 1, Hilary Term 2008). 16:30, Computing Laboratory Lecture Theatre Can Programming be Liberated, Period? Professor David Harel (Dept. of Computer Science and Applied Mathematics, Weizmann Institute of Science)

Monday  12:00, Design Beyond Human Abilities

Random Image
Random Image
Random Image