Overview of all talks

Past Talks: 2017/18 Session

Date Speaker Title Series
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 dept
08 Sep 2017
Frans Oliehoek

University of Liverpool 		Bayesian Reinforcement Learning for Problems with State Uncertainty DMML
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 dept
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 dept
02 Oct 2017
Louise Dennis

 BDI programming in Python robotics
11 Oct 2017
Piotr Krysta

University of Liverpool 		Reasoning about Causality in Games EcCo
12 Oct 2017 Michael Fisher
 Decentralised LTL Monitoring verification
16 Oct 2017
Terry Payne

 - robotics
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 dept
17 Oct 2017
Phil Smith

 Combinatorial graphs DSTA
18 Oct 2017
Piotr Krysta

University of Liverpool 		Properly Learning Poisson Binomial Distributions (ctd) EcCo
19 Oct 2017
Prof Paul Spirakis

 Strategic Contention: How to beat the insisting deviator networks
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 dept
25 Oct 2017
Vasilis Kontonis

National Technical University of Athens 		Learning Powers of Poisson Binomial Distributions EcCo
26 Oct 2017 Alexei Lisitsa
 Revisiting MU-puzzle. A case study in finite countermodels verification verification
26 Oct 2017
Prof. Volker Ziegler

Salzburg University 		There are no Diophantine Quintuples Maths
30 Oct 2017
Greg Palmer

 - robotics
01 Nov 2017
Nicos Protopapas

University of Liverpool 		Impartial Selection EcCo
02 Nov 2017
Phil Smith

 Topological equivalences of graphs DSTA
02 Nov 2017
Prof Prudence Wong

 Complexity and Online Algorithms for Minimum Skyline Coloring of Intervals networks
08 Nov 2017
Paul Spirakis

University of Liverpool 		Cost-Sharing Methods for Scheduling Games under Uncertainty EcCo
09 Nov 2017
Krasen Samardzhiev

 Clustering algorithms for point clouds DSTA
09 Nov 2017 Xiaowei Huang
 Feature-Guided Black-Box Safety Testing of Deep Neural Networks verification
13 Nov 2017
Joe Collenette

 - robotics
14 Nov 2017 Dr. Matthijs Spaan
Algorithmics group,
Delft University of Technology 		Planning under Uncertainty in Constrained Multiagent Systems dept
15 Nov 2017
Martin Gairing

University of Liverpool 		Approximations for the Continuous Network Design Problem EcCo
16 Nov 2017
Krasen Samardzhiev

 The union-find algorithm DSTA
16 Nov 2017
Eleni Akrida

 Temporal Flows in Temporal networks networks
22 Nov 2017
Bart De Keijzer

University of Liverpool 		Fixed Price Approximability of the Optimal Gain From Trade EcCo
23 Nov 2017
Yury Elkin

 The Euler characteristic DSTA
27 Nov 2017 Charles Patchett
 Automotive Human Error robotics
29 Nov 2017 Dr. Isolde Adler
School of Computing
University of Leeds 		Testing logically defined properties on relational databases of bounded degree dept
30 Nov 2017
Phil Smith

 Simplest polygonal surfaces DSTA
30 Nov 2017
Terry Payne

 Fair Distribution of Coalition-Value Calculations across Multiple Agents networks
30 Nov 2017 Boris Konev
 Efficient Implementation of Property Directed Reachability verification
06 Dec 2017
Themistoklis Melissourgos

University of Liverpool 		Approximating Nash Equilibria via an Approximate Version of Caratheodory's Theorem EcCo
07 Dec 2017
Graham Briggs

 Periodic crystal structures DSTA
07 Dec 2017 Professor Richard Cole
Computer Science Department
Courant Institute of Mathematical Sciences
New York University 		The Analysis of Asynchronous Coordinate Descent dept
11 Dec 2017
James Butterworth

 - robotics
13 Dec 2017
Peter Tobenna Igwe

University of Liverpool 		Generation of Lower Bounds for Approximate NE Algorithms EcCo
14 Dec 2017
Fraser Holloway

 Pulse shapes from AGATA DSTA
14 Dec 2017
Ioannis Lamprou

 Coalescing random walks and voting on connected graphs networks
14 Dec 2017
Nicholas Berthier

 Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management verification
20 Dec 2017
Yury Elkin

 Skeletons of 3D clouds from micelles DSTA
11 Jan 2018
Yury Elkin

 Straightening algorithms for polygonal curves DSTA
11 Jan 2018 Alexei Listsa
 Verifying Computations without Reexecuting Them verification
16 Jan 2018
Nigel Browning

- 		Compressive sensing, inpainting, machine learning, deep learning SIG-ML (dmml)
16 Jan 2018 Prof. Paul Goldberg
Department of Computer Science
University of Oxford 		TFNP: An Update dept
17 Jan 2018
Rahul Savani

University of Liverpool 		Reachability Switching Games EcCo
18 Jan 2018
Krasen Samardzhiev

 Kuratowski's criterion for planar graphs DSTA
25 Jan 2018
Grzegorz Muszynski

 A topological detection of Atmospheric Rivers DSTA
25 Jan 2018 Claudia Nalon
 - verification
29 Jan 2018
Katie Atkinson

 - robotics
29 Jan 2018
Dr. Anna Felikson

Durham University 		Geometric realizations of quiver mutations Maths
07 Feb 2018
Rida Laraki

University of Liverpool 		Approachability of Convex Sets in Generalized Quitting Games EcCo
08 Feb 2018
Asim Munshi

 Thinning algorithms for black-and-white images DSTA
08 Feb 2018 Sven Schewe
 Journal Club: Deciding parity games in quasipolynomial time verification
09 Feb 2018
[Cancelled]
Benjamin Schneiders

 - [CANCELLED] robotics
14 Feb 2018
Alon Faraggi and Glyn Harries

Department of Physics 		Classification of quasi-realistic heterotic string vacua ACTO
14 Feb 2018
Irene Pasquinelli

Durham University 		Deligne-Mostow lattices and cone metrics on the sphere Maths
15 Feb 2018
Eris Tricker

 Converting pixel-based skeletons into planar graphs DSTA
15 Feb 2018
Michele Zito

 Large Independent Sets in Line of Sight Networks networks
20 Feb 2018

 
[Postponed]
Dr. Graeme Kirkwood

- 		DMML
22 Feb 2018
Naohiko Ban

 Reconstruction of a vortex structure from 2D sequential images DSTA
23 Feb 2018
Paul Dunne

University of Liverpool 		Ranking Arguments by Spectral Methods ARK
27 Feb 2018

 
[Postponed]
Frans Oliehoek

 - [POSTPONED] robotics
27 Feb 2018 Dr. Sara Kalisnik
Max Planck Institute for Mathematics in the Sciences 		A Higher-Dimensional Homologically Persistent Skeleton dept
28 Feb 2018
Thomas Spooner

University of Liverpool 		Market making via reinforcement learning EcCo
01 Mar 2018
Paul Spirakis

 The Dynamics and Stability of Probabilistic Population Processes networks
02 Mar 2018 Dr. Matthew Hague
Department of Computer Science
Royal Holloway University of London 		Web Optimisation: Formal Methods and Cascading Style Sheets dept
08 Mar 2018
Yury Elkin

 Data skeletonisation algorithms for unorganised point clouds DSTA
09 Mar 2018
Fabio Papacchini

University of Liverpool 		A Logical Framework for Data Stream Reasoning ARK
13 Mar 2018
[Cancelled]
Terry Payne

 - [Cancelled] robotics
14 Mar 2018 Andrew Mitchell
Automation and Standardisation Team
Unilever R&D Port Sunlight 		Computer Science and Unilever R&D dept
14 Mar 2018
Giorgos Christodoulou

University of Liverpool 		The price of stability of weighted congestion games with polynomial latencies EcCo
15 Mar 2018
Krasen Samardzhiev

 Homology groups: manual computations DSTA
15 Mar 2018
Leszek Gasieniec

 Fast Space Optimal Leader Election in Population Protocols networks
16 Mar 2018
Danushka Bollegala

University of Liverpool 		Representations of Words, Classes, and Relations for Learning ARK
20 Mar 2018 Dr. Temur Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University Linz 		Pattern-based calculi with finitary matching dept
22 Mar 2018
Krasen Samardzhiev

 Homology groups: matrix computations DSTA
22 Mar 2018
Martin Mose Bentzen

Technical University of Denmark 		Formalisation of ethical reasoning verification
27 Mar 2018
Fabio Papacchini

 - robotics
06 Apr 2018
Federico Cerutti

Cardiff University 		On Scientific Inquiry and Computational Argumentation CMNA
06 Apr 2018
Anton Oliynyk

Department of Chemistry, University of Alberta, Canada 		Accelerating the Discovery of Solid State Materials: From Traditional to Machine-Learning Approaches MIF
09 Apr 2018
Simon Harding

- 		DMML
10 Apr 2018
Richard Klima

 Model-Based Reinforcement Learning under Periodical Observability robotics
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 dept
11 Apr 2018

 
[Postponed]
John Fearnley

University of Liverpool 		End of Potential Line [POSTPONED] EcCo
12 Apr 2018
Krasen Samardzhiev

 Persistent homology of alpha-complexes for 2D clouds DSTA
12 Apr 2018 Marie Farrell
 An Institution for Event-B: Clones, Modularisation and Interoperability verification
17 Apr 2018
Shan Luo

University of Liverpool 		Robot perception with multiple sensing inputs DMML
18 Apr 2018
Olga Gorelkina

University of Liverpool 		Collusion via Information Sharing and Optimal Auctions EcCo
19 Apr 2018
Xiaohui Zhu

 Optimal design of water quality monitoring network networks
20 Apr 2018
[Cancelled]
Pavithra Rajendran

 Relating Arguments and Enthymemes in Opinions [CANCELLED] ARK
20 Apr 2018
Graeme Kirkwood

- 		DMML
24 Apr 2018
Sven Linker

 Spatial Reasoning about Motorway Traffic Safety with Isabelle/HOL robotics
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 dept
25 Apr 2018
John Fearnley

University of Liverpool 		End of Potential Line EcCo
26 Apr 2018
Phil Smith

 Duality between persistent homology in dimensions 0 and 1 for 2D clouds DSTA
26 Apr 2018 Dominik Wojtczak
 Meltdown exploit verification
27 Apr 2018
Alsuhaibani Mohammed

University of Liverpool 		Joint learning of sense and word embeddings DMML
01 May 2018 Prof. Thomas Brihaye
Department of Mathematics
Université de Mons 		When are stochastic transition systems tameable? dept
02 May 2018
Piotr Krysta

University of Liverpool 		Equal-Cost Mechanism Design with Monitoring EcCo
03 May 2018
Phil Smith

 Reeb graphs and alpha-Reeb graphs for data skeletonisation DSTA
04 May 2018 Nagesh Kalakonda
Institute of Translational Medicine, University of Liverpool 		Clonal heterogeneity in lymphoma - making sense of the data deluge DMML
08 May 2018 Yi Wang
Zhejiang University 		- robotics
09 May 2018
Paul Spirakis

University of Liverpool 		Some news about SMITH EcCo
09 May 2018
Dmytro Antypov

Leverhulme Research Centre for Functional Materials Design 		Computer science challenges in crystal structure prediction SIG-ML
10 May 2018
Krasen Samardzhiev

 1D persistent homology of census data in the US DSTA
10 May 2018 Matthew Luckcuck
 Using Circus to Verify Safety-Critical Java Level 2 Programs verification
11 May 2018
Xia Cui

University of Liverpool 		Solving Feature Sparseness in Text Classification using Core-Periphery Decomposition DMML
15 May 2018 Dr. Pawel Dlotko
Department of Mathematics
Swansea University 		Geometry and topology: tools to understand materials, bones, alloys (and more)... dept
18 May 2018
Louwe Kuijer

University of Liverpool 		SOPML: reasoning about all possible knowledge ARK
23 May 2018
Nicos Protopapas

University of Liverpool 		Prompt Scheduling for Selfish Agents EcCo
24 May 2018
Grzegorz Muszynski

 Periodic behaviour in low-dimensional representations of climate data DSTA
24 May 2018 Sven Linker
 Journal Club: A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems verification
24 May 2018 Professor Tim Roughgarden
Computer Science and Management Science and Engineering Departments
Stanford University 		How Computer Science Informs Modern Auction Design dept
25 May 2018
Frans Oliehoek

 - robotics
30 May 2018
Bart de Keijzer

University of Liverpool 		Facility Reallocation on the Line EcCo
31 May 2018
Grzegorz Muszynski

 Diffusion maps for dimensionality reduction with examples DSTA
31 May 2018
Dr Shantanu Das

Aix-Marseille University 		Distributed graph algorithms for energy-constrained mobile robots networks
31 May 2018
Dr Giuseppe Di Luna

Aix-Marseille University 		Gathering in dynamic ring networks
05 Jun 2018

 
[Postponed]
Paul Gainer

 - [POSTPONED] robotics
06 Jun 2018
Martin Gairing

University of Liverpool 		Existence of approximate pure Nash equilibria in weighted congestion games EcCo
07 Jun 2018
Jean Jung

University of Bremen, Germany 		Answering Regular Path Queries over SQ Ontologies ARK
07 Jun 2018 Georgios Kourtis
 verification
13 Jun 2018
Dr Bulat Rakhimberdiev

CheckMobile GmbH 		Current open algorithmic problems in retail Maths
14 Jun 2018
Krasen Samardzhiev

 A Python-based tutorial on Topological Data Analysis DSTA
20 Jun 2018
Themistoklis Melissourgos

University of Liverpool 		Strategic Contention Resolution in Multiple Channels with Limited Feedback EcCo
21 Jun 2018 Nicolas Berthier
 Journal Club: On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours verification
22 Jun 2018

 
[Postponed]
Huda Hakami

University of Liverpool 		DMML
05 Jul 2018
Yongping Pan

National University of Singapore 		- dmml+robotics
05 Jul 2018
Thanh-Toan Do

University of Adelaide 		- dmml+robotics
01 Aug 2018 Dario Paccagnan
ETH Zurich 		Distributed generalized coverage through utility design EcCo

Older Seminars
ordered by Academic Year


Other seminar series