|
17 Aug 2023 |
Matthew Bright
MIF |
Continuous Maps of 2D Lattices
|
MIF
|
|
17 Aug 2023 |
Matthew Bright
MIF |
Continuous Chiral Distances on 2D Lattices
|
MIF
|
|
18 Aug 2023 |
Daniel Widdowson
MIF |
Resolving the data ambiguity for periodic crystals and detecting (near-)duplicate structures
|
MIF
|
|
12 Sep 2023 |
Sougata Bose
|
history deterministic vector addition systems
|
verification
|
|
14 Sep 2023 |
Alex Hernandez-Garcia
Mila AI Quebec Institute, Canada |
Multi-fidelity active learning with GFlowNets for drug and materials discovery.
|
MIF
|
|
15 Sep 2023 |
Prof. Chenguang (Charlie) Yang
Bristol Robotics Laboratory, UWE Bristol |
Robot Control, Learning and Teleoperation
|
dept
|
|
18 Sep 2023 |
Dr. Maurice Fallon
Oxford Robotics Institute |
Navigation; Mapping and Perception for Dynamic Robots
|
dept
|
20 Sep 2023
[Cancelled] |
Dr. Eyal Ofek
Data Blanket – Real-time AI-Driven Fire Fighting |
TBA
|
dept
|
|
28 Sep 2023 |
Saulius Gražulis
Vilnus University Institute of Biotechnology, Lithuania |
Open Crystallographic Databases: COD, TCOD, and the sisters.
|
MIF
|
|
05 Oct 2023 |
Yong Li
|
Model Checking Strategies from Synthesis Over Finite Traces
|
verification
|
|
10 Oct 2023 |
Dr. George Kenison
School of Computer Science and Mathematics, Liverpool John Moores University |
(Un)Solvable Loop Analysis
|
dept
|
|
10 Oct 2023 |
Leonid Polterovich
Tel Aviv University, Israel |
Oscillations and topology.
|
MIF
|
|
17 Oct 2023 |
Prof. Mamoru Komachi
Hitotsubashi University and Tokyo Metropolitan University, Japan |
Cross-lingual transfer learning with multilingual masked language models
|
dept
|
|
17 Oct 2023 |
Andreas Alpers
Mathematical Sciences |
Optimal Diagram Representations of Polycrystalline Microstructures.
|
MIF
|
|
19 Oct 2023 |
Friedrich Slivovsky
|
Intro to QBF Solving and Proof Complexity
|
verification
|
|
25 Oct 2023 |
Dr Dan Sun
Queen's University, Belfast |
Pushing the boundaries: exploring the potential of composites in healthcare & aircraft technologies
|
wit
|
|
27 Oct 2023 |
Georgios Birmpas
|
Fairly allocating indivisible goods to strategic agents
|
pizza
|
|
31 Oct 2023 |
Dr. Markus Brill
Department of Computer Science, University of Warwick |
Robust and Verifiable Proportionality Axioms for Multiwinner Voting
|
dept
|
|
31 Oct 2023 |
Ruslan Davidchack
University of Leicester, UK |
Excess chemical potential and surface free energy of a hard-sphere fluid at curved walls: deviations from Morphometric Thermodynamics.
|
MIF
|
|
02 Nov 2023 |
Tony Tan
|
Towards a more efficient approach to NEXP-complete problems
|
verification
|
|
07 Nov 2023 |
Alexandra Volokhova
Mila AI Quebec Institute, Canada |
Crystal-GFN: sampling crystals with desirable properties and constraints.
|
MIF
|
|
08 Nov 2023 |
Dr. Benjamin Guedj
UCL Centre for Artificial Intelligence |
On generalisation and learning
|
dept
|
|
14 Nov 2023 |
Dr. Dario Paccagnan
Department of Computing, Imperial College London |
The Pick-to-Learn Algorithm: Self-certifying ML
|
dept
|
|
14 Nov 2023 |
Flaviu Cipcigan
Hartree Centre, Daresbury, UK |
Discovery of Novel Reticular Materials for Carbon Dioxide Capture using GFlowNets.
|
MIF
|
|
17 Nov 2023 |
Guangliang Cheng
|
From Scene Understanding to Vision-Language Joint Understanding
|
pizza
|
|
21 Nov 2023 |
Daniel Rigden
Institute of Systems, Molecular and Integrative Biology |
Tertiary structure assessment at CASP15.
|
MIF
|
|
23 Nov 2023 |
Nicolas Mazzocchi
IST Austria |
Quantitative Safety and Liveness
|
verification
|
|
28 Nov 2023 |
Dr. Sharat Ibrahimpur
Department of Mathematics, London School of Economics and Political Science |
Efficient Caching with Reserves via Marking
|
dept
|
|
28 Nov 2023 |
David Prendergast
Lawrence Berkeley lab, US |
Unsupervised learning of representative local atomic arrangements in molecular dynamics data.
|
MIF
|
|
29 Nov 2023 |
John Sylvester
|
Recent progress on implicit representations of graph classes
|
acto
|
|
05 Dec 2023 |
Dr. Ernesto Jiménez-Ruiz
City, University of London |
Ontology Alignment and the two DL
|
dept
|
|
05 Dec 2023 |
Yekaterina Epshteyn
University of Utah, USA |
Grain Boundaries in Polycrystals: Modeling, Analysis and Simulation.
|
MIF
|
|
08 Dec 2023 |
Lorenzo Gheri
|
Concurrent programming, session types, and proof assistants
|
pizza
|
|
12 Dec 2023 |
Dr. Dibyayan Chakraborty
School of Computing, University of Leeds |
Isometric path complexity of graphs
|
dept
|
|
12 Dec 2023 |
Alexey Garber
University of Texas Rio Grande Valley, USA |
On the metric spaces of lattices and periodic point sets.
|
MIF
|
|
11 Jan 2024 |
Pete Austin
|
Parity Games played on Temporal Graphs
|
verification
|
|
23 Jan 2024 |
Daniel Huson
University of Tübingen, Germany |
A galaxy of periodic tilings.
|
MIF
|
|
02 Feb 2024 |
Dr Friedrich Slivovsky
|
From SAT to QBF Solving
|
pizza
|
|
06 Feb 2024 |
Justin Dallant
Université libre de Bruxelles |
Finding the saddlepoint faster than sorting
|
dept
|
|
06 Feb 2024 |
YoonHaeng Hur
University of Chicago, USA |
Matching via Distance Profiles.
|
MIF
|
|
13 Feb 2024 |
Peter J. Olver
University of Minnesota, USA |
Reassembly of broken objects.
|
MIF
|
|
20 Feb 2024 |
Dr. Noleen Köhler
School of Computing, University of Leeds |
Core Stability in Additively Separable Hedonic Games of Low Treewidth
|
dept
|
|
20 Feb 2024 |
Borjan Geshkovski
INRIA, Sorbonne Université, France |
A mathematical perspective on Transformers.
|
MIF
|
|
24 Feb 2024 |
Laurent Younes
Johns Hopkins University, USA |
Incorporating growth models in Riemannian shape spaces.
|
MIF
|
|
27 Feb 2024 |
Namrata
Centre for Discrete Mathematics and its Applications (DIMAP), University of Warwick |
Kneser Graphs are Hamiltonian
|
dept
|
|
01 Mar 2024 |
Maya Wardeh
|
Host in the Machine - Towards Explainable AI framework which directs experiments to strengthen its ability to answer the question: “Where do viruses hide?”
|
pizza
|
|
05 Mar 2024 |
Dr. Andreas Göbel
Hasso Plattner Institute |
Sampling and approximation algorithms for Gibbs point processes
|
dept
|
|
12 Mar 2024 |
Dr. George Skretas
Hasso Plattner Institute |
Dynamic Problems on Temporal Graphs
|
dept
|
|
15 Mar 2024 |
Chenguang (Charlie) Yang
|
Robot Control, Learning and Teleoperation
|
pizza
|
|
19 Mar 2024 |
Udi Boker
Reichman University, Israel |
History-Determinism vs. Fair-Simulation
|
dept
|
|
19 Mar 2024 |
Kirill Cherednichenko
University of Bath, UK |
Operator-norm homogenisation for Maxwell equations on periodic singular structures.
|
MIF
|
|
25 Mar 2024 |
Daniel Widdowson
MIF |
Ultra-fast detection of (near-)duplicate structures across major crystal databases.
|
MIF
|
|
26 Mar 2024 |
Dr. Alexandros Hollender
All Souls College, Oxford |
The Complexity of Computing KKT Solutions of Quadratic Programs
|
dept
|
|
27 Mar 2024 |
Dr. Bogdan Alecu
School of Computing, University of Leeds |
Partitions of graphs into chain graphs & co.
|
dept
|
|
11 Apr 2024 |
Prof. Stefan Kiefer
Department of Computer Science, University of Oxford |
On unambiguous finite automata
|
dept
|
|
16 Apr 2024 |
Dr. Dmitry Chistikov
Department of Computer Science, University of Warwick |
Making elementary decisions about natural numbers
|
dept
|
|
19 Apr 2024 |
Mario Gianni
|
Human-robot teaming for extreme environments: an in-field experience
|
pizza
|
|
23 Apr 2024 |
Dr. Dimitrios Los
Department of Computer Science and Technology, University of Cambridge |
On the exponential potential for analysing algorithms with dynamic data
|
dept
|
|
24 Apr 2024 |
Dr. Maria Polukarov
King's College London |
Strategic Voting and Candidacy
|
dept
|
|
30 Apr 2024 |
Dr. Samuel Braunfeld
Charles University in Prague |
Some interactions between model theory and structural graph theory
|
dept
|
|
30 Apr 2024 |
Philip Smith
University of Manchester, UK |
A data-driven analysis of HDPE post-consumer recyclate for sustainable bottle packaging
|
MIF
|
|
07 May 2024 |
Dr. Ron Lavi
Department of Economics, University of Bath |
From Monopoly to Competition: When Do Optimal Contests Prevail?
|
dept
|
|
14 May 2024 |
Jonathan Balasingham
MIF |
Applications of Isometry Invariants on Material Property Prediction.
|
MIF
|
|
04 Jun 2024 |
Gregory McColm
University of South Florida, USA |
Voltage Graphs and their Realizations.
|
MIF
|
|
11 Jun 2024 |
Prof. Hamish Carr
School of Computing, University of Leeds |
Topological Analysis for the Exascale
|
dept
|
|
11 Jun 2024 |
Stephen Power
Lancaster University, UK |
The mathematics of crystal flexes and vibrations.
|
MIF
|
|
18 Jun 2024 |
Anthony Nixon
Lancaster University, UK |
Quotient graphs of symmetrically rigid frameworks.
|
MIF
|
|
16 Jul 2024 |
Dr. Wanchote Po Jiamjitrak
Department of Computer Science, University of Helsinki |
An Analysis of Binary Search Trees using Forbidden Submatrices
|
dept
|