12 Jul 2019 |
Dr Zhenhua Feng
University of Surry |
Robust Facial Landmark Localisation and Its Applications
|
robotics
|
18 Sep 2019 |
Rasmus Ibsen-Jensen
University of Liverpool |
Poorman Bidding Games on Graphs
|
EcCo
|
20 Sep 2019 |
Milo Torda
|
Dense periodic packings in the light of crystal structure prediction
|
DSTA
|
25 Sep 2019 |
Marco Siccardi
Translational Medicine, University of Liverpool |
Computational modelling for the optimisation of pharmacological therapies and prediction of drug-drug interactions
|
DMML
|
25 Sep 2019 |
Xingyu Zhao
Heriot Watt University |
Combining formal verification and testing for robotic systems on the ORCA project
|
robotics
|
25 Sep 2019 |
Prof. Oleksandr Talavera
University of Birmingham |
Social Media, Sentiment and Public Opinions: Evidence from Brexit and US Election
|
ULMS
|
25 Sep 2019 |
Andrea Mazzullo
Free University of Bozen-Bolzano |
Do You Need Infinite Time?
|
ARK
|
27 Sep 2019 |
Phil Smith
|
Resolution-independent meshes of superpixels
|
DSTA
|
01 Oct 2019 |
Martin Zimmermann
|
HyperLTL: A Specification Language for Information-flow Properties
|
verification
|
02 Oct 2019 |
Dr Danushka Bollegala
Department of Computer Science, University of Liverpool |
Gender-preserving Debiasing for Pre-trained Word Embeddings
|
WiT
|
02 Oct 2019 |
Christian Ikenmeyer
University of Liverpool |
On the complexity of hazard-free circuits
|
ACTO
|
02 Oct 2019 |
David Suter
Edith Cowan University |
Multi-Structure Model-Based Fitting in Computer Vision - A Tour
|
robotics
|
04 Oct 2019 |
Vitaliy Kurlin
|
Isometric invariants of periodic point clouds
|
DSTA
|
09 Oct 2019 |
Alkmini Sgouritsa
University of Liverpool |
Resource-Aware Cost-Sharing Methods for Scheduling Games
|
EcCo
|
09 Oct 2019 |
Rafael Cardoso, Angelo Ferrando, Fabio Papacchini
|
The Multi-Agent Programming Contest 2019
|
robotics
|
10 Oct 2019 |
Abdullah Almethen
|
Pushing Lines Helps: Efficient Universal Centralised Transformations for Programmable Matter
|
networks
|
11 Oct 2019 |
Thomas Welsch
|
Identification of organic compounds by a liquid crystal sensor
|
DSTA
|
14 Oct 2019 |
Dr. Martin Caminada
Cardiff University
School of Computer Science and Informatics |
A Logical Account of Dishonesty
|
dept
|
15 Oct 2019 |
Patrick Totzke
|
Timed Basic Parallel Processes
|
verification
|
16 Oct 2019 |
Nick New
Optalysys |
Artificial Intelligence at the Speed of Light
|
DMML
|
17 Oct 2019 |
Sebastien Wild
|
Efficient Second-Order Shape-Constrained Function Fitting
|
networks
|
22 Oct 2019 |
Christian Bach
UoL and EPICENTER Maastricht |
Incomplete Information and Iterated Strict Dominance
|
ULMS
|
23 Oct 2019 |
Clare Dixon
|
An Overview to the FAIR-SPACE project
|
robotics
|
23 Oct 2019 |
Aris Filos-Ratsikas
University of Liverpool |
Necklace Splitting and Natural PPA-Complete Problems
|
ACTO
|
24 Oct 2019 |
Argyrios Deligkas
University of Liverpool |
Optimizing Reachability Sets in Temporal Graphs by Delaying
|
ACTO/Networks
|
25 Oct 2019 |
Georg Osang (IST Austria)
|
Periodic Delaunay triangulations
|
DSTA
|
30 Oct 2019 |
Nicos Protopapas
University of Liverpool |
Truthful Aggregation of Budget Proposals
|
EcCo
|
30 Oct 2019 |
Konstantinos Tsakalidis
University of Liverpool |
An updating method for geometric data structures
|
ACTO
|
31 Oct 2019 |
Thomas Carroll
|
Graphics Processing Units: Abstract Modelling and Applications in Bioinformatics
|
networks
|
01 Nov 2019 |
Matt Bright
|
Realisability of Gauss paragraphs for 2-periodic links
|
DSTA
|
05 Nov 2019 |
Prof. Bo Chen
Warwick Business School
University of Warwick |
Capacity Auctions: VCG Mechanism vs. Submodularity
|
dept
|
06 Nov 2019 |
Prof Sunil Vadera
University of Salford |
Pruning Deep Neural Networks with Multi-Arm Bandits
|
DMML
|
06 Nov 2019 |
Joe Collenette
|
-
|
robotics
|
08 Nov 2019 |
Cameron Hargreaves
|
The Minimal Cost Flow atomic similarity
|
DSTA
|
12 Nov 2019 |
Marie Fortin
|
FO = FO3 for Linear Orders with Monotone Binary Relations
|
verification
|
13 Nov 2019 |
Sebastian Wild
University of Liverpool |
Entropy Trees: Range-Minimum Queries In Optimal Average-Case Space
|
ACTO
|
14 Nov 2019 |
Viktor Zamaraev
University of Liverpool |
From Static Graph Theory to Temporal Graph Theory
|
networks
|
15 Nov 2019 |
Yury Elkin
|
Stability of hierarchical clustering algorithms
|
DSTA
|
18 Nov 2019 |
Victor Goryunov
- |
Vanishing cycles of matrix singularities
|
Maths
|
20 Nov 2019 |
Gautam Pal
XJTLU |
Big Data Stream Processing and Iterative Learning
|
DMML
|
20 Nov 2019 |
Fabio Papacchini
|
-
|
robotics
|
20 Nov 2019 |
Dr Andrew Ryzhikov
|
Synchronization of finite automata
|
ACTO
|
22 Nov 2019 |
Dr. Nikolaos Aletras
Department of Computer Science
University of Sheffield |
Legal Judgement Prediction with NLP
|
dept
|
22 Nov 2019 |
Thomas Welsch
|
An introduction to program synthesis
|
DSTA
|
26 Nov 2019 |
Marie Farrell
|
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
|
verification
|
26 Nov 2019 |
Dr. Filip Mazowiecki
Max Planck Institute for Software Systems |
The Reachability Problem for Petri Nets is Not Elementary
|
dept
|
29 Nov 2019 |
Cristian Badoi, Aaron Butterworth, Daniel Gardam
|
Sampling a space of chemicals
|
DSTA
|
03 Dec 2019 |
Dr. Torsten Mütze
University of Warwick
Department of Computer Science |
Combinatorial generation via permutation languages
|
dept
|
04 Dec 2019 |
Aris Filos-Ratsikas
University of Liverpool |
Peeking Behind the Ordinal Curtain: Improving Distortion via Cardinal Queries
|
EcCo
|
04 Dec 2019 |
Stefania Soldini
Engineering |
-
|
robotics
|
06 Dec 2019 |
Katerina Vriza
|
Machine learning methods for predicting co-crystas
|
DSTA
|
10 Dec 2019 |
Dr. Sebastian Wild
Department of Computer Science
University of Liverpool |
Sorting today - What makes dual-pivot quicksort fast?
|
dept
|
10 Dec 2019 |
Prof David Berry
University of Sussex |
Automation, Work, Explainability: The Future of the Future of Work
|
ULMS
|
11 Dec 2019 |
Guy Avni
IST Austria |
Infinite-Duration Bidding Games
|
EcCo
|
13 Dec 2019 |
Fraser Holloway
|
Machine Learning and Topological Data Analysis for Pulse Shape Analysis
|
DSTA
|
10 Jan 2020 |
Phil Smith
|
Packing functions are new isometry invariants of periodic crystals
|
DSTA
|
15 Jan 2020 |
Duncan Adamson
University of Liverpool |
On the Hardness of Energy Minimisation for Crystal Structure Prediction
|
ACTO
|
17 Jan 2020 |
Muizdeen Raji
|
Machine learning for cell clustering and predictions from mass cytometry data
|
DSTA
|
28 Jan 2020 |
Dr. Daniel Neider
Max Planck Institute for Software Systems
University of Kaiserslautern |
ICE: Learning Correctness Proofs of Software
|
dept
|
29 Jan 2020 |
Prof Kay O'Halloran
Communication and Media, University of Liverpool |
A Multimodal Approach to Data Analytics
|
DMML
|
29 Jan 2020 |
George Kourtis
|
Specifying Parameterized Systems in First-Order Temporal Logic
|
robotics
|
31 Jan 2020 |
Cameron Hargreaves
|
The dimensionality reduction by UMAP and applications to solid state discovery
|
DSTA
|
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
|
dept
|
04 Feb 2020 |
Dr. Sergiy Bogomolov
Newcastle University
School of Computing |
Trusted Autonomous Systems: Verification Meets Falsification
|
dept
|
05 Feb 2020 |
John Fearnley
University of Liverpool |
Finding Tarski Fixed Points is Hard
|
EcCo
|
05 Feb 2020 |
Nick Fischer
- |
The Computational Complexity of Plethysm Coefficients
|
ACTO
|
07 Feb 2020 |
Marco Mosca
|
Voronoi-based similarity distances between crystal lattices
|
DSTA
|
12 Feb 2020 |
Liam Brieley
Department of Biostatistics, University of Liverpool |
Combining machine learning and genomic approaches to predict RNA virus emergence
|
DMML
|
12 Feb 2020 |
Heba Lakany
|
-
|
robotics
|
14 Feb 2020 |
Matt Bright
|
Classifying fabric structures: an application of knot theory
|
DSTA
|
18 Feb 2020 |
Alexei Lisitsa
|
Lightning Talk: Experiences in the meeting on Formal methods in Mathematics/Lean together 2020
|
verification
|
18 Feb 2020 |
Martin Zimmermann
|
Lightning talk: 2-dimensional Average-energy Games
|
verification
|
19 Feb 2020 |
Alexandros Hollender
University of Oxford |
A Topological Characterization of Modulo-p Arguments and Implications for Necklace Splitting
|
EcCo
|
19 Feb 2020 |
Igor Potapov
University of Liverpool |
Decision problems for Matrix Semigroups
|
ACTO
|
21 Feb 2020 |
Phil Smith
|
Voronoi domains and Brillouin zones of periodic point sets
|
DSTA
|
26 Feb 2020 |
David Marquez-Gamez
Department of Chemistry |
Robotic Lab of the Future
|
robotics
|
26 Feb 2020 |
Piotr Krysta
University of Liverpool |
Ultimate greedy approximation of independent sets in subcubic graphs
|
EcCo
|
27 Feb 2020 |
Paritosh Pandya
Tata Institute of Fundamental Research, Mumbai |
Logical Specification and Optimal Synthesis of Robust Controllers and Runtime Enforcement Shields
|
verification
|
28 Feb 2020 |
Thomas Welsch
|
Evolutionary computation for program synthesis
|
DSTA
|
03 Mar 2020 |
Sven Linker
|
Notions of Bisimulations on Neighbourhood Spaces
|
verification
|
04 Mar 2020 |
Prof. Abdallah Makhoul, Dr. Benoit Piranda, and Pierre Thalamy
- |
Programming and forming objects with modular robots to enable a programmable matter
|
ACTO/Networks
|
04 Mar 2020 |
Martin Gairing
University of Liverpool |
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games
|
EcCo
|
06 Mar 2020 |
Yury Elkin
|
Machine learning techniques in Topological Data Analysis
|
DSTA
|
06 Mar 2020 |
Muizdeen Raji
|
Statistical analysis of microRNA and messenger RNA profiling
|
DSTA
|
06 Mar 2020 |
Cristian Badoi
|
Samply: predicting formulae of chemical compounds
|
DSTA
|
10 Mar 2020 |
Prof. Peter Bürgisser
TU Berlin, Institute of Mathematics |
Optimization, Complexity and Invariant Theory
|
dept
|
10 Mar 2020 |
Janos Flesch
Maastricht University |
Stopping games on finite directed graphs
|
ULMS
|
11 Mar 2020 |
Giorgos Christodoulou
University of Liverpool |
Truthful Graph Balancing
|
EcCo
|
11 Mar 2020 |
Sven Linker
|
Target Counting with Wireless Sensor Networks: Spatial Models and Presburger Arithmetic
|
robotics
|
11 Mar 2020 |
Dr. Jurgen Hackl
Civil Engineering and Industrial Design |
Complex Infrastructure Systems: From real-world to computational models and beyond
|
ACTO/Networks
|
20 Mar 2020 |
Vitaliy Kurlin and Marco Mosca
|
Reduced cells of crystals
|
DSTA
|
25 Mar 2020 |
Matt Luckuck
|
Work in Progress: Runtime Monitors from Safety Documentation.
|
robotics
|
27 Mar 2020 |
Vitaliy Kurlin
|
A continuous approach to a crystal classification
|
DSTA
|
31 Mar 2020 |
Martin Zimmermann
|
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
|
verification
|
31 Mar 2020
[Postponed] |
Dr. Patrick Nicholson
Nokia Bell Labs, Dublin |
|
dept
|
14 Apr 2020 |
Rasmus Ibsen-Jensen
|
One-Clock Priced Timed Games are PSPACE-hard
|
verification
|
22 Apr 2020 |
Emily Collins
|
-
|
robotics
|
24 Apr 2020 |
Phil Smith
|
Stability of Voronoi diagrams under perturbations
|
DSTA
|
30 Apr 2020 |
Phil Smith
|
Stability of density functions of periodic crystals
|
DSTA
|
06 May 2020 |
[Debate]
|
How to stop the Terminator before it starts: practical limits on AI for safe operations
|
robotics
|
11 May 2020 |
Luowe Kuijer
University of Liverpool |
|
ARK
|
12 May 2020 |
Karoliina Lehtinen
|
Good-for-games omega-pushdown automata
|
verification
|
13 May 2020 |
Monab Elkaref
IBM |
Recursive LSTM Trees for Dependency Parsing
|
DMML
|
15 May 2020 |
Matt Bright
|
Encoding and topological computation on textile structures
|
DSTA
|
20 May 2020 |
Rida Laraki
University of Liverpool |
Stable Matching Games
|
EcCo
|
22 May 2020 |
Thomas Welsch
|
Synthesis through Unification Genetic Programming
|
DSTA
|
26 May 2020 |
Dr. Viktor Zamaraev
Department of Computer Science,
University of Liverpool |
Implicit Graph Representation Conjecture and Geometric Intersection Graph Classes
|
dept
|
29 May 2020 |
Vitaliy Kurlin
|
An introduction to research problems on crystals for new and future students
|
DSTA
|
01 Jun 2020 |
Hadrien Pulcini
University of Liverpool |
Logical Separability of Incomplete Data under Ontologies
|
ARK
|
02 Jun 2020 |
Dr. Aris Filos-Ratsikas
Department of Computer Science,
University of Liverpool |
Maximum Nash Welfare and Other Stories about EFX
|
dept
|
03 Jun 2020 |
[Debate]
|
Her, virtual reality and embodied artificial cognition
|
robotics
|
05 Jun 2020 |
Grzegorz Muszynski
|
Atmospheric Blocking Pattern Recognition in Global Climate Simulation Data
|
DSTA
|
08 Jun 2020 |
Sven Linker
University of Liverpool |
Analysing Spatial Properties on Neighbourhood Spaces
|
ARK
|
09 Jun 2020 |
Patrick Totzke
|
Parametrized Universality Problems for One-Counter Nets
|
verification
|
12 Jun 2020 |
Grzegorz Muszynski
|
Topological Data Analysis for recognizing Atmospheric River patterns
|
DSTA
|
17 Jun 2020 |
Francisco Mamolego
University of Oxford |
Optimally Deceiving a Learning Leader in Stackelberg Games
|
EcCo
|
19 Jun 2020 |
Marco Mosca
|
Voronoi-based similarity distances between arbitrary crystal lattices
|
DSTA
|
24 Jun 2020 |
Artem Tsikiridis
Athens University of Economics and Business |
Core-selecting mechanisms
|
EcCo
|
01 Jul 2020 |
Estelle Varloot
University of Liverpool |
Characterizations of strategy-proof voting rules
|
EcCo
|
01 Jul 2020 |
Christian Ikenmeyer
|
Implementing geometric complexity theory: On the separation of orbit closures via symmetries
|
ACTO
|
03 Jul 2020 |
Katerina Vriza
|
Machine Learning in Materials Science. Case study: molecular co-crystals.
|
DSTA
|
06 Jul 2020 |
Fabio Papacchini
|
Extending the Modal Logic Prover KSP
|
ARK
|
08 Jul 2020 |
Alexandros Voudouris
University of Essex |
Schelling's model of residential segregation
|
EcCo
|
10 Jul 2020 |
Marco Mosca
|
Average Minimum Distances are stable isometry invariants of crystals.
|
DSTA
|
16 Jul 2020 |
Yury Elkin
|
The mergegram of a clustering dendrogram and its stability.
|
DSTA
|
17 Jul 2020 |
Milo Torda
|
Space group optimization algorithm based on information geometry
|
DSTA
|
22 Jul 2020 |
Nicos Protopapas
|
Impartial selection with prior information
|
EcCo
|
22 Jul 2020 |
Abhiroop Sanyal
|
On Algebraic Branching Programs of Small Width
|
ACTO
|
22 Jul 2020 |
Professsor Patty Kostkova
UCL IRDR Centre for Digital Public Health in Emergencies |
"There's an App for That" - How Digital technologies and social media shape our health
|
WiT
|
05 Aug 2020 |
Duncan Adamson
University of Liverpool |
Multidimensional Necklaces: Counting, Generation and Ranking
|
ACTO
|
18 Aug 2020 |
Isa Vialard
|
(Bi)simulation checking for Gap-order Systems
|
verification
|