|
02 Oct 2019 |
Christian Ikenmeyer
University of Liverpool |
On the complexity of hazard-free circuits
|
|
23 Oct 2019 |
Aris Filos-Ratsikas
University of Liverpool |
Necklace Splitting and Natural PPA-Complete Problems
|
24 Oct 2019
ACTO/Networks
|
Argyrios Deligkas
University of Liverpool |
Optimizing Reachability Sets in Temporal Graphs by Delaying
|
|
30 Oct 2019 |
Konstantinos Tsakalidis
University of Liverpool |
An updating method for geometric data structures
|
|
13 Nov 2019 |
Sebastian Wild
University of Liverpool |
Entropy Trees: Range-Minimum Queries In Optimal Average-Case Space
|
18 Nov 2019
Maths
|
Victor Goryunov
- |
Vanishing cycles of matrix singularities
|
|
20 Nov 2019 |
Dr Andrew Ryzhikov
|
Synchronization of finite automata
|
|
15 Jan 2020 |
Duncan Adamson
University of Liverpool |
On the Hardness of Energy Minimisation for Crystal Structure Prediction
|
|
05 Feb 2020 |
Nick Fischer
- |
The Computational Complexity of Plethysm Coefficients
|
|
19 Feb 2020 |
Igor Potapov
University of Liverpool |
Decision problems for Matrix Semigroups
|
04 Mar 2020
ACTO/Networks
|
Prof. Abdallah Makhoul, Dr. Benoit Piranda, and Pierre Thalamy
- |
Programming and forming objects with modular robots to enable a programmable matter
|
11 Mar 2020
ACTO/Networks
|
Dr. Jurgen Hackl
Civil Engineering and Industrial Design |
Complex Infrastructure Systems: From real-world to computational models and beyond
|
|
01 Jul 2020 |
Christian Ikenmeyer
|
Implementing geometric complexity theory: On the separation of orbit closures via symmetries
|
|
22 Jul 2020 |
Abhiroop Sanyal
|
On Algebraic Branching Programs of Small Width
|
|
05 Aug 2020 |
Duncan Adamson
University of Liverpool |
Multidimensional Necklaces: Counting, Generation and Ranking
|
