Past Seminars

Date Speaker Title Host
12 Sep 2017 Dr. David Doty
Department of Computer Science
University of California
One Shields Ave.
Davis, CA 95616, USA
The limits of chemical computing Othon Michail
05 Sep 2017 Dr. Martin Zimmermann
Reactive Systems Group
Universität des Saarlandes
Saarland Informatics Campus, Building E 1.1, room 1.13
Easy to Win, Hard to Master: Optimal Strategies in Finitary Parity Games Sven Schewe
07 Jul 2017 Dr. Jeremy Singer
University of Glasgow
School of Computing Science
Glasgow G12 8QQ
Scotland
Liverpool's First Computer: the English Electric DEUCE Frans Oliehoek
28 Jun 2017 Dr. Mark Briers
Strategic Programme Director at the Alan Turing Institute.
Data Science within Defence and Security Programme at the Alan Turing Institute Frans Oliehoek
20 Jun 2017 Prof. Frank Stephan
Department of Mathematics and
School of Computing
National University of Singapore
Deciding Parity Games in Quasipolynomial Time Sven Schewe
13 Jun 2017 Dr Chien-Chung Huang
CNRS, École normale supérieure, Paris
Popularity, Mixed Matchings, and Self-duality Piotr Krysta
06 Jun 2017 Dr. Martin Lackner
University of Oxford
Department of Computer Science
Wolfson Building, Parks Road, Oxford
The varied landscape of consistent approval-based multi-winner rules Davide Grossi
23 May 2017 Dr. Bart de Keijzer
Centrum Wiskunde & Informatica
Networks & Optimization Group
P.O. Box 94079
1090 GB Amsterdam
The Netherlands
Approximately Efficient Two-Sided Combinatorial Auctions Dominik Wojtczak
16 May 2017 Prof. Alan Bundy
Centre for Intelligent Systems and their Applications
School of Informatics
University of Edinburgh
Informatics Forum
10 Crichton Street
Edinburgh
EH8 9AB
Scotland
Can Computers Change their Minds? Terry Payne
27 Apr 2017 Dr. Chris Amato
College of Computer and Information Science
Northeastern University
360 Huntington Ave
442 West Village H
Boston, MA 02115
Planning and Learning for Multi-Robot Coordination Frans Oliehoek
21 Apr 2017 Prof. Sheung Hung Poon
School of Computing and Informatics
University of Technology Brunei (UTB)
Online Uniformly Inserting Points on the Sphere Prudence Wong
30 Mar 2017 Dr. Dietmar Berwanger (NOTE the change in time)
Centre Nationnal de la Recherche Scientifique
LSV, Université Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
The public contents of private signals Sven Schewe
28 Mar 2017 Dr Ruben Sanchez-Garcia
Mathematical Sciences
University of Southampton
Southampton SO17 1BJ
United Kingdom
Topology and geometry of networks and complexes Vitaliy Kurlin
21 Mar 2017 Dr Andreas Toennis
Institute of Computer Science
University of Bonn
Think Eternally: Improved Algorithms for the Temp Secretary Problem and Extensions Martin Gairing
14 Mar 2017 Dr. Naoki Masuda
Department of Engineering Mathematics
University of Bristol
Bristol, BS8 1UB
Finding core-periphery pairs in networks Danushka Bollegala
07 Mar 2017 Dr. Bruno Lacerda
School of Computer Science
University of Birmingham
Edgbaston, Birmingham, B15 2TT
United Kingdom
Policy Generation with Probabilistic Guarantees for Long-term Autonomy of a Mobile Service Robot Frans Oliehoek
03 Mar 2017 Dr. Francisco C. Santos
Department of Computer Science and Engineering
Instituto Superior Técnico (IST),
University of Lisbon, Portugal
Environmental governance and cooperation in an uncertain world Daniel Bloembergen
28 Feb 2017 Prof. Michael Winikoff
Department of Information Science
University of Otago
New Zealand
(1) Towards Trusting Autonomous Systems AND (2) Debugging Agent Programs with ``Why?'' Questions Michael Fisher
22 Feb 2017 Martina King, CEO Featurespace
Featurespace 3rd Floor,
Broers Building
21 JJ Thomson Avenue,
Cambridge, CB3 0FA
United Kingdom
WIT TALK: Machine learning in Action: the Featurespace story Wiebe van der Hoek
21 Feb 2017 Dr. Alfredo Navarra
University of Perugia
Italy
Robot-based computing systems: recent advances for Pattern Formation Leszek Gasieniec
06 Dec 2016 Dr. Andrew Gargett
Hartree Centre,
Science and Technology Facilities Council
Getting meanings out of, and back into, natural language, computationally. Danushka Bollegala
29 Nov 2016 Prof. Leslie Ann Goldberg
Professor of Computer Science
Senior Research Fellow, St Edmund Hall
E: leslie.goldberg@cs.ox.ac.uk
T: +44 (0)1865 610755

Room 330, Wolfson Building, Parks Road, Oxford OX1 3QD
Graph algorithms and the complexity of counting Paul Spirakis
22 Nov 2016 Dr. Sam Devlin
Address: The Digital Creativity Labs,
University of York,
The Ron Cooke Hub,
York.
YO10 5GH
General Game Playing AI Karl Tuyls
15 Nov 2016 Dr. Mahsa Shirmohammadi
University of Oxford
Wolfson Building,
Parks Road,
Oxford OX1 3QD
Minimal probabilistic automata have to make irrational choices Dominik Wojtczak
02 Nov 2016 Dr. Bart Verheij
Artificial Intelligence, Rijksuniversiteit Groningen
Bernoulliborg
Postbus 407
9700 AK Groningen
The Netherlands
Arguments for Understanding our Complex World: Integrating Knowledge and Data Technology in Artificial Intelligence Katie Atkinson
01 Nov 2016 Prof Paul Watry
University of Liverpool
The Institute of Psychology, Health and Society
Waterhouse Building
Block B, 2nd Floor
Liverpool, United Kingdom
L69 3BX
Indigo Data Management System and Computational Science Katie Atkinson
18 Oct 2016 Dr Michael Kaisers
Centrum Wiskunde & Informatica, Amsterdam
Intelligent Systems Group
Room M 3.59
Science Park 123
1098 XG Amsterdam
Strategies and mechanisms for competitive cooperation in Smart Grids applications Karl Tuyls
13 Oct 2016 Prof. Nicola Dimitri
Università degli Studi di Siena
Piazza San Francesco,
7/8 53100 Siena
Pricing Cloud Computing Services Davide Grossi
11 Oct 2016 Prof. Graham Cormode
Department of Computer Science
University of Warwick, Coventry CV4 7AL, UK.
The confounding problem of private data release Giorgios Christodoulou
04 Oct 2016 Dr Chien-Chung Huang
CNRS, École Normale Supérieure d'Ulm
Paris, France
Minimizing the number of unhappy singles: improved approximation algorithms for the stable marriage problem Piotr Krysta
27 Sep 2016 Dr. Vitaliy Kurlin
Department of Computer Science and Materials Innovation Factory, University of Liverpool
Graph reconstruction from noisy scans based on persistence Katie Atkinson
13 Sep 2016 Prof. Friedrich Otto
Fachgebiet Theoretische Informatik
Fachbereich Elektrotechnik/Informatik
Universität Kassel
Wilhelmshöher Allee 71-73
D-34121 Kassel
Germany
On Nondeterministic Ordered Restarting Automata Igor Potapov
06 Sep 2016 Dr. Diederik Roijers
Robert Hooke Building,
Parks Road,
Oxford OX1 3PR
Multi-objective decision-theoretic planning with Optimistic Linear Support Frans Oliehoek
23 Jun 2016 Dr. Mykel J. Kochenderfer
Stanford University, Department of Aeronautics and Astronautics
Building Trust in Decision Support Systems for Aerospace Frans Oliehoek
21 Jun 2016 Prof. Patrick De Causmaecker
KU Leuven
Faculty of Science, Campus Kulak Kortrijk
Etienne Sabbelaan 53 - box 7659
8500 Kortrijk
Data science in optimisation: an example Karl Tuyls
31 May 2016 Dr. Markus Brill
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford OX1 3QD
UK

Office: Wolfson Building, room 017
Justified Representation in Approval-Based Committee Voting Davide Grossi
19 May 2016 Dr. Matthias Mnich
University of Bonn
Institute of
Computer Science, Dept. I
Room E.
Friedrich-Ebert-Allee 144
D-53113 Bonn
Improved Approximation Algorithm for Minimum Feedback Vertex Sets in Tournaments Rahul Savani
19 May 2016 Julian Padget
University of Bath
Deontic Sensors Ullrich Hustadt
17 May 2016 Dr. Andreas Vlachos
University of Sheffield
Natural language understanding with imitation learning Danushka Bollegala
10 May 2016 Prof. Andrei Krokhin
Durham University
School of Engineering and Computing Sciences
The complexity of general-valued CSPs Boris Konev
03 May 2016 Dr Nick Hawes
School of Computer Science
University of Birmingham
Edgbaston, Birmingham, B15 2TT
United Kingdom
Long-Term Autonomy in Everyday Environments: A New Challenge for AI and Robotics Louise Dennis
26 Apr 2016 Dr. Ernst Moritz Hahn
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.
Room A219, Building 5
Telephone: +86 10-62661604
Address: South Fourth Street 4#, Zhong Guan Cun
Lazy Probabilistic Model Checking without Determinisation Sven Schewe
19 Apr 2016 Dr. Marc Lanctot
Google Deepmind
AlphaGo: Mastering the game of Go with deep neural networks and tree search Karl Tuyls
12 Apr 2016 Dr. Elias Tsigaridas
UPMC - LIP6
projet POLSYS
Boite courrier 169
4 place Jussieu
75252 PARIS CEDEX 05
France
Algorithms for stochastic games and polynomial system solving Giorgios Christodoulou
09 Mar 2016 Prof. Thomas Brihaye
Université de Mons
Place du parc 20
7000 Mons
Belgique
To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games Sven Schewe
08 Mar 2016 Dr Roderich Gross
Department of Automatic Control and Systems Engineering
The University of Sheffield
Less is more? New approaches for swarm control and inference Clare Dixon
23 Feb 2016 Dr. Shimon Whiteson
University of Oxford
Room 407, Wolfson Building,
Parks Road,
Oxford OX1 3QD
Multi-Objective Decision Making Frans Oliehoek
16 Feb 2016 Dr Bijan Parsia
School of Computer Science
Manchester University
An Empirical Mindset for Ontology Engineering Research Valentina Tamma
09 Feb 2016 Dr Wojciech Czerwinski
University of Warsaw
Separability problem Dominik Wojtczak
02 Feb 2016 Dr. Ben Graham
Dept of Statistics
University of Warwick
Coventry, CV4 7AL
United Kingdom
Spatially Sparse Convolutional Neural networks Frans Coenen
24 Nov 2015 Dr. Amitabh Trehan
School of Electronics, Electrical Engineering and Computer Science
High Performance and Distributed Computing
Queen's University Belfast
Compact Routing Messages in Compact Self-Healing Trees Leszek Gasieniec
10 Nov 2015 Dr Mauro Dragoni
Fondazione Bruno Kessler (FBK)
Trento
Italy
An IR-based Approach For Multilingual And Cross-lingual Ontology Matching Purposes Valentina Tamma
06 Nov 2015 Prof Chris Kiekintveld
Computer Science Department
University of Texas at El Paso
USA
Game-Theoretic Models for Cybersecurity Karl Tuyls
06 Nov 2015 Prof Milind Tambe
Computer Science & Industrial and Systems Engineering Departments
University of Southern California
USA
Towards a Science of Security Games: Key Algorithmic Principles, Deployed Applications and Research Challenges Karl Tuyls
28 Oct 2015 Dr Paul Craig and Dr Xin Huang
Department of Computer Science & Software Engineering
XJTLU
China
Mobile Information Visualisation
27 Oct 2015 Dr Oded Lachish
Department of Computer Science and Information Systems
Birkbeck, University of London.
Trading query complexity for sample-based testing and multi-testing scalability Rahul Savani
13 Oct 2015 Dr Frans Oliehoek
Department of Computer Science
Liverpool University
Interactive Decision Making, Influence-based Abstraction & Transfer Planning Martin Gairing
01 Oct 2015 Dr Andreas Herzig
Logic, Interaction, Language, and Computation Group (LILaC)
IRIT, Université Paul Sabatier
Toulouse, France
Knowledge and action: how should we combine their logics? Wiebe van der Hoek

Older Seminars ordered by Academic Year