Past Seminars

Date Speaker Title Host
02 Jun 2020 Dr. Aris Filos-Ratsikas
Department of Computer Science,
University of Liverpool
Maximum Nash Welfare and Other Stories about EFX Othon Michail
26 May 2020 Dr. Viktor Zamaraev
Department of Computer Science,
University of Liverpool
Implicit Graph Representation Conjecture and Geometric Intersection Graph Classes Othon Michail
10 Mar 2020 Prof. Peter Bürgisser
TU Berlin, Institute of Mathematics
Optimization, Complexity and Invariant Theory Christian Ikenmeyer
04 Feb 2020 Dr. Sergiy Bogomolov
Newcastle University
School of Computing
Trusted Autonomous Systems: Verification Meets Falsification Igor Potapov
03 Feb 2020 Prof. Uwe Grimm
School of Mathematics & Statistics
The Open University, Milton Keynes, UK
An introduction to aperiodically ordered systems and their diffraction Vitaliy Kurlin
28 Jan 2020 Dr. Daniel Neider
Max Planck Institute for Software Systems
University of Kaiserslautern
ICE: Learning Correctness Proofs of Software Martin Zimmermann
10 Dec 2019 Dr. Sebastian Wild
Department of Computer Science
University of Liverpool
Sorting today - What makes dual-pivot quicksort fast? Othon Michail
03 Dec 2019 Dr. Torsten Mütze
University of Warwick
Department of Computer Science
Combinatorial generation via permutation languages Viktor Zamaraev
26 Nov 2019 Dr. Filip Mazowiecki
Max Planck Institute for Software Systems
The Reachability Problem for Petri Nets is Not Elementary Patrick Totzke
22 Nov 2019 Dr. Nikolaos Aletras
Department of Computer Science
University of Sheffield
Legal Judgement Prediction with NLP Danushka Bollegala
05 Nov 2019 Prof. Bo Chen
Warwick Business School
University of Warwick
Capacity Auctions: VCG Mechanism vs. Submodularity Martin Gairing
14 Oct 2019 Dr. Martin Caminada
Cardiff University
School of Computer Science and Informatics
A Logical Account of Dishonesty Katie Atkinson
11 Jul 2019 Prof. Bakh Khoussainov
University of Auckland
Department of Computer Science
Open problems in the theory of automatic structures Frank Wolter
14 May 2019 Dr Vanessa Robins
Department of Applied Mathematics
Australian National University
Insights from the topological and geometric analysis of porous and granular materials Vitaliy Kurlin
07 May 2019 Prof. Irina Lomazova
Faculty of Computer Science
National Research University Higher School of Economics, Russia
Process Mining: Data Science in Action Alexei Lisitsa
12 Mar 2019 Sarah Winter
RWTH Aachen University
Parameterized synthesis of subsequetial transducers from rational relations over finite words Martin Zimmermann
22 Jan 2019 John Murray
Fusion Data Science and University of Liverpool
End to End Analysis of Large 3D Geospatial Datasets with GPUs Rahul Savani
15 Jan 2019 Dr. Hiroyuki Kido
Institute of Logic and Cognition
Sun Yat-Sen University
Argumentation Mining from Acceptability of Arguments Katie Atkinson
08 Jan 2019 Dr. Andreas Pieris
School of Informatics
Laboratory for Foundations of Computer Science
University of Edinburgh
Semantic Optimization of Conjunctive Queries Boris Konev
11 Dec 2018 Nathanaël Fijalkow
CNRS, LaBRI, Bordeaux and The Alan Turing Institute of data science and artificial intelligence, London
Understanding the quasipolynomial time algorithms for parity games: upper and lower bounds Sven Schewe
20 Nov 2018 Dr. Brian Logan
School of Computer Science
University of Nottingham
Synthesising Provably Correct Controllers for Manufacturing Louise Dennis
13 Nov 2018 Vincent Koeman
Interactive Intelligence
Delft University of Technology
Explaining Cognitive Agents Louise Dennis
12 Oct 2018 Dr. Takanori Maehara
Discrete Optimization Unit
Stochastic Probing with Prices Danushka Bollegala
18 Sep 2018 Dr. Senja Dominique Barthel
Laboratory of molecular simulation
Putting chemistry in shape Vitaliy Kurlin
06 Sep 2018 Prof. Christian Scheideler
University of Paderborn
Theory of Distributed Systems
Relays: Towards a Link Layer for Robust and Secure Distributed Systems Othon Michail
24 May 2018 Professor Tim Roughgarden
Computer Science and Management Science and Engineering Departments
Stanford University
How Computer Science Informs Modern Auction Design Giorgios Christodoulou
15 May 2018 Dr. Pawel Dlotko
Department of Mathematics
Swansea University
Geometry and topology: tools to understand materials, bones, alloys (and more)... Vitaliy Kurlin
01 May 2018 Prof. Thomas Brihaye
Department of Mathematics
Université de Mons
When are stochastic transition systems tameable? Dominik Wojtczak
24 Apr 2018 Dr. Andreas Pieris
School of Informatics
Laboratory for Foundations of Computer Science
University of Edinburgh
An Operational Approach to Consistent Query Answering Andre Hernich
10 Apr 2018 Dr. Catherine Menon
School of Computer Science
University of Hertfordshire
Safety-critical systems development and the creation of ethically-informed safety cases Clare Dixon
20 Mar 2018 Dr. Temur Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University Linz
Pattern-based calculi with finitary matching Boris Konev
14 Mar 2018 Andrew Mitchell
Automation and Standardisation Team
Unilever R&D Port Sunlight
Computer Science and Unilever R&D Russell Martin
02 Mar 2018 Dr. Matthew Hague
Department of Computer Science
Royal Holloway University of London
Web Optimisation: Formal Methods and Cascading Style Sheets Dominik Wojtczak
27 Feb 2018 Dr. Sara Kalisnik
Max Planck Institute for Mathematics in the Sciences
A Higher-Dimensional Homologically Persistent Skeleton Vitaliy Kurlin
16 Jan 2018 Prof. Paul Goldberg
Department of Computer Science
University of Oxford
TFNP: An Update Rahul Savani
07 Dec 2017 Professor Richard Cole
Computer Science Department
Courant Institute of Mathematical Sciences
New York University
The Analysis of Asynchronous Coordinate Descent Giorgios Christodoulou
29 Nov 2017 Dr. Isolde Adler
School of Computing
University of Leeds
Testing logically defined properties on relational databases of bounded degree Andre Hernich
14 Nov 2017 Dr. Matthijs Spaan
Algorithmics group,
Delft University of Technology
Planning under Uncertainty in Constrained Multiagent Systems
24 Oct 2017 Dr. Konstantinos Papangelis
Xi'an Jiaotong-Liverpool University
Computer Science and Software Engineering
Conquering the City: Understanding perceptions of Mobility and Human Territoriality in Location-based Mobile Games Prudence Wong
17 Oct 2017 Prof. Juhani Karhumaki
Department of Mathematics and Statistics
University of Turku, Finland
k-Abelian Equivalence - An Equivalence Relation in Between the Equality and the Abelian Equality Igor Potapov
27 Sep 2017 Dr. Sebastian Riedel
University College London
Dept. of Computer Science (1ES)
Gower Street
London WC1E 6BT
United Kingdom
Reading and Reasoning with Vector Representations Danushka Bollegala
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
Liverpool's First Computer: the English Electric DEUCE
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
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
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
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
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
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
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,
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
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
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
23 Jun 2016 Dr. Mykel J. Kochenderfer
Stanford University, Department of Aeronautics and Astronautics
Building Trust in Decision Support Systems for Aerospace
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

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
projet POLSYS
Boite courrier 169
4 place Jussieu
75252 PARIS CEDEX 05
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
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
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)
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
Game-Theoretic Models for Cybersecurity Karl Tuyls
06 Nov 2015 Prof Milind Tambe
Computer Science & Industrial and Systems Engineering Departments
University of Southern California
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
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