Overview of all talks

Past Talks: 2018/19 Session

Date Speaker Title Series
06 Sep 2018 Prof. Christian Scheideler
University of Paderborn
Theory of Distributed Systems 		Relays: Towards a Link Layer for Robust and Secure Distributed Systems dept
13 Sep 2018
Rafael Cardoso

 A Decentralised Online Multi-Agent Planning Framework for Multi-Agent Systems verification
18 Sep 2018 Dr. Senja Dominique Barthel
Laboratory of molecular simulation
EPFL 		Putting chemistry in shape dept
26 Sep 2018
Argyrios Deligkas

University of Liverpool 		Traffic Light Scheduling, Value of Time, and Incentives EcCo
26 Sep 2018
Matthew Luckuck

 Robotics and Integrated Formal Methods: Necessity meets Opportunity robotics
27 Sep 2018
Louise Dennis

 Journal Club: Bounded Model Checking verification
28 Sep 2018
Huda Hakami

University of Liverpool 		DMML
28 Sep 2018
Marco Mosca

 Voronoi diagrams and Delaunay triangulations DSTA
03 Oct 2018
Rahul Savani

University of Liverpool 		Mixed Strategies in Generative Adversarial Networks EcCo
03 Oct 2018 Professor Orna Kupferman
Hebrew University 		Examining Classical Graph-Theory Problems from the Viewpoint of Formal-Verification Methods LDCSL
05 Oct 2018
Krasen Samardzhiev

 A Python-based tutorial on Delaunay triangulations DSTA
11 Oct 2018

 
[Postponed]
Sven Schewe

 Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games [POSTPONED] verification
12 Oct 2018 Dr. Takanori Maehara
RIKEN AIP, Japan
Discrete Optimization Unit 		Stochastic Probing with Prices dept
12 Oct 2018
Takanori Maehara

- 		Stochastic Probing with Prices DMML
12 Oct 2018
Krasen Samardzhiev

 A Python-based tutorial on alpha-complexes DSTA
17 Oct 2018
Rida Laraki

University of Liverpool 		Acyclic Gambling Games EcCo
18 Oct 2018 Sven Schewe
 Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games verification
19 Oct 2018
Thomas Welsch

 Helping a robot to see a correctly placed piece of cloth DSTA
23 Oct 2018
Georgios Skretas

 On the Transformation Capability of Feasible Mechanisms for Programmable Matter networks
24 Oct 2018
Thomas Spooner

University of Liverpool 		Bayesian optimisation of restriction zones for bluetongue control EcCo
24 Oct 2018
Rafael Cardoso

 The Multi-Agent Programming Contest robotics
25 Oct 2018
Matt Webster

 Journal Club: Verifiable Self-Certifying Autonomous Systems verification
26 Oct 2018
Cameron Hargreaves

 Crystal lattices and notations for space groups DSTA
02 Nov 2018
Arshad Siddiqui

 Polygonal vortex meshes in microscopic images DSTA
06 Nov 2018
Eleni Akrida

 The temporal explorer who returns to the base networks
07 Nov 2018
Louwe Kuijer

University of Liverpool 		Knowledge in (and of) gossip protocols ARK
07 Nov 2018
Vincent Page

Engineering 		[formal methods and simulation based testing] robotics
07 Nov 2018
Argyrios Deligkas

University of Liverpool 		Lecture on Online Matching EcCo
08 Nov 2018
Rasmus Ibsen-Jensen

 Static Analysis of Programs with Low Tree-Width verification
09 Nov 2018
Katerina Vriza

 Symmetry groups of crystals in dimensions 2 and 3 DSTA
13 Nov 2018 Vincent Koeman
Interactive Intelligence
Delft University of Technology 		Explaining Cognitive Agents dept
14 Nov 2018
Argyrios Deligkas

University of Liverpool 		Lecture on Online Matching (ctd) EcCo
20 Nov 2018 Dr. Brian Logan
School of Computer Science
University of Nottingham 		Synthesising Provably Correct Controllers for Manufacturing dept
20 Nov 2018
Leszek Gasienic

 Searching with Increasing Speeds networks
21 Nov 2018
Rasmus Ibsen-Jensen

University of Liverpool 		Generic Event Prediction and the Big Match EcCo
22 Nov 2018
Mete Ozbaltan

 Journal Club: Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures verification
23 Nov 2018
Nawal Almutri

University of Liverpool 		Secure Third Party Data Clustering Using ? Data: Multi-User Order Preserving Encryption and Super Secure Chain Distance Matrices DMML
23 Nov 2018
Miloslav Torda

 Optimal lattice packings in Euclidean spaces DSTA
26 Nov 2018
Dr Tony Nixon

Lancaster University 		Rigidity of linearly constrained frameworks Maths
28 Nov 2018
Rasmus Ibsen-Jensen

University of Liverpool 		Generic Event Prediction and the Big Match (ctd) EcCo
29 Nov 2018
Hadrien Pulcini

University of Liverpool 		Concept learning in description logics using refinement operators ARK
30 Nov 2018
Fraser Holloway

 A classification of pulse shapes from AGATA DSTA
04 Dec 2018
Michail Theofilatos

 Simple and Fast Approximate Counting and Leader Election in Populations networks
05 Dec 2018
Themistoklis Melissourgos

University of Liverpool 		Approximating the Existential Theory of the Reals EcCo
06 Dec 2018
Clare Dixon

 Overview to the S4 Project with a Focus on Synchronisation Protocols verification
07 Dec 2018
Thanh-Toan Do

University of Liverpool 		An Upper Bound on the Triplet Loss for Deep Distance Metric Learning DMML
07 Dec 2018
Yury Elkin

 Dual-tree algorithms and applications to data skeletonization DSTA
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 dept
14 Dec 2018
Phil Smith

 Skeletonisation algorithms for unstructured point clouds with theoretical guarantees DSTA
08 Jan 2019 Dr. Andreas Pieris
School of Informatics
Laboratory for Foundations of Computer Science
University of Edinburgh 		Semantic Optimization of Conjunctive Queries dept
10 Jan 2019
Martin Zimmermann

 Linear Temporal Logics beyond LTL verification
11 Jan 2019
Grzegorz Muszynski

 Topological & Machine Learning Pattern Detection Methods in Climate Data DSTA
15 Jan 2019 Dr. Hiroyuki Kido
Institute of Logic and Cognition
Sun Yat-Sen University 		Argumentation Mining from Acceptability of Arguments dept
16 Jan 2019
Piotr Krysta

University of Liverpool 		An Impossibility Result for Equal-cost Mechanism Design with Monitoring for Binary Covering Problems EcCo
18 Jan 2019
Grzegorz Muszynski

 Support Vector Machine and t-Distributed Stochastic Neighbor Embedding DSTA
22 Jan 2019 John Murray
Fusion Data Science and University of Liverpool 		End to End Analysis of Large 3D Geospatial Datasets with GPUs dept
23 Jan 2019
John Fearnley

University of Liverpool 		Unique End of Potential Line EcCo
23 Jan 2019
Kostas Tsakalidis

University of Liverpool 		Geometric queries and optimization problems ACTO
24 Jan 2019
Angelo Ferrando

 Towards (decentralised) Runtime verification of multi-agent systems using trace expressions verification
25 Jan 2019
Bakhtiar Amen

University of Liverpool 		Directed Acyclic Graph Model for Scalable Contextual Anomaly Event Stream Detection DMML
30 Jan 2019
Nicos Protopapas

University of Liverpool 		Additive Approximation Guarantees for Impartial Sample Mechanisms EcCo
01 Feb 2019
Marco Mosca

 Reduced cell theory and the instability of Niggli's reduced cell DSTA
06 Feb 2019
Duncan Adamson

University of Liverpool 		Least Unstable Above Stable Cardinality Matchings in the Stable Marriage Problem with Ties and Incomplete Lists EcCo
06 Feb 2019
Matt Webster

 Veri?able Self-Certifying Autonomous Systems robotics
08 Feb 2019
[Cancelled]
Shagufta Scanlon

University of Liverpool 		Research Trends and Challenges in Data Mining and Machine Learning for Big Data and Opportunities for Collaboration [CANCELLED] DMML
08 Feb 2019
Cameron Hargreaves

 Persistent homology and its applications with the Ripser DSTA
13 Feb 2019
Vladimir Gusev

Leverhulme Centre for Functional Material Design 		Harnessing Exponential Knowledge Growth ACTO
13 Feb 2019 Andrew Ryzhikov
 Synchronization and mortality in finite automata ACTO
15 Feb 2019
Phil Smith

 An introduction to homology groups with examples for graphs DSTA
20 Feb 2019
Martin Gairing

University of Liverpool 		Hiring Secretaries over Time: The Benefit of Concurrent Employment EcCo
20 Feb 2019
Marie Farrell

 The Landscape of Formal Methods for Robotics robotics
21 Feb 2019

 
[Postponed]
George Skretas

 Patrolling on Dynamic Ring Networks [POSTPONED] networks
21 Feb 2019
Karoliina Lehtinen

 verification
22 Feb 2019

Algorithmic computation of 0D homology by Katerina, Marco, Cameron, Thomas, Milo DSTA
01 Mar 2019

Algorithmic computation of 1D homology by Katerina, Marco, Cameron, Thomas, Milo DSTA
06 Mar 2019
Louwe Kuijer

 - robotics
06 Mar 2019
Rida Laraki

University of Liverpool 		Existence of Equilibria in Discontinuous Games [POSTPONED] EcCo
06 Mar 2019
Dr Paul Bell

Liverpool John Moores University 		Towards Uniform Online Spherical Tessellations ACTO
07 Mar 2019
George Skretas

 Patrolling on Dynamic Ring Networks networks
08 Mar 2019
Milo Torda

 Algorithmic computation of homology groups for 2-dimensional complexes DSTA
12 Mar 2019 Sarah Winter
RWTH Aachen University 		Parameterized synthesis of subsequetial transducers from rational relations over finite words dept
13 Mar 2019
Paul Spirakis

University of Liverpool 		The Price of Defence EcCo
14 Mar 2019
Prof. Dirk Nowotka

Kiel University 		Word Equations: Theory and Applications ACTO
20 Mar 2019
Xiaowei Huang

 - robotics
20 Mar 2019
Rida Laraki

University of Liverpool 		Existence of Equilibria in Discontinuous Games EcCo
21 Mar 2019
Konstantinos Tsakalidis

 Packet classification via dynamic point location networks
27 Mar 2019
Giorgos Christodoulou

University of Liverpool 		On the Nisan-Ronen conjecture for submodular valuations EcCo
28 Mar 2019
Tomasz Jurdzinski

Wroclaw University 		Minimum Spanning Tree and other Problems in O(1) Rounds of Congested Clique networks
29 Mar 2019

Linear algebra exercises by Katerina, Marco, Thomas, Cameron, Krasen, Phil DSTA
02 Apr 2019
Martin Zimmermann

 Monitoring of Robust LTL verification
02 Apr 2019
Rasmus Ibsen-Jensen

 Event points in one-clock priced timed games verification
02 Apr 2019
Sven Linker

 Uniform Witnesses for Solutions of Presburger Arithmetic verification
03 Apr 2019
Oleg Karpenkov

University of Liverpool 		Geometry of continued fractions EcCo
03 Apr 2019
Shan Luo

 - robotics
04 Apr 2019
Misolov Torda

- 		Evaluation of Information-Theoretic Measuresin Echo State Networks on the Edge of Stability DMML
10 Apr 2019
Jacopo Castellini

University of Liverpool 		he Representational Capacity of Action-Value Networks for Multi-Agent Reinforcement Learning EcCo
17 Apr 2019
Paolo Poletti

 Engineering RAS platforms: from manufacturing to food production to healthcare robotics
01 May 2019
Greg Palmer

 - robotics
03 May 2019
Cameron Hargreaves

 Persistent homology for the filtration of alpha-complexes DSTA
07 May 2019 Prof. Irina Lomazova
Faculty of Computer Science
National Research University Higher School of Economics, Russia 		Process Mining: Data Science in Action dept
09 May 2019
Xenofon Evangelopoulos

University of Liverpool 		Circular object sequencing using bilevel optimization DMML
09 May 2019
Irina Lomazova

 Modeling concurrent behavior: between expressibility and decidability verification
14 May 2019
Matt Webster

 Formal Verification of the LoRaWAN Protocol for the Internet of Things verification
14 May 2019 Dr Vanessa Robins
Department of Applied MathematicsAustralian National University 		Insights from the topological and geometric analysis of porous and granular materials WiT
15 May 2019
Terry Payne

 - robotics
15 May 2019
Thomas Spooner

University of Liverpool 		Robust Trading via Adversarial Reinforcement Learning EcCo
22 May 2019
Nan Zhi

University of Liverpool 		Ultimate greedy approximation of independent sets in subcubic graphs EcCo
22 May 2019
Ava Thomas Wright

Philosophy Department at Univ. Georgia 		Answer Set Programming Rightful Machines: Solving the Trolley Problem robotics
24 May 2019
Yury Elkin

 Links between persistence modules and hierarchical clustering DSTA
29 May 2019
Themistoklis Melissourgos

University of Liverpool 		Connected Subgraph Defense Games EcCo
31 May 2019
Vitaliy Kurlin

 Mathematical problems for infinite periodic structures DSTA
03 Jun 2019
Zhengyao Jiang and Shan Luo

University of Liverpool 		Neural Logic Reinforcement Learning DMML
05 Jun 2019
Nicos Protopapas

University of Liverpool 		Prophet Inequalities for Independent Random Variables from an Unknown Distribution EcCo
07 Jun 2019
Katerina Vriza

 Data-driven discovery of functional molecular co-crystals DSTA
07 Jun 2019
Hadrien Pulcini

University of Liverpool 		Learning Description Logic Concepts: When Can Positive and Negative Examples be Separated? ARK
10 Jun 2019

 
[Postponed]
Phillip Smith

- 		An introduction to persistent homology followed by a comparison of skeletonisation algorithms [POSTPONED] DMML
11 Jun 2019
Patrick Totzke

 VASS Reachability: What's new and why do I care? verification
12 Jun 2019
Rahul Savani

University of Liverpool 		Finding Nash equilibria of Tree Polymatrix Games EcCo
12 Jun 2019
Fabio Papacchini

University of Liverpool 		Model Comparison Games for Horn Description Logics ARK
14 Jun 2019
Krasen Samardzhiev

 A change of a basis for linear maps in a matrix form DSTA
19 Jun 2019
Argyrios Deligkas

University of Liverpool 		Computing Exact Solutions of Consensus Halving and the Borsuk-Ulam Theorem EcCo
21 Jun 2019
Marco Mosca

 Geometric invariants for clustering datasets of crystal structures DSTA
21 Jun 2019
Prof. Volker Diekert

Stuttgart University 		About a Conway-type result for tree language ACTO
25 Jun 2019
Karoliina Lehtinen

 What are good-for-games automata good for anyway? verification
25 Jun 2019
Martin Zimmermann

 Model Checking LTL with Team Semantics verification
26 Jun 2019
Xianbin Hong

University of Liverpool 		Lifelong Machine Learning for Sentiment Classification DMML
26 Jun 2019
Louise Dennis, Gwendolen Sellers and Nile Willow

 Robotics Outreach Resources and Plans robotics
26 Jun 2019
Victor Verdugo Silva

London School of Economics 		Prophets and Optimal Auctions EcCo
28 Jun 2019
Cameron Hargreaves

 Topological techniques for structural similarities in ionic compounds DSTA
04 Jul 2019
Gaojie Jin

University of Liverpool 		Tracking Information Evolution of Hidden Representations for Neural Networks via Kernelised Vector Quantisation DMML
05 Jul 2019
Milo Torda

 Periodic packings in the light of crystal structure prediction DSTA
10 Jul 2019
Phillip Smith

- 		An introduction to persistent homology followed by a comparison of skeletonisation algorithms DMML
11 Jul 2019 Prof. Bakh Khoussainov
University of Auckland
Department of Computer Science 		Open problems in the theory of automatic structures dept
19 Jul 2019
Milo Torda

 Crystallographic point groups and space groups from a group theoretic perspective DSTA

Older Seminars
ordered by Academic Year


Other seminar series