Departmental Seminars

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

To subscribe to the mailing list for these seminars, please visit https://mailman.cs.ox.ac.uk/mailman/listinfo/talk-announce and subscribe.

Everyone is very welcome to come, and to suggest new topics and speakers to Ronald Clark (co-ordinator).

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

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

There are no upcoming seminars in this series at this time. Please check again soon.

• 15Oct2024
  Spectres, Meltdowns, Zombies, Orcs: Can formal methods banish the ghosts that haunt our computing systems?

  14:00 15th October ( Michaelmas Term 2024 ) in Lecture Theatre A, Department of Computer Science, Wolfson Building, Parks Road, Oxford,OX1 3QD

  Prof Wolfgang Kunz ( Rheinland-Pfälzische Technische Universität (RPTU) )
• 31May2024
  AI Safety and Theoretical Computer Science

  14:00 Friday 31st May ( Trinity Term 2024 ) in Lecture Theatre A, Department of Computer Science, Wolfson Building, Parks Road, Oxford,OX1 3QD

  Scott Aaronson ( University of Texas, Austin & OpenAI )
• 28May2024
  Why the Era of Quantum Utility Must Also be the Era of Responsible Quantum Computing

  14:00 Tuesday 28th May ( Trinity Term 2024 ) in Tony Hoare Room, Robert Hooke Building, OX1 3PB

  Dr. Mira L. Wolf-Bauwens ( IBM )
• 16Jan2024
  Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception

  14:00 Tuesday 16th January ( Hilary Term 2024 ) in Strachey Seminar Room (003), Robert Hooke Building, Department of Computer Science, OX1 3QD

  Prof Ufuk Topcu ( University of Texas at Austin )
• 28Nov2023
  Departmental Seminar: (Machine) Learning Cheetah Locomotion

  13:30 28th November ( week 9, Michaelmas Term 2023 ) in Lecture Theatre A, Department of Computer Science, University of Oxford Room, Wolfson Building, Parks Road Oxford OX1 3QD

  Dr Amir Patel ( University of Cape Town, South Africa )
• 14Nov2023
  Athena Swan and Diversity and Inclusion at UCL’s Computer Science Department

  13:30 14th November ( Michaelmas Term 2023 ) in Lecture Theatre A, Department of Computer Science, Wolfson Building, Parks Road, Oxford,OX1 3QD

  Professor Ifat Yasin ( UCL )
• 14Nov2023
  Departmental Seminar: People, Problems, and Proofs

  15:00 Tuesday 14th November ( Michaelmas Term 2023 ) in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford,OX1 3QD

  Richard Lipton ( Georgia Institute of Technology )
• 9Nov2023
  Departmental Seminar: Incremental Maximum Satisfiability

  14:00 9th November ( Michaelmas Term 2023 ) in Lecture Theatre A, Department of Computer Science, Wolfson Building, Parks Road, Oxford,OX1 3QD

  Andreas Niskanen ( University of Helsinki )
• 27Oct2023
  Departmental Seminar: Humanlike Few-Shot Learning using Bayesian Reasoning and Natural Language

  14:00 Friday 27th October ( week 3, Michaelmas Term 2023 ) in Lecture Theatre B, Department of Computer Science, University of Oxford Room, Wolfson Building, Parks Road Oxford OX1 3QD

  Dr Kevin Ellis ( Cornell University )
• 24Oct2023
  Department Seminar: Graph Mining for Health

  14:00 Tuesday 24th October ( week 3, Michaelmas Term 2023 ) in Lecture Theatre A, Department of Computer Science, Wolfson Building, Parks Road, Oxford,OX1 3QD

  Carl Yang ( Emory University (Atlanta, USA) )
• 27Jun2023
  Understanding polynomial epidemic spread in social networks

  14:00 Tuesday 27th June ( week 10, Trinity Term 2023 ) in Lecture Theatre A, Department of Computer Science, Wolfson Building, Parks Road, Oxford, OX1 3QD

  Dr John Lapinskas ( University of Bristol )
• 7Jun2023
  Context-Bounded Analysis of Concurrent Systems

  14:00 Wednesday 7th June ( week 7, Trinity Term 2023 ) in Room 051

  Rupak Majumdar ( Max Planck Institute for Software Systems )
• 7Mar2023
  Beyond Human Creativity : Navigating the Legal and Ethical Implications of AI-Generated Art in a Posthuman World’

  14:00 Tuesday 7th March ( week 8, Hilary Term 2023 ) in Tony Hoare room in RHB (48)

  Dr Martin Clancy ( Trinity College, Dublin )
• 25Jan2023
  Neuro-symbolic learning for bilevel planning

  14:00 Wednesday 25th January ( week 1, Hilary Term 2023 ) in Room 051

  Tom Silver (MIT)
• 16Jan2023
  World Logic Day 2023

  10:45 Monday 16th January ( week Week 1, Hilary Term 2023 ) <meta itemprop="location" content="TBA"/>
• 15Nov2022
  Stackelberg Games and Their Applications to General Equilibrium Theory

  14:00 Tuesday 15th November ( week 6, Michaelmas Term 2022 ) in Lecture Theatre A, Wolfson Building

  Denizalp Göktaş ( Computer Science Department (Brown University) )
• 11Oct2022
  Web Search Engines: From the Lab to the Engine Room, and Back

  15:00 Tuesday 11th October ( week 1, Michaelmas Term 2022 ) in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford, OX1 3QD

  Dr Prabhakar Raghavan ( GOOGLE )
• 8Jun2022
  The Power of Platforms: Shaping Media and Society

  14:00 Wednesday 8th June ( week 7, Trinity Term 2022 ) in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford, OX1 3QD

  Professor Rasmus Nielsen ( University of Oxford )
• 13Apr2022
  On the usefulness of decomposition and composition strategies in program synthesis

  14:00 Wednesday 13th April 2022 in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford, OX1 3QD

  Seb Dumančić (TU Delft) ( TU Delft )
• 21Mar2022
  Beyond worst-case adversaries in machine learning

  14:00 Monday 21st March ( week 10, Hilary Term 2022 ) in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford, OX1 3QD

  Nika Haghtalab ( UC Berkeley )
• 17Mar2022
  On Discrete Fair Division

  14:00 17th March ( week 9, Hilary Term 2022 ) <meta itemprop="location" content="TBA"/>

  Bhaskar Ray Chaudhury ( University of Illinois at Urbana Champaign (UIUC) )
• 2Mar2022
  Synthesis from within: extending SMT solvers with automated synthesis capabilities.

  14:00 Wednesday 2nd March ( week 7, Trinity Term 2022 ) in Via Teams

  Prof. Cesare Tinelli ( University of Iowa )
• 14Jan2022
  World Logic Day 2022

  10:30 Friday 14th January ( Hilary Term 2022 ) in Teams

  Online live talk by 4 senior researchers
• 1Dec2021
  All models are wrong, some are dangerous

  14:00 Wednesday 1st December ( week 8, Michaelmas Term 2021 ) in Via TEAMS

  Abeba Birhane ( University College Dublin )
• 24Nov2021
  PL and HCI: Better Together

  14:00 Wednesday 24th November ( week 7, Michaelmas Term 2021 ) in Teams

  Elena L Glassman, Sarah E Chasins, Joshua Sunshine ( Harvard University )
• 2Jun2021
  Consumer IoT Devices: Privacy Implications and Mitigations

  14:00 Wednesday 2nd June ( week 6, Trinity Term 2021 ) in Teams Meeting

  Dr Anna Maria Mandalari ( Imperial College London )
• 7May2021
  A Conversation with Patrick Pichette

  10:30 Friday 7th May ( week Week 2, Trinity Term 2021 ) in Teams Meeting

  Patrick Pichette ( Former CFO of Google )
• 24Feb2021
  Social Reinforcement Learning

  16:30 Wednesday 24th February ( week 6, Hilary Term 2021 ) in MS Teams

  Natasha Jacques ( Berkeley Google AI )
• 17Feb2021
  ML + UX: Building ML Products for People

  16:00 17th February ( week 5, Hilary Term 2021 ) in Teams Live Event -

  Michelle Carney
• 20Jan2021
  Uncertainty in Structured Prediction - exploring the limits of scale

  15:00 Wednesday 20th January ( week 1, Hilary Term 2021 ) in Teams

  Andrey Malinin ( Senior Research Scientist at Yandex )
• 14Jan2021
  World Logic Day

  11:00 Thursday 14th January ( Hilary Term 2021 ) <meta itemprop="location" content="TBA"/>

  Online live talks by 5 senior researchers

  Join us online
• 2Dec2020
  Can we do ethical software engineering?

  15:00 Wednesday 2nd December ( week 8, Michaelmas Term 2020 ) in Webinar

  Alexander Pretschner ( Technische Universität München )
• 10Nov2020
  Holonomic Techniques, Periods, and Decision Problems

  14:00 Tuesday 10th November ( week Week 5, Michaelmas Term 2020 ) in A Zoom link will be provided in due course

  Joel Ouaknine ( University of Oxford )
• 11Feb2020
  Analyzing Source Code using Graph Neural Networks and Natural Language

  13:30 Tuesday 11th February ( week 4, Hilary Term 2020 ) in LTB Wolfson Building

  Miltos Allamanis ( MSR Cambridge )
• 26Nov2019
  Memory and performance optimized prefix tries for NVMM

  14:00 Tuesday 26th November ( week 7, Michaelmas Term 2019 ) in Lecture Theatre B, Wolfson Building

  Andre Brinkmann ( Johannes Gutenberg University Mainz )
• 5Nov2019
  Babbage's life and machines

  14:00 Tuesday 5th November ( week 4, Michaelmas Term 2019 ) in LTB

  Adrian Johnstone and Elizabeth Scott ( University of London )
• 29Oct2019
  Robust Algorithms for Uncertain Environments

  14:00 Tuesday 29th October ( week 3, Michaelmas Term 2019 ) in LTB Wolfson Building

  Anupam Gupta ( Carnegie Mellon University )
• 28Oct2019
  On Odor Reproduction, and How to Test For It

  15:00 Monday 28th October ( week 3, Michaelmas Term 2019 ) in Lecture Theatre B, Wolfson Building

  Prof. David Harel ( Weizmann Institute )
• 22Oct2019
  A Framework for Interactive Learning

  14:00 Tuesday 22nd October ( week 2, Michaelmas Term 2019 ) in Lecture Theatre B, Wolfson Building

  David Kempe ( University of Southern California )
• 17Sep2019
  Indoor Human Information Acquisition from Physical Vibrations

  14:00 Tuesday 17th September ( Michaelmas Term 2019 ) in Lecture Theatre B, Wolfson Building

  Shijia Pan ( University of California Merced. )
• 3Sep2019
  Designing Agents' Preferences, Beliefs, and Identities

  14:00 Tuesday 3rd September ( Michaelmas Term 2019 ) in Lecture Theatre B, Wolfson Building

  Vincent Conitzer ( Duke University (USA) )
• 11Jun2019
  Inductive Learning of Answer Set Programs

  14:00 Tuesday 11th June ( week 7, Trinity Term 2019 ) in Lecture Theatre B, Wolfson Building

  Mark Law ( Imperial College London )
• 4Jun2019
  Interactive 3D Modeling and Digital Fabrication

  14:00 Tuesday 4th June ( week 6, Trinity Term 2019 ) in Tony Hoare Room, Robert Hooke Building

  Olga Sorkine-Hornung ( ETH Zurich )
• 28May2019
  White Coat, Black Box: Augmenting Clinical Care with AI in the Era of Deep Learning

  14:00 Tuesday 28th May ( week 5, Trinity Term 2019 ) in Lecture Theatre A, Wolfson Building

  Jenna Wiens ( University of Michigan )
• 7May2019
  Fun Facts about Polynomials, and Applications to Distributed Storage

  14:00 Tuesday 7th May ( week 2, Trinity Term 2019 ) in Lecture Theatre B, Wolfson Building

  Mary Wootters ( Stanford University )
• 30Apr2019
  Learning algorithms using logic

  14:00 Tuesday 30th April ( week 1, Trinity Term 2019 ) in Lecture Theatre B, Wolfson Building

  Andrew Cropper
• 6Mar2019
  Learning from Computer Simulations to Tackle Real-World Problems

  11:00 Wednesday 6th March ( week 8, Hilary Term 2019 ) in Tony Hoare Room, Robert Hooke Building

  Kim Hoon ( Korea Advanced Institute of Science and Technology (KAIST) )
• 5Mar2019
  Apperception

  14:00 Tuesday 5th March ( week 8, Hilary Term 2019 ) in Lecture Theatre B, Wolfson Building

  Richard Evans ( (DeepMind) )
• 26Feb2019
  Program Invariants

  14:00 Tuesday 26th February ( week 7, Hilary Term 2019 ) in Lecture Theatre B, Wolfson Building

  Joel Ouaknine ( University of Oxford )
• 19Feb2019
  Computational Behavior Analysis through Wearables and Machine Learning -- Pushing the Boundaries towards usable Digital Health.

  11:00 Tuesday 19th February ( week 6, Hilary Term 2019 ) in Lecture Theatre A, Wolfson Building

  Thomas Ploetz ( Georgia Institute of Technology )
• 13Nov2018
  Supporting Interactions in Online Groups, a new challenge for AI

  14:00 Tuesday 13th November ( week 6, Michaelmas Term 2018 ) in LTB, Wolfson Building

  Kobi Gal ( Ben-Gurion University )
• 6Nov2018
  Scalable Intelligent Systems by 2025

  14:00 Tuesday 6th November ( week 5, Michaelmas Term 2018 ) in Lecture Theatre B, Wolfson Building

  Carl Hewitt
• 10Oct2018
  Discrete Optimization Challenges in Computational Sustainability

  14:00 Wednesday 10th October ( week 1, Michaelmas Term 2018 ) in Lecture Theatre B, Wolfson Building

  Bistra Dilkina ( CSE )
• 9Oct2018
  Kuifje: Quantified Information Flow with Monads in Haskell

  14:00 Tuesday 9th October ( week 1, Michaelmas Term 2018 ) in Lecture Theatre B, Wolfson Building

  Tom Schrijvers
• 2Oct2018
  Teaching Artificial Agents to Understand Language by Modelling Reward

  14:00 Tuesday 2nd October ( Michaelmas Term 2018 ) in Lecture Theatre B, Wolfson Building

  Edward Grefenstette
• 21Aug2018
  Quantitative Evaluation of Generative Models and the GAN Landscape

  14:00 Tuesday 21st August 2018 in Lecture Theatre B, Wolfson Building

  Mario Lucic & Olivier Bachem
• 12Jun2018
  Compositional Compiler Verification for a Multi-Language World

  14:00 Tuesday 12th June ( Trinity Term 2018 ) in Lecture Theatre B, Wolfson Building, Department of Computer Science

  Amal Ahmed ( Northeastern Univ. )
• 15May2018
  Research Challenges and Solutions for IOT/CPS

  14:00 Tuesday 15th May ( week 4, Trinity Term 2018 ) in LTB

  Professor John A. Stankovic
• 24Apr2018
  Ballerina, a modern programming language focused on integration

  14:00 24th April ( Trinity Term 2018 ) in Lecture Theatre B

  Sanjiva Weerawarana ( WS02 )
• 1Mar2018
  Continuous representation of language and its implications -- In the case of neural machine translation

  15:00 1st March ( Hilary Term 2018 ) in LTB

  Kyunghyun Cho
• 21Nov2017
  Strachey Lecture - The Continuing Evolution of C++

  14:00 Tuesday 21st November ( week 7, Michaelmas Term 2017 ) in Lecture Theatre 1, Mathematical Institute, University of Oxford, Andrew Wiles Building, Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX2 6GG

  Professor Bjarne Stroustup ( Morgan Stanley & Columbia University )
• 14Nov2017
  Issues in Ethical Data Management

  14:00 Tuesday 14th November ( Michaelmas Term 2017 ) in Lecture Theatre B

  Serge Abiteboul ( ENS Ulm/INRIA )
• 7Nov2017
  Dynamic Software Model Checking for Security

  14:00 Tuesday 7th November ( week 5, Michaelmas Term 2017 ) in Lecture Theatre B, Wolfson Building, Parks Road

  Patrice Godefroid ( Microsoft Research )
• 31Oct2017
  Verification and Validation of Robot Assistants

  14:00 Tuesday 31st October ( week 4, Michaelmas Term 2017 ) in Lecture Theatre B

  Clare Dixon ( university of Liverpool )
• 24Oct2017
  The confounding problem of private data release

  14:00 Tuesday 24th October ( Michaelmas Term 2017 ) in LTB, Wolfson Building

  Graham Cormode ( Warwick )
• 29Aug2017
  Bidirectional transformations: two's company?

  14:00 29th August 2017 in Lecture Theatre B, Wolfson Building, Parks Road

  Perdita Stevens ( University of Edinburgh )
• 4Jul2017
  Unifying task specification in reinforcement learning

  14:00 Tuesday 4th July ( Trinity Term 2017 ) in Lecture Theatre B, Wolfson Building, Department of Computer Science

  Martha White ( University of Alberta )
• 13Jun2017
  A Computer Scientist Thinks About the Brain

  14:00 Tuesday 13th June ( week 8, Trinity Term 2017 ) in Lecture Theatre B, Wolfson Buidling, Parks Road

  Christos Papadimitriou ( UC Berkeley )
• 8Jun2017
  Interactive Visual Discovery in Event Analytics: Electronic Health Records and Other Applications

  14:00 Thursday 8th June ( Trinity Term 2017 ) in Lecture Theatre B

  Ben Shneiderman ( University of Maryland )
• 30May2017
  What does the Future of Programming Look Like?

  14:00 Tuesday 30th May ( Trinity Term 2017 ) in Lecture Theatre B, Wolfson Building, Department of Computer Science

  Dave Pearce ( Victoria University of Wellington )
• 23May2017
  Preventing Information Leaks with Policy-Agnostic Programming

  14:00 Tuesday 23rd May ( week 5, Trinity Term 2017 ) in Lecture Theatre B, Wolfson Building, Department of Computer Science

  Jean Yang ( Carnegie Mellon University )
• 26Apr2017
  Planning and Learning for Multi-Robot Coordination

  14:00 Wednesday 26th April ( week 1, Trinity Term 2017 ) in Lecture Theatre B

  Christopher Amato ( Northeastern University )
• 24Apr2017
  The Competition Complexity of Auctions: Bulow-Klemperer Results for Multi-Dimensional Bidders

  14:00 24th April ( week 1, Trinity Term 2017 ) in LTB, Department of Computer Science

  Inbal Talgam Cohen
• 28Feb2017
  Cost-Utility Analysis in Probabilistic Models

  14:00 Tuesday 28th February ( Hilary Term 2017 ) in Lecture Theatre B, Wolfson Building, Parks Road

  Christel Baier ( Technische Universität Dresden )
• 25Nov2016
  Recent Progress on Computational Game Theory for Security

  11:00 Friday 25th November ( week 7, Michaelmas Term 2016 ) in Lecture Theatre B

  Bo An ( Nanyang Technological University, Singapore )
• 8Nov2016
  Certified Quantum Randomness

  16:00 Tuesday 8th November ( Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson Building, Parks Road

  Serge Massar ( Université Libre de Bruxelles )
• 1Nov2016
  Knowledge representation in systems biology

  14:00 Tuesday 1st November ( Michaelmas Term 2016 ) in Lecture Theatre B, Wolfson Building, Parks Road

  Jean Krivine ( CNRS and Univ Paris VII )
• 29Sep2016
  Autonomy and social trust

  14:00 Thursday 29th September ( Michaelmas Term 2016 ) in Lecture Theatre A, Wolfson Building, Parks Road

  Prof. Dr. Jörg H. Hardy ( Centre for Advanced Study in Bioethics, University of Münster, Germany )
• 8Jul2016
  Internet evolution

  14:00 8th July 2016 in Tony Hoare Room, Robert Hooke Building, Parks Road (NOTE ROOM CHANGE)

  Vint Cerf ( Google )
• 15Jun2016
  Sequential Decision Making for Improving Efficiency in Urban Environments

  14:00 Wednesday 15th June ( Trinity Term 2016 ) in Lecture Theatre B, Wolfson Building, Parks Road

  Pradeep Varakantham ( Singapore Management University )
• 14Jun2016
  Concurrent Disjoint Set Union

  14:00 14th June ( Trinity Term 2016 ) in Lecture Theatre B

  Bob Tarjan
• 9Jun2016
  Leveraging Fine-grained Data Flows in Web Applications

  14:00 Thursday 9th June ( Trinity Term 2016 ) in Lecture Theatre B

  James Mickens ( Harvard University )
• 20May2016
  Integrating Symbols into Deep Learning

  15:00 Friday 20th May ( Trinity Term 2016 ) in Tony Hoare Room,

  Prof Stephen Muggleton FREng ( Imperial College )
• 17May2016
  Searching for datasets: discovering, organizing, and understanding structured data

  14:00 Tuesday 17th May ( Trinity Term 2016 ) <meta itemprop="location" content="TBA"/>

  Natasha Noy (Stanford University)
• 10May2016
  Stochastic λ-Calculus

  14:00 Tuesday 10th May ( Trinity Term 2016 ) in Lecture Theatre B

  Dana Scott
• 3May2016
  Quantum law: first rules for a global culture

  14:00 Tuesday 3rd May ( Trinity Term 2016 ) in Lecture Theatre B

  Jeffrey Ritter, Esq.
• 26Apr2016
  Modelling Behaviour for Virtual Humans and Social Robots: recent developments and what next?

  14:00 Tuesday 26th April ( Trinity Term 2016 ) <meta itemprop="location" content="TBA"/>

  Dr Nadia Magnenat Thalmann
• 21Mar2016
  Interruptions and Multitasking in Mobile Computing

  14:00 21st March 2016 in Lecture Theatre A

  Duncan Brumby
• 8Mar2016
  Random samples from Don Knuth's latest book - Satisfiability

  14:00 Tuesday 8th March ( Hilary Term 2016 ) in Lecture Theatre B

  Professor Donald Knuth
• 9Feb2016
  Data Curation at Scale

  14:00 Tuesday 9th February 2016 in Lecture Theatre B

  Professor Renée J. Miller
• 7Jan2016
  Molecular programming: self-replicating molecules and a theory of simulation for self-assembly

  15:30 Thursday 7th January ( Hilary Term 2016 ) in Lecture Theatre B

  Damien Woods ( Caltech )
• 1Dec2015
  The World of Logic, Computation, and Agency

  14:00 Tuesday 1st December ( week 8, Michaelmas Term 2015 ) in Lecture Theatre B

  Johan van Benthem ( Professor of Logic, Amsterdam and Stanford University )
• 24Nov2015
  Discourse processing in scientific articles and social media

  14:00 Tuesday 24th November ( week 7, Michaelmas Term 2015 ) in Lecture Theatre B

  Maria Liakata ( University of Warwick )
• 10Nov2015
  Semantic Web Technologies in Health Care Analytics

  14:00 Tuesday 10th November ( week 5, Michaelmas Term 2015 ) in Lecture Theatre B

  Robert Piro ( University of Oxford )
• 4Nov2015
  The Story Behind The Result

  12:00 Wednesday 4th November ( week 4, Michaelmas Term 2015 ) in Lecture Theatre A

  Kenneth W. Regan / Richard J. Lipton
• 3Nov2015
  Techniques to solve computationally hard problems in automata theory

  14:00 Tuesday 3rd November ( week 4, Michaelmas Term 2015 ) in Lecture Theatre B

  Richard Mayr ( University of Edinburgh (currently on sabbatical at Oxford) )
• 30Oct2015
  Provably secure virtualization

  11:00 Friday 30th October ( Michaelmas Term 2015 ) in Room 441

  Mads Dam ( Dept. of Theoretical Computer Science, KTH Royal Institute of Technology )
• 28Oct2015
  An Amusing New Paradox

  14:00 Wednesday 28th October ( week 3, Michaelmas Term 2015 ) in Lecture Theatre B, Wolfson Building, Parks Road

  Donald E. Knuth ( Stanford University )
• 13Oct2015
  What Men Say, What Women Hear: Using Semantics To Make Better Sense of Gender Differences in Social Media

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

  Rada Mihalcea ( University of Michigan )
• 26May2015
  Inside the mind of Watson

  14:00 Tuesday 26th May ( week 5, Trinity Term 2015 ) in Lecture Theatre B

  Chris Welty ( Google )
• 12May2015
  Analytics on Graphs with a Trillion Edges

  14:00 Tuesday 12th May ( week 3, Trinity Term 2015 ) in Lecture Theatre B

  Willy Zwaenepoel ( School of Computer and Communication Sciences, EPFL )
• 5May2015
  Quantitative Cardiovascular Systems Pharmacology: exploiting mathematical models to generate novel insight

  14:00 Tuesday 5th May ( week 2, Trinity Term 2015 ) in Lecture Theatre B

  Eric Sobie ( Department of Pharmacology and Systems Therapeutics, Icahn School of Medicine at Mount Sinai )
• 3Mar2015
  Metric Temporal Logic for Data Words

  14:00 Tuesday 3rd March ( week 7, Hilary Term 2015 ) in Lecture Theatre B

  Karin Quaas ( University of Leipzig )
• 24Feb2015
  Of Plans, Programs, and Automata: 101 things you can do with AI Automated Planning

  14:00 Tuesday 24th February ( week 6, Hilary Term 2015 ) in Lecture Theatre B

  Sheila McIlraith ( University of Toronto )
• 17Feb2015
  Current internet scaling problems

  14:00 Tuesday 17th February ( week 5, Hilary Term 2015 ) in Lecture Theatre B

  Edmund Pringle ( Metaswitch Networks )
• 10Feb2015
  How to add a language to the linguistic resources map

  14:00 Tuesday 10th February ( week 4, Hilary Term 2015 ) in Lecture Theatre B

  Corina Forascu ( University of Iasi )
• 3Feb2015
  Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI

  14:00 Tuesday 3rd February ( week 3, Hilary Term 2015 ) in Lecture Theatre B

  David Poole ( University of British Columbia )
• 22Jan2015
  Programming language integration and migration

  14:00 Thursday 22nd January ( week 1, Hilary Term 2015 ) in Lecture Theatre A

  Laurence Tratt ( King's College London )
• 2Dec2014
  Symbolic model checking for multi-agent systems

  14:00 Tuesday 2nd December ( week 8, Michaelmas Term 2014 ) in Lecture Theatre B

  Alessio Lomuscio ( Imperial College, London )
• 25Nov2014
  Motif discovery from 2D arrays and applications

  14:00 Tuesday 25th November ( week 7, Michaelmas Term 2014 ) in Lecture Theatre B

  Simona Rombo ( Universitá degli Studi di Palermo, Italy )
• 11Nov2014
  Building trustworthy refactoring tools

  14:00 Tuesday 11th November ( week 5, Michaelmas Term 2014 ) in Lecture Theatre B

  Simon Thompson ( University of Kent )
• 4Nov2014
  Great expectations: building a computational neuropsychiatry for understanding the human brain in health and disease

  14:00 Tuesday 4th November ( week 4, Michaelmas Term 2014 ) in Lecture Theatre B

  Morten Kringelbach ( University of Oxford )
• 28Oct2014
  CrowdTruth for Digital Hermeneutics: Crowdsourcing the understanding of events in cultural heritage

  14:00 Tuesday 28th October ( week 3, Michaelmas Term 2014 ) in Lecture Theatre B

  Lora Aroyo ( Free University of Amsterdam )
• 21Oct2014
  Reinforcement Learning: Turning Big Data into Actions

  14:00 Tuesday 21st October ( week 2, Michaelmas Term 2014 ) in Lecture Theatre B

  Doina Precup ( McGill University, Canada )
• 14Oct2014
  The Atomic Lambda-Calculus

  14:00 Tuesday 14th October ( week 1, Michaelmas Term 2014 ) in Lecture Theatre B

  Willem Heijltjes ( University of Bath )
• 24Sep2014
  Towards a Science of Security Games: Key Algorithmic Principles, Deployed Applications and Research Challenges

  16:00 Wednesday 24th September ( week -2, Michaelmas Term 2014 ) in Lecture Theatre B

  Milind Tambe ( University of Southern California )
• 14Jul2014
  Molecular computers for molecular robots as hybrid systems

  14:00 Monday 14th July 2014 in Lecture Theatre B

  Masami Hagiya ( University of Tokyo )
• 17Jun2014
  Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach

  14:00 Tuesday 17th June ( week 8, Trinity Term 2014 ) in Lecture Theatre B

  Keith Clark ( Imperial College, London )
• 10Jun2014
  Some remarkable connections between planar graphs and ternary trees

  14:00 Tuesday 10th June ( week 7, Trinity Term 2014 ) in Lecture Theatre B

  Donald Knuth ( Stanford University )
• 20May2014
  Making Sense of Research with Rexplore

  14:00 Tuesday 20th May ( week 4, Trinity Term 2014 ) in Lecture Theatre B

  Enrico Motta ( The Open University, Milton Keynes )
• 13May2014
  Mathematical practice, crowdsourcing, and social machines

  14:00 Tuesday 13th May ( week 3, Trinity Term 2014 ) in Lecture Theatre B

  Ursula Martin ( University of Oxford )
• 6May2014
  A Trusted Mechanised Specification of the JavaScript Standard

  14:00 Tuesday 6th May ( week 2, Trinity Term 2014 ) in Lecture Theatre B

  Philippa Gardner ( Imperial College, London )
• 29Apr2014
  Boole's algebra isn't Boolean algebra

  14:00 Tuesday 29th April ( week 1, Trinity Term 2014 ) in Lecture Theatre B

  Chris Heunen ( University of Oxford )
• 24Apr2014
  Compositionality Results for delta-Bisimulations

  14:00 Thursday 24th April ( week 0, Trinity Term 2014 ) in Lecture Theatre B

  Radu Grosu ( Vienna University of Technology )
• 27Mar2014
  Machine Learning & Optimisation: Promise and Power of Data-driven, Automated Algorithm Design

  14:00 Thursday 27th March ( week 10, Hilary Term 2014 ) in Lecture Theatre A

  Holger Hoos ( University of British Columbia )
• 11Mar2014
  Search Based Software Engineering

  14:00 Tuesday 11th March ( week 8, Hilary Term 2014 ) in Lecture Theatre B

  Mark Harman ( University College, London )
• 4Mar2014
  Purely Functional Interactive Programming

  14:00 Tuesday 4th March ( week 7, Hilary Term 2014 ) in Lecture Theatre B

  Neelakantan Krishnaswami ( University of Birmingham )
• 27Feb2014
  Introspective Static Analysis via Abductive Inference

  15:00 Thursday 27th February ( week 6, Hilary Term 2014 ) in Lecture Theatre B

  Isil Dillig ( University of Texas, Austin )
• 25Feb2014
  The Thermodynamics of Confidentiality

  14:00 Tuesday 25th February ( week 6, Hilary Term 2014 ) in Lecture Theatre B

  Pasquale Malacaria ( Queen Mary, University of London )
• 18Feb2014
  Voting with Restricted Preferences

  14:00 Tuesday 18th February ( week 5, Hilary Term 2014 ) in Lecture Theatre B

  Edith Elkind ( University of Oxford )
• 4Feb2014
  Decentralized defence in networks

  14:00 Tuesday 4th February ( week 3, Hilary Term 2014 ) in Lecture Theatre B

  Marcin Dziubiński ( University of Warsaw )
• 28Jan2014
  Complexity classification of local Hamiltonian problems

  14:00 Tuesday 28th January ( week 2, Hilary Term 2014 ) in Lecture Theatre B

  Ashley Montenaro ( University of Bristol )
• 10Dec2013
  Prototyping Wireless Sensor Networks; when theory meets practice

  16:30 Tuesday 10th December ( week 9, Michaelmas Term 2013 ) in TBA

  Koen Langendoen ( Delft University of Technology, The Netherlands )
• 3Dec2013
  Inverse Problems for Power Indices in Weighted Voting Games

  16:30 Tuesday 3rd December ( week 8, Michaelmas Term 2013 ) in Lecture Theatre B

  Ilias Diakonikolas ( University of Edinburgh )
• 26Nov2013
  Unifying Logic and Probability: A "New Dawn" for Artificial Intelligence?

  16:30 Tuesday 26th November ( week 7, Michaelmas Term 2013 ) in Lecture Theatre B

  Stuart Russell ( Computer Science Division, University of California, Berkeley and LIP6, Université Pierre et Marie Curie, Paris )
• 12Nov2013
  First-order proofs without syntax

  16:30 12th November ( week 5, Michaelmas Term 2013 ) in Lecture Theatre B

  Dominic Hughes ( Chief Scientist, concept.io )
• 5Nov2013
  Model Checking of Biological Systems

  16:30 Tuesday 5th November ( week 4, Michaelmas Term 2013 ) in Lecture Theatre B

  David Safranek ( Masaryk University, Czech Republic )
• 29Oct2013
  The Quest to Automate Everything with Bayesian Optimization

  16:30 29th October ( week 3, Michaelmas Term 2013 ) in Lecture Theatre B

  Nando de Freitas ( University of Oxford )
• 22Oct2013
  A Geometrical Logic for Information Flow

  16:30 Tuesday 22nd October ( week 2, Michaelmas Term 2013 ) in Lecture Theatre B

  Jamie Vicary ( University of Oxford )
• 8Oct2013
  The PeerRank Method

  14:00 Tuesday 8th October ( week 0, Michaelmas Term 2013 ) in Lecture Theatre B

  Toby Walsh ( University of New South Wales )
• 17Sep2013
  The Knowledge of Preconditions principle

  16:30 Tuesday 17th September 2013 in Lecture Theatre B

  Yoram Moses ( Technion, Israel )
• 15Jul2013
  Free Software and Your Freedom

  17:00 15th July ( week 13, Trinity Term 2013 ) in Leonard Wolfson Auditorium, Wolfson College

  Richard Stallman
• 2Jul2013
  Automated Probabilistic Program Analysis

  16:30 2nd July ( week 11, Trinity Term 2013 ) in Lecture Theatre B

  Joost-Pieter Katoen ( RWTH Aachen University, Germany )
• 18Jun2013
  Mechanizing Exploratory Game Design with Formal Design Space Models

  16:30 Tuesday 18th June ( week 9, Trinity Term 2013 ) in Lecture Theatre B

  Adam Smith ( University of Washington )
• 28May2013
  Bayesian Learning via Stochastic Gradient Langevin Dynamics

  16:30 Tuesday 28th May ( week 6, Trinity Term 2013 ) in Lecture Theatre A

  Yee Whye Teh ( Statistics Department, University of Oxford )
• 14May2013
  Using mu-calculus to define the semantics of the QVT-R language

  16:30 Tuesday 14th May ( week 4, Trinity Term 2013 ) in Lecture Theatre B

  Julian Bradfield ( University of Edinburgh )
• 8May2013
  A Simple Lowerbound for Resolution

  17:00 Wednesday 8th May ( week 3, Trinity Term 2013 ) in Lecture Theatre A

  Don Knuth ( Stanford University, USA )
• 8Mar2013
  Improving the representation of cognitive agents in agent-based modelling and simulation

  15:30 Friday 8th March ( week 8, Hilary Term 2013 ) in Lecture Theatre B

  Lin Padgham ( RMIT University, Australia )
• 5Mar2013
  Relation Extraction with Matrix Factorization and Universal Schemas

  16:30 Tuesday 5th March ( week 8, Hilary Term 2013 ) in Lecture Theatre B

  Sebastian Riedel ( University College London )
• 26Feb2013
  On the Succinctness of Some Modal Logics

  16:30 Tuesday 26th February ( week 7, Hilary Term 2013 ) in Lecture Theatre B

  Wiebe Van der Hoek ( University of Liverpool )
• 19Feb2013
  On the Event Horizon of Order

  16:30 Tuesday 19th February ( week 6, Hilary Term 2013 ) in Lecture Theatre B

  Hofstetter Kurt
• 18Feb2013
  Computational Models and Methods for Cardiac Dynamics

  16:00 Monday 18th February ( week 5, Hilary Term 2013 ) in Lecture TheatreA

  Ezio Bartocci ( TU Wien, Vienna University of Technology )
• 5Feb2013
  Investigating the energy use of smart phones

  16:30 Tuesday 5th February ( week 4, Hilary Term 2013 ) in Lecture Theatre B

  Andrew Rice ( University of Cambridge )
• 22Jan2013
  Parameterized Complexity of Weighted Satisfiability Problems

  16:30 Tuesday 22nd January ( week 2, Hilary Term 2013 ) in Lecture Theatre B

  Heribert Vollmer ( University of Hannover, Germany )
• 17Dec2012
  Optimal Auctions from Combinatorial Optimization

  14:00 Monday 17th December ( week 11, Michaelmas Term 2012 ) in Lecture Theatre B

  Constantinos Daskalakis ( MIT, USA )
• 27Nov2012
  The complexity of homotopy methods for computing Nash equilibria

  16:30 Tuesday 27th November ( week 8, Michaelmas Term 2012 ) in Lecture Threatre B

  Rahul Savani ( University of Liverpool )
• 20Nov2012
  Plan recognition and information visualization for exploratory domains

  16:30 Tuesday 20th November ( week 7, Michaelmas Term 2012 ) in Lecture Threatre B

  Kobi Gal ( Ben-Gurion University of the Negev, Israel )
• 13Nov2012
  Reluctant Doubling

  16:30 Tuesday 13th November ( week 6, Michaelmas Term 2012 ) in Lecture Theatre B

  Don Knuth ( Stanford University, USA )
• 30Oct2012
  Reachability Problems for Words and Matrices

  16:30 Tuesday 30th October ( week 4, Michaelmas Term 2012 ) in Lecture Theatre B

  Igor Potapov ( University of Liverpool )
• 17Oct2012
  Distributed, Real-Time Bayesian Learning in Online Services

  10:30 Wednesday 17th October ( week 2, Michaelmas Term 2012 ) in Tony Hoare room (Room 48) in the Robert Hooke Building

  Ralf Herbrich ( Facebook )
• 5Oct2012
  Fast, High Quality, Single Pass k-means Clustering

  16:00 Friday 5th October ( week 0, Michaelmas Term 2012 ) in Lecture Theatre A

  Ted Dunning ( MapR Technology )
• 5Sep2012
  Dividing the Indivisible

  16:30 Wednesday 5th September ( Trinity Term 2012 ) in Lecture Theatre B

  Toby Walsh ( NICTA, Australia )
• 10Jul2012
  Bounding the Cost of Stability in Games with Restricted Interaction

  16:30 10th July ( week 11, Trinity Term 2012 ) in 380

  Yair Zick ( Nanyang Technological University )
• 29Jun2012
  Requirements Engineering for Programmable, Self-Assembling Nanomachines

  14:00 Friday 29th June ( week 10, Trinity Term 2012 ) in Lecture Theatre B

  Robyn R. Lutz ( Iowa State University, USA )
• 26Jun2012
  Computational social choice: towards realistic models of group decision-making

  16:30 Tuesday 26th June ( week 10, Trinity Term 2012 ) in Lecture Theatre B

  Edith Elkind ( Nanyang Technological University, Singapore )
• 7Jun2012
  Join-Processing on RDF in a MapReduce Environment

  16:15 Thursday 7th June ( week 7, Trinity Term 2012 ) in Lecture Theatre B

  Georg Lausen ( University of Freiburg, Germany )
• 24May2012
  Stochastic Hybrid Systems: computable analysis and control synthesis via formal verification

  16:00 Thursday 24th May ( week 5, Trinity Term 2012 ) in Lecture Theatre B

  Alessandro Abate ( TU Delft - Delft University of Technology, The Netherlands )
• 24Apr2012
  Expressiveness of Real-Time Temporal Logics

  16:30 Tuesday 24th April ( week 1, Trinity Term 2012 ) in Lecture Theatre B

  Paul Hunter ( University of Oxford )
• 2Apr2012
  Towards an Ecosystem for Structured Data on the Web

  16:15 2nd April ( week 12, Hilary Term 2012 ) in Lecture Theatre B

  Alon Halevy ( Google Inc., USA )
• 8Mar2012
  The Rise and Fall of Linear Temporal Logic

  16:30 Thursday 8th March ( week 8, Hilary Term 2012 ) in Lecture Theatre B

  Moshe Vardi ( Rice University )
• 28Feb2012
  Ontology engineering and novel reasoning services

  16:30 Tuesday 28th February ( week 7, Hilary Term 2012 ) in 380

  Ulrike Sattler ( University of Manchester )
• 21Feb2012
  Algebra unifies calculi of programming, Part 1

  16:30 Tuesday 21st February ( week 6, Hilary Term 2012 ) in Lecture Threatre B

  Tony Hoare ( Microsoft Research )
• 14Feb2012
  Prime - Programming with Millions of Examples

  16:30 14th February ( week 5, Hilary Term 2012 ) in Lecture Theatre B

  Alon Mishne ( Technion, Israel )
• 31Jan2012
  Fixed parameter algorithms for satisfiability testing

  16:30 Tuesday 31st January ( week 3, Hilary Term 2012 ) in Lecture Theatre B

  Igor Razgon ( University of Leicester )
• 24Jan2012
  Energy-modulated computing

  16:30 Tuesday 24th January ( week 2, Hilary Term 2012 ) in Lecture Theatre B

  Alex Yakovlev ( Newcastle University )
• 29Nov2011
  Making Sense of Real-world Concurrency

  16:30 Tuesday 29th November ( week 8, Michaelmas Term 2011 ) in Lecture Theatre B

  Peter Sewell ( University of Cambridge )
• 22Nov2011
  Playing Games with Games

  16:30 Tuesday 22nd November ( week 7, Michaelmas Term 2011 ) in Lecture Theatre B

  Michael Wooldridge ( University of Liverpool )
• 15Nov2011
  Amazing properties of squaregraphs

  16:30 Tuesday 15th November ( week 6, Michaelmas Term 2011 ) in Lecture Theatre B

  Don Knuth ( Stanford University, USA )
• 8Nov2011
  Hierarchical bandits for decision making and planning

  15:00 Tuesday 8th November ( week 5, Michaelmas Term 2011 ) in 380

  Remi Munos ( INRIA Lille, France )
• 1Nov2011
  Measuring progress of probabilistic model-checkers

  16:30 Tuesday 1st November ( week 4, Michaelmas Term 2011 ) in Lecture Theatre B

  Franck van Breugel ( York University, Canada )
• 18Oct2011
  Lossy counter machines decidability cheat sheet

  16:30 Tuesday 18th October ( week 2, Michaelmas Term 2011 ) in Lecture Theatre B

  Philippe Schnoebelen ( LSV, CNRS & ENS de Cachan, France )
• 21Jun2011
  Departmental Seminar: Non-Uniform Data Complexity in Ontology-Based Data Access with Description Logics

  16:30 Tuesday 21st June ( week Eight (8), Trinity Term 2011 ) in Lecture Theatre B

  Carsten Lutz ( University of Bremen )
• 31May2011
  Quantum Set Theory and Foundations of Quantum Mechanics

  16:30 Tuesday 31st May ( week 5, Trinity Term 2011 ) in Lecture Theatre B

  Masanao Ozawa ( Nagoya University )
• 3May2011
  Hierarchical Bayesian Models of Sequential Data

  16:30 Tuesday 3rd May ( week 1, Trinity Term 2011 ) in Lecture Theatre B

  Yee Whye Teh ( Gatsby Computational Neuroscience Unit, University College London )
• 5Apr2011
  The Theory behind TheoryMine

  16:30 Tuesday 5th April 2011 in Lecture Theatre B

  Alan Bundy ( University of Edinburg )
• 8Mar2011
  Local Resource Reasoning about Program Modules such as DOM

  16:30 Tuesday 8th March ( week 8, Hilary Term 2011 ) in Lecture Theatre B

  Philippa Gardner ( Imperial College London )
• 1Mar2011
  Stream-based Algorithms for Online Machine Translation

  16:30 Tuesday 1st March ( week 7, Hilary Term 2011 ) in Lecture Theatre B

  Abby Levenberg ( University of Edinburgh )
• 15Feb2011
  Long and skinny knight's tours

  16:30 Tuesday 15th February ( week 5, Hilary Term 2011 ) in Lecture Theatre B

  Don Knuth ( Stanford )
• 8Feb2011
  The Information Theory of Hidden Message

  16:30 Tuesday 8th February ( week 4, Hilary Term 2011 ) in Lecture Theatre B

  Andrew Ker ( Oxford University Computing Lab )
• 25Jan2011
  Galois Theory of Algorithms

  16:30 Tuesday 25th January ( week 2, Trinity Term 2011 ) in Lecture Theatre B

  Noson Yanofsky
• 18Jan2011
  A portrait of quantum mechanics as a theory of information processing

  16:30 Tuesday 18th January ( week 1, Hilary Term 2011 ) in Lecture Theatre B

  Giulio Chiribella ( Perimeter Institute for Theoretical Physics )
• 30Nov2010
  Towards a computational account of how infants build a semantic system: Lexical-Semantic and Phonological Priming in Early Lexical Development

  16:30 Tuesday 30th November ( week 8, Michaelmas Term 2010 ) in Lecture Theatre B

  Kim Plunkett ( Cognitive Neuroscience, University of Oxford )
• 23Nov2010
  What is happening now? Finding events in Massive Message Streams

  16:30 Tuesday 23rd November ( week 7, Michaelmas Term 2010 ) in Lecture Theatre B

  Miles Osborne ( Informatics, Edinburgh )
• 9Nov2010
  Use of Semantics in Real Life Applications

  16:30 Tuesday 9th November ( week 5, Michaelmas Term 2010 ) in Lecture Theatre B

  Gregory Grefenstette ( Chief Science Officer Exalead )
• 2Nov2010
  Is quantum randomness pseudo-randomness?

  16:30 Tuesday 2nd November ( week 4, Michaelmas Term 2010 ) in Lecture Theatre B

  Cristian S. Calude ( The University of Auckland )
• 26Oct2010
  Combining Logical and Distributional Models of Meaning

  16:30 Tuesday 26th October ( week 3, Michaelmas Term 2010 ) in Lecture Theatre B

  Mehrnoosh Sadrzadeh ( Oxford University Computing Lab )
• 19Oct2010
  The Duality of State and Observation

  16:30 Tuesday 19th October ( Michaelmas Term 2010 ) in Lecture Theatre B

  Prakash Panangaden ( McGill University )
• 12Oct2010
  In the beginning God created a compositional universe of pictures, and then quantum computing

  16:30 Tuesday 12th October ( week 1, Michaelmas Term 2010 ) in Lecture Theatre B

  Bob Coecke
• 1Jun2010
  Energy as Syntax - an attempt at a thermodynamical framework for combinatorial molecular networks.

  16:30 Tuesday 1st June ( week 6, Trinity Term 2010 ) in Lecture Theatre B

  Vincent Danos ( University of Edinburgh )
• 25May2010
  How Hard is Competition for Rank?

  16:30 Tuesday 25th May ( week 5, Trinity Term 2010 ) in Room 478

  Paul Goldberg ( University of Liverpool )
• 18May2010
  Proving that programs eventually do something good

  16:30 Tuesday 18th May ( week 4, Trinity Term 2010 ) in Lecture Theatre B

  Byron Cook ( Microsoft Cambridge )
• May2010
  Distributed morality in multiagent systems

  16:30 Monday May ( week 8, Trinity Term 2010 ) in Lecture Theatre B

  Luciano Floridi
• 27Apr2010
  Local Algorithms for Robotic Formation Problems

  16:30 Tuesday 27th April ( week 1, Trinity Term 2010 ) in Lecture Theatre B

  Friedhelm Meyer auf der Heide ( Heinz Nixdorf Institute & Computer Science, Department University of Paderborn )
• 26Apr2010
  Matching Logic - An Alternative to Hoare/Floyd/Separation Logics for Program Verification

  16:30 Monday 26th April ( week 1, Trinity Term 2010 ) in Lecture Theatre B

  Grigore Rosu ( University of Illinois at Urbana-Champaign )
• 9Mar2010
  Best possible degree sequence conditions for graph properties

  16:30 Tuesday 9th March ( week 8, Hilary Term 2010 ) in Lecture Theatre B

  Hajo Broersma ( University of Durham )
• 2Mar2010
  NP-hard graph problems and boundary classes of graphs

  16:30 Tuesday 2nd March ( week 7, Hilary Term 2010 ) in Lecture Theatre B

  Vadim Lozin ( University of Warwick )
• 16Feb2010
  On the complexity of temporal logics over linear time domains

  16:30 Tuesday 16th February ( week 5, Hilary Term 2010 ) in Lecture Theatre B

  Alexander Rabinovich ( Tel Aviv University )
• 26Jan2010
  A Survey of Classical, Real-Time, and Time-Bounded Verification

  16:30 Tuesday 26th January ( week 2, Hilary Term 2010 ) in Lecture Theartre B

  Joel Ouaknine ( Oxford University Computing Laboratory )
• 19Jan2010
  Quantum information and reality

  16:30 Tuesday 19th January ( week 1, Hilary Term 2010 ) in Lecture Theartre B

  Andreas Doering ( Oxford University Computing Laboratory )
• 1Dec2009
  Building Topometric Maps With a Robot

  16:30 Tuesday 1st December ( week 8, Michaelmas Term 2009 ) in Lecture Theatre B

  Paul Newman
• 24Nov2009
  Steps towards self-aware networks

  16:30 Tuesday 24th November ( week 7, Michaelmas Term 2009 ) in Lecture Theatre B

  Erol Gelenbe ( Imperial College )
• 17Nov2009
  Exception Handling for Repair in Service-Based Processes

  16:30 Tuesday 17th November ( week 6, Michaelmas Term 2009 ) in Lecture Theartre B

  Gerhard Friedrich ( Institute for Applied Informatics, Alpen-Adria Universitaet Klagenfurt, Austria )
• 10Nov2009
  Verifying Concurrent Algorithms

  16:30 Tuesday 10th November ( week 5, Michaelmas Term 2009 ) in Lecture Theartre B

  Matthew Parkinson ( University of Cambridge )
• 3Nov2009
  Data Provenance

  16:30 Tuesday 3rd November ( week 4, Michaelmas Term 2009 ) in Lecture Theatre B

  Professor Peter Buneman ( University of Edinburgh )
• 27Oct2009
  Classes, Jim, but not as we know them

  16:30 Tuesday 27th October ( week 3, Michaelmas Term 2009 ) in Lecture Theatre B

  Professor Simon Peyton-Jones ( Microsoft Research Cambridge )
• 20Oct2009
  Exact Geometric Computation and Beyond

  16:30 Tuesday 20th October ( week 2, Michaelmas Term 2009 ) in Lecture Theatre B

  Chee Yap ( Courant Institute of Mathematical Sciences, New York University (visiting Oxford) )
• 13Oct2009
  Inducing Synchronous Grammars for Machine Translation

  16:30 Tuesday 13th October ( week 1, Michaelmas Term 2009 ) in Lecture Theatre B

  Phil Blunsom
• 22Sep2009
  Geometric Computing The Sciece of Making Geometric Algorithms Work

  16:30 Tuesday 22nd September 2009 in Lecture Theartre B

  Prof. Kurt Mehlhorn ( Max-Planck-Institut fur Informatik )
• 16Jun2009
  SPADE: verification of multithreaded dynamic and recursive programs

  16:30 Tuesday 16th June ( week 8, Trinity Term 2009 ) in Lecture Theatre B

  Tayssir Touili ( LIAFA )
• 9Jun2009
  Building Internet-scale Distributed Systems for Fun and Profit

  16:30 Tuesday 9th June ( week 7, Trinity Term 2009 ) in Lecture Theatre B

  Peter Pietzuch ( Imperial College London )
• 4Jun2009
  Case Studies in Ethica and Professionalism.

  15:00 Thursday 4th June ( week 6, Trinity Term 2009 ) in Lecture Theatre A

  Martyn Thomas
• 2Jun2009
  Are Your (Valued) Relations Difficult?

  16:30 Tuesday 2nd June ( week 6, Trinity Term 2009 ) in Lecture Theatre B

  Dave Cohen ( Royal Holloway London )
• 27May2009
  Monadic Constraint Programming

  16:00 Wednesday 27th May ( week 5, Trinity Term 2009 ) in Lecture Theatre B

  T. Schrijvers
• 26May2009
  Priority Sampling

  16:30 Tuesday 26th May ( week 5, Trinity Term 2009 ) in Lecture Theatre B

  Don Knuth
• 21May2009
  Sheep, Goats, and Gilbreath

  16:00 Thursday 21st May ( week 4, Trinity Term 2009 ) in Lecture Theatre A

  Don Knuth ( Stanford University )
• 19May2009
  Why play and how to win infinite games?

  16:30 Tuesday 19th May ( week 4, Trinity Term 2009 ) in Lecture Theatre B

  Marcin Jurdzinski ( University of Warwick )
• 12May2009
  Model Checking - My 27-year Quest to Overcome the State Explosion Problem

  16:30 Tuesday 12th May ( week 3, Trinity Term 2009 ) in Lecture Theatre B

  Professor Edmund M. Clarke ( FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering, Carnegie Mellon University )
• 5May2009
  Steps Towards Cognitive Vision

  16:30 Tuesday 5th May ( week 2, Trinity Term 2009 ) in Lecture Theatre B

  Anthony Cohn
• 28Apr2009
  Recursion Schemes, Types and Model-Checking Functional Programs

  16:30 Tuesday 28th April ( week 1, Trinity Term 2009 ) in Lecture Theatre B

  Prof. Luke Ong ( Oxford University Computing Laboratory )
• 10Mar2009
  Predicting RNA Structures With Pseudoknots Under Nearest-Neighbour Models

  16:30 Tuesday 10th March ( week 8, Hilary Term 2009 ) in Lecture Theatre B

  Dr. Rune Lyngsoe ( Department of Statistics, University of Oxford )
• 3Mar2009
  Aspects of Local Computation

  16:30 Tuesday 3rd March ( week 7, Hilary Term 2009 ) in Lecture Theatre B

  Prof. Steffen Lauritzen ( Department of Statistics, University of Oxford )
• 24Feb2009
  From Substructural Logic to Systems Code

  16:30 Tuesday 24th February ( week 6, Hilary Term 2009 ) in Lecture Theatre B

  Peter O'Hearn ( Queen Mary University, London )
• 17Feb2009
  From SAT to efficient Parallel SAT Solving

  16:30 Tuesday 17th February ( week 5, Hilary Term 2009 ) in Lecture Theatre B

  Youssef Hamadi ( Microsoft Research )
• 10Feb2009
  Third Generation Machine Intelligence

  16:30 Tuesday 10th February ( week 4, Hilary Term 2009 ) in Lecture Theatre B

  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. )
• 3Feb2009
  A realistic testbed for Multi-Agent Cooperation: the Robot Rescue Application

  16:30 Tuesday 3rd February ( week 3, Hilary Term 2009 ) in Lecture Theatre B

  Dr. Arnaud Visser ( Univertiteit van Amsterdam )
• 27Jan2009
  Foundations and Applications of Schema Mappings

  16:30 Tuesday 27th January ( week 2, Hilary Term 2009 ) in Lecture Theatre B

  Phokion G. Kolaitis ( UC Santa Cruz and IBM Almaden Research Center )
• 20Jan2009
  Mental Imagery in Mathematics and Computer Science

  16:30 Tuesday 20th January ( week 1, Hilary Term 2009 ) in Lecture Theatre B

  Prof. Alain Finkel ( Ecole Normale Superieure de Cachan, France )
• 2Dec2008
  Complexity: Structures and Specifications

  16:30 Tuesday 2nd December ( week 8, Michaelmas Term 2008 ) in Lecture Theatre B

  Anuj Dawar ( Cambridge )
• 25Nov2008
  Dynamics, robustness and fragility of trust

  16:30 Tuesday 25th November ( week 7, Michaelmas Term 2008 ) in Lecture Theatre B

  Dusko Pavlovic ( Oxford University Computing Laboratory )
• 18Nov2008
  Verifying Probabilistic Programs: Three Easy Pieces

  16:30 Tuesday 18th November ( week 6, Michaelmas Term 2008 ) in Lecture Theatre B

  Joel Ouaknine ( Oxford University Computing Laboratory )
• 11Nov2008
  Integrated Analysis from Abstract Stochastic Process Algebra Models

  16:30 Tuesday 11th November ( week 5, Michaelmas Term 2008 ) in Lecture Theatre B

  Jane Hillston
• 4Nov2008
  Automatic Verification of Data-Driven Web Services

  16:30 Tuesday 4th November ( week 4, Michaelmas Term 2008 ) in Lecture Theatre B

  Victor Vianu ( USCD )
• 28Oct2008
  Lost in translation: Formalizing C# 3.0 - CANCELLED

  16:30 Tuesday 28th October ( week 3, Michaelmas Term 2008 ) in Lecture Theatre B

  Gavin Bierman ( Microsoft Research )
• 21Oct2008
  Towards Access-Control Policies Written By Managers

  16:30 Tuesday 21st October ( week 2, Michaelmas Term 2008 ) in Lecture Theatre B

  Michael Huth ( Imperial College, London )
• 14Oct2008
  Data-Intensive Scalable Computing: Taking Google-Style Computing Beyond Web Search

  16:30 Tuesday 14th October ( week 1, Michaelmas Term 2008 ) in Lecture Theatre B

  Randy Bryant ( Carnegie Mellon, School of Computer Science )
• 23Sep2008
  Fun with ZDDs

  14:00 Tuesday 23rd September ( week -2, Michaelmas Term 2008 ) in Lecture Theatre A

  Professor Don Knuth
• 9Sep2008
  States of Knowledge and the Logic of Campaigning

  16:30 Tuesday 9th September ( Michaelmas Term 2008 ) in Lecture Theatre A

  Prof. Rohit Parikh ( Distinguished Professor of Computer Science, Mathematics and Philosophy, City University of New York )
• 17Jun2008
  WYSINWYX: What You See Is Not What You eXecute

  15:00 Tuesday 17th June ( week 9, Trinity Term 2008 ) in Lecture Theatre A

  Professor Thomas Reps ( University of Wisconsin )
• 10Jun2008
  Should Alice and Bob join Facebook? Tackling security issues in social networking

  16:30 Tuesday 10th June ( week 8, Trinity Term 2008 ) in Lecture Theatre A

  Angela Sasse ( UCL )
• 3Jun2008
  Streams and Unique Fixed Points

  16:30 Tuesday 3rd June ( week 7, Trinity Term 2008 ) in Lecture Theatre A

  Ralf Hinze ( Computing Laboratory )
• 29May2008
  Efficient Automatic STE Refinement Using Responsibility

  16:00 Thursday 29th May ( week 6, Trinity Term 2008 ) in Lecture Theatre B

  Professor Orna Grumberg ( Technion )
• 20May2008
  Developing Robust Synthetic Biology Designs using a Microfluidic Robot Scientist

  16:30 Tuesday 20th May ( week 5, Trinity Term 2008 ) in Lecture Theatre A

  Professor Stephen Muggleton ( Imperial College )
• 13May2008
  50 in 50

  16:15 Tuesday 13th May ( week 4, Trinity Term 2008 ) in Lecture Theatre A

  Dr Guy Steele and Dr Richard Gabriel ( Sun Microsystems & IBM Research )
• 6May2008
  Proving that Software eventually does something good

  16:30 Tuesday 6th May ( week 3, Trinity Term 2008 ) in Lecture Theatre A

  Byron Cook ( Microsoft Research )
• 29Apr2008
  Graphs, Algorithms and a tiny bit of Logic

  16:30 Tuesday 29th April ( week 2, Trinity Term 2008 ) in Lecture Theatre A

  Stephan Kreutzer ( Oxford University Computing Laboratory )
• 22Apr2008
  Automatic Abstraction for Model Checking by Symbolic Trajectory Evaluation

  16:30 Tuesday 22nd April ( week 1, Trinity Term 2008 ) in Lecture Theatre A

  Professor Tom Melham ( Oxford University Computing Laboratory )
• 4Mar2008
  Computing for the Future of the Planet

  16:30 Tuesday 4th March ( week 8, Hilary Term 2008 ) in Lecture Theatre A

  Andy Hopper ( University of Cambridge )
• 26Feb2008
  TBA

  16:30 Tuesday 26th February ( week 7, Hilary Term 2008 ) in Lecture Theatre A

  Tom Rodden ( University of Nottingham )
• 12Feb2008
  WEB 2.NO: Anxieties about the Future of the Internet

  16:30 Tuesday 12th February ( week 5, Hilary Term 2008 ) in Lecture Theatre A

  Jonathan Zittrain ( Oxford Internet Institute and Harvard )
• 5Feb2008
  Collaboration and Telecollaboration in Design

  16:30 Tuesday 5th February ( week 4, Hilary Term 2008 ) in Lecture Theatre A

  Frederick Brooks, Jr ( University of North Carolina at Chapel Hill )
• 29Jan2008
  Copy-cat strategies in physics, geometry, logic and computation

  16:30 Tuesday 29th January ( week 3, Hilary Term 2008 ) in Lecture Theatre A

  Samson Abramsky ( OUCL )
• 22Jan2008
  Why are many-dimensional modal logics so robustly undecidable?

  16:30 Tuesday 22nd January ( week 2, Hilary Term 2008 ) in Lecture Theatre A

  Professor Frank Wolter ( University of Liverpool )
• 15Jan2008
  Can Programming be Liberated, Period?

  16:30 Tuesday 15th January ( week 1, Hilary Term 2008 ) in Computing Laboratory Lecture Theatre

  Professor David Harel ( Dept. of Computer Science and Applied Mathematics, Weizmann Institute of Science )