Overview of all talks

Past Talks: 2021/22 Session

Date Speaker Title Series
08 Sep 2021
Bei Peng

Cooperative Deep Multi-Agent Reinforcement Learning DMML
24 Sep 2021
Yury Elkin

Cover trees for k-nearest neighbour search in a metric space (part 1) DSTA
01 Oct 2021
Yury Elkin

Cover trees for k-nearest neighbour search in a metric space (part 2) DSTA
06 Oct 2021
Navjot Kukreja

High-performance backpropagation DMML
13 Oct 2021
Nicos Protopapas

Truthful aggregations of budget proposals with proportionality guarantees EcCo
14 Oct 2021
Paul Spirakis

Actively Dynamic Networks NESTiD
16 Oct 2021
Armando Castaneda

Universidad Nacional Autonoma de Mexico
Synchronous t-Resilient Consensus in Arbitrary Graphs NESTiD
29 Oct 2021
Steff Farley

Loughborough University Mathematical Sciences
Quantitative Data Integration with Computational Models of Dewetting Processes. MIF
03 Nov 2021 Dr Heba Lakany
Department of Electrical Engineering & Electronics
Human movement: An Engineering perspective wit
11 Nov 2021
Viktor Zamaraev

Sharp thresholds in random simple temporal graphs NESTiD
12 Nov 2021
Vitaly Kurlin

MIF
Continuous metrics on isometry classes of 2-dimensional lattices. MIF
25 Nov 2021
Valerie King

University of Victoria, Canada
Distributed connectivity and the k-out random graph conjecture NESTiD
26 Nov 2021
Andreas Alpers

Mathematical Sciences
Tomographic Imaging of Crystalline Structures: Mathematics & Materials Science. MIF
01 Dec 2021
Robert Loftin

TU Delft
Strategically Efficient Exploration for Multi-Agent Reinforcement Learning EcCo
09 Dec 2021
Leszek Gasieniec

A time and space optimal stable population protocol solving exact majority NESTiD
10 Dec 2021
Vitaly Kurlin

MIF
Visual maps of the isometry space of 3-dimensional lattices. MIF
14 Jan 2022
Michael White

University of Manchester
Digital Fingerprinting of Microstructures. MIF
20 Jan 2022
Peter Etchells

Durham University
A Transcriptional Regulatory Network Controls Vascular Development in plants NESTiD
28 Jan 2022
Vitaly Kurlin

MIF
Geographic-style maps of crystal lattices from the Cambridge Structural Database. MIF
03 Feb 2022
Thiru (Thirupathaiah) Vasantam

Durham University
A throughput optimal scheduling policy for a quantum switch NESTiD
10 Feb 2022
Nishanth Sastry

University of Surrey
Untangling the Web by tracking our trackers NESTiD
03 Mar 2022
Merav Parter

Weizmann Institute, Israel
New Diameter Reducing Shortcuts: Breaking the $O(\sqrt{n})$ Barrier NESTiD
04 Mar 2022
James Darby

University of Cambridge
Compressing local atomic neighbourhood descriptors. MIF
08 Mar 2022
Louwe Kuijer

Logics of conditional belief, obligation and rationality ARK
11 Mar 2022
Vitaly Kurlin

MIF
Continuous metrics and chiral distances for 2-dimensional lattices. MIF
17 Mar 2022
Donald Towsley

University of Massachussets Amherst
The Quantum Internet: Recent Advances and Challenges NESTiD
25 Mar 2022
[open table]

A discussion of equivalences and invariants of periodic crystals. MIF
31 Mar 2022 Chao Huang
Certified Reinforcement Learning DMML
01 Apr 2022
[open table]

A discussion of continuous invariants and metrics on crystals. MIF
08 Apr 2022
Larry Andrews

Ronon Institute, USA
Comparing crystal lattices. MIF
26 Apr 2022
Vitaly Kurlin

MIF
The Crystal Isometry Principle. MIF
27 Apr 2022 Dr Diana Maynard
University of Sheffield
Social media: freedom of speech or a cesspit of filth, lies, and abuse? wit
28 Apr 2022
Roger Wattenhofer

ETH Zurich
Cascade: Asynchronous Proof-of-Stake NESTiD
29 Apr 2022
Gregory McColm

University of South Florida, US
Using Symmetry-Based Equivalence Relations in Classifying Crystallographic Structures MIF
05 May 2022
Dariusz Kowalski

Augusta University
Anonymous Distributed Computing in Dynamic Networks NESTiD
06 May 2022
Emre S. Tasci

Hacettepe University, Turkey
Using Group Theory to Relate and Compare Structures. MIF
10 May 2022 Dr. Maximilien Gadouleau
Department of Computer Science, Durham University
Linear Programming Complementation dept
13 May 2022
James Cumby

University of Edinburgh
Encoding chemical similarity using pairwise distances. MIF
17 May 2022 Dr. Kitty Meeks
School of Computing Science, University of Glasgow
Counting Temporal Paths dept
18 May 2022
Lewis Hammond and James Fox

University of Oxford
Reasoning about Causality in Games EcCo
18 May 2022
Julian Dörfler

Saarland University
Counting Induced Subgraphs: An Algebraic Approach to #W[1]-Hardness ACTO
20 May 2022
Cyril Cayron

EPFL, Switzerland
A method to reduce N-dimensional lattices and solve N-dimensional B�zout's identities. MIF
24 May 2022 Dr. Georgios Amanatidis
Department of Mathematical Sciences, University of Essex
Allocating Indivisible Goods to Strategic Agents: Pure Nash Equilibria and Fairness dept
25 May 2022
Ruiwen Dong

University of Oxford
On the Identity Problem for unipotent matrix groups of nilpotency class at most ten. ACTO
26 May 2022
Ryoko Tomiyasu

Kyushu University, Japan
Reduction theory for determining the Bravais type of unit-cell parameters containing observation errors. MIF
07 Jun 2022 Prof. Thomas Erlebach
Department of Computer Science, Durham University
Explorable Uncertainty and Untrusted Predictions dept
10 Jun 2022
Jan Rohlíček

Institute of Physics of the Czech Academy of Sciences
CrystalCMP : automatic comparison of molecular structures. MIF
14 Jun 2022 Dr. Navjot Kukreja
Department of Computer Science, University of Liverpool
Domain-Specific Languages for Scientific Computing dept
17 Jun 2022
Michele Ceriotti

EPFL, Switzerland
A unified theory of atom cloud representations for machine learning. MIF
30 Jun 2022
Qiyi Tang

- verification
05 Jul 2022
Dr Ernesto Jimenez Ruiz

City University of London
Knowledge Graphs for Data Science and Machine Learning ARK
26 Jul 2022 Prof. Paul Fergus, Dr. Carl Chalmers
School of Computer Science and Mathematics, Liverpool John Moores University
Turning the Tide on Biodiversity Loss Using Applied Artificial Intelligence dept
09 Aug 2022 Dr. Piotr Hofman
Institute of Informatics, University of Warsaw
Language Inclusion for Ambiguous Vector Addition Systems is Decidable dept

Older Seminars
ordered by Academic Year



Other seminar series