14 Sep 2022 |
Duncan Adamson
Reykjavik University |
The k-center Problem for Classes of Cyclic Words
|
ACTO
|
15 Sep 2022 |
Dr. Sadegh Soudjani
School of Computing, Newcastle University |
Formal Abstractions for Safe Integration of Responsive Loads in Smart Grids
|
dept
|
16 Sep 2022 |
Sadegh Souudjani
Newcastle University |
Combining learning with formal synthesis
|
verification
|
20 Sep 2022 |
Prof. Thomas Sauerwald
Department of Computer Science and Technology, University of Cambridge |
Balanced Allocations: The Power of Choice versus Noise
|
dept
|
30 Sep 2022 |
Patrick Totzke
|
History-Deterministic Timed Automata
|
verification
|
06 Oct 2022 |
Artur Czumaj
University of Warwick |
Parallel Connectivity
|
NESTiD
|
11 Oct 2022 |
Prof. Carmine Ventre
King`s College London |
Systemic risk in financial networks -- a computational perspective
|
dept
|
12 Oct 2022 |
Sonal Yadav
Umea University, Sweden |
Stable sharing with an extension to arbitrary graphs
|
ULMS
|
13 Oct 2022 |
Christian Konrad
University of Bristol |
Dominating set in graph streams and beyond
|
NESTiD
|
14 Oct 2022 |
Sougata Bose
|
-
|
verification
|
18 Oct 2022 |
Prof. Abraham Neyman
Einstein Institute of Mathematics, The Hebrew University of Jerusalem |
Stochastic games with limited memory space
|
dept
|
27 Oct 2022 |
Sebastian Wild
|
Putting your graphs on a diet: Centralized and distributed representations for classes of graphs
|
NESTiD
|
28 Oct 2022 [Cancelled] |
Sven Schewe and Daniele Delle Erbe
|
-
|
verification
|
02 Nov 2022 |
Dr Lingyun Yu
XJTLU, China |
Spatial Interaction Techniques for 3D Data Visualization
|
wit
|
10 Nov 2022 |
Prof. Arnaud Casteigts
LaBRI, University of Bordeaux |
Spanners and connectivity problems in temporal graphs
|
dept
|
10 Nov 2022 |
Michal Dory
University of Haifa, Israel |
Distance Computation in Massive Graphs
|
NESTiD
|
11 Nov 2022 |
Sven Schewe and Daniele Delle Erbe
|
-
|
verification
|
15 Nov 2022 |
Dr. Kelin Xia
School of Physical and Mathematical Sciences, Nanyang Technological University |
Mathematical AI for molecular data analysis
|
dept
|
15 Nov 2022 |
Nikhil Mande
CWI, Amsterdam |
Lifting theorems for parity decision trees
|
ACTO
|
23 Nov 2022 |
Alkmini Sgouritsa
|
Improved Price of Anarchy via Predictions
|
EcCo
|
24 Nov 2022 |
Evangelos Kranakis
Carleton University, Canada |
The Bomb Squad
|
NESTiD
|
07 Dec 2022 |
John Fearnley
|
Pure-Circuit: Tight Inapproximability within PPAD
|
EcCo
|
08 Dec 2022 |
Magnus Halldorsson
Reykjavik University, Iceland |
Distributed graph coloring: The loglog-revolution
|
NESTiD
|
09 Dec 2022 |
Rasmus Ibsen-Jensen
|
-
|
verification
|
15 Dec 2022 |
Dr. Chih-Hong Cheng
Fraunhofer Institute for Cognitive Systems (IKS), Munich |
Some personal & unsuccessful stories in AI safety research
|
dept
|
09 Jan 2023 |
Prof. Gerth Stølting Brodal
Department of Computer Science, Aarhus University |
The challenges of implementing Dijkstras algorithm
|
dept
|
10 Jan 2023 |
Dr. Édouard Bonnet
University of Lyon, CNRS, ENS de Lyon |
A gentle introduction to twin-width
|
dept
|
19 Jan 2023 |
Laurent Feuilloley
CNRS, LIRIS, University of Lyon, France |
An overview of local certification
|
NESTiD
|
26 Jan 2023 |
Hagit Attiya
Technion, Israel |
Preserving Hyperproperties when Using Concurrent Objects
|
NESTiD
|
31 Jan 2023 |
Dr. Tony Tan
Department of Computer Science and Information Engineering, National Taiwan University |
DQBF is a CNF formula in succinct representation
|
dept
|
07 Feb 2023 |
Dr. Rustam Galimullin
Department of Information Science and Media Studies, University of Bergen |
Quantifying Over Public Announcements: Recent Results and Open Questions
|
dept
|
09 Feb 2023 |
Posco Tso
Loughborough University |
Fine-grained Composition of Service Function Chains in the Programmable Data Plane
|
NESTiD
|
17 Feb 2023 |
Dr. Qiyi Tang
Department of Computer Science, University of Liverpool |
Comparison and analysis of probabilistic systems
|
dept
|
17 Feb 2023 |
Qiyi Tang
|
Comparison and analysis of probabilistic systems
|
pizza
|
21 Feb 2023 |
Dr. Galit Ashkenazi-Golan
Department of Mathematics, London School of Economics and Political Science |
Granular DeGroot Dynamics: A Model for Robust Naive Learning in Social Networks
|
dept
|
22 Feb 2023 |
Yong Li
|
-
|
verification
|
23 Feb 2023 |
Dr. Nikolaos Aletras
Computer Science Department, University of Sheffield |
Towards compute efficient large language models
|
dept
|
28 Feb 2023 |
Prof. Raphaël Jungers
Institute for Information and Communication Technologies, Electronics and Applied Mathematics, Université Catholique de Louvain |
Path-complete Lyapunov functions: graph-theory and algebraic geometry for controlling complex systems
|
dept
|
03 Mar 2023 |
Dr. Procheta Sen
Department of Computer Science, University of Liverpool |
Building Trustworthy Intelligent Information Access Systems
|
dept
|
03 Mar 2023 |
Procheta Sen
|
Building Trustworthy Intelligent Information Access Systems
|
pizza
|
06 Mar 2023 |
Dr Kirsty McKay
Department of Electrical Engineering & Electronics |
A Universe full of Plasma...What on Earth do we do with them?
|
wit
|
07 Mar 2023 |
Dr. Jose Camacho-Collados
School of Computer Science and Informatics, Cardiff University |
Natural Language Processing and Social Media: Challenges, Applications and TweetNLP
|
dept
|
09 Mar 2023 |
Dr. Sagnik Mukhopadhyay
Department of Computer Science, University of Sheffield |
Alice and Bob Walked into a Graph...
|
dept
|
10 Mar 2023 |
David Pulser
|
-
|
verification
|
14 Mar 2023 |
Dr. Maksim Zhukovskii
Department of Computer Science, University of Sheffield |
First order complexity of random structures
|
dept
|
15 Mar 2023 |
Prof. Nicholas Kotov
Chemical Engineering, University of Michigan |
Chirality-Complexity Relations and Graph Theory of Nanostructures
|
dept
|
17 Mar 2023 |
Dr. David Purser
Department of Computer Science, University of Liverpool |
Linear Recurrence Sequences, Weighted Automata and their Ambiguity
|
dept
|
17 Mar 2023 |
David Purser
|
Linear Recurrence Sequences, Weighted Automata and their Ambiguity
|
pizza
|
21 Mar 2023 |
Dr. Siddharth Gupta
Department of Computer Science, University of Warwick |
Drawing Graphs on the Grid: How Easy Is It?
|
dept
|
24 Mar 2023 |
Ravi Kany Rai
|
-
|
verification
|
04 Apr 2023 |
Prof. Theodore Turocy
School of Economics, University of East Anglia |
Computation in game theory: A view from economics
|
dept
|
21 Apr 2023 |
Dr. Nikhil Mande
Department of Computer Science, University of Liverpool |
Understanding the power and limitations of randomness and quantumness
|
dept
|
21 Apr 2023 |
Nikhil Mande
|
Understanding the power and limitations of randomness and quantumness
|
pizza
|
25 Apr 2023 |
Dr. Elena Arseneva
University of Lugano, Switzerland |
Morphing planar drawings of graphs and trees in 2 and 3 dimensions
|
dept
|
27 Apr 2023 |
Meng Fang
Department of Computer Science, University of Liverpool |
Building human-like intelligence that can understand and interact with humans
|
robotics
|
27 Apr 2023 |
Malte Renken
|
Visibility Graphs of Terrains
|
networks
|
04 May 2023 |
Chao Huang
University of Liverpool |
Verification-Guided Safe Reinforcement Learning
|
robotics
|
05 May 2023 |
Dr. John Sylvester
Department of Computer Science, University of Liverpool |
Choice and Bias in Random Walks
|
dept
|
05 May 2023 |
John Sylvester
|
Choice and Bias in Random Walks
|
pizza
|
09 May 2023 |
Dr. Andreas Galanis
Department of Computer Science, University of Oxford |
Fast sampling of satisfying assignments from the k-SAT model
|
dept
|
10 May 2023 |
Mariann Oller
University of Edinburgh |
A network solution to robust Implementation
|
ECON
|
11 May 2023 |
Hatem Fakhruldeen
Department of Chemistry, University of Liverpool |
Towards Autonomous Robotic Workflows for Material Discovery: Lab ROSification and ARChemist System Architecture
|
robotics
|
12 May 2023 |
Alexei Lisitsa
|
Gauss realizability is not so simple and can confuse both humans and AI
|
verification
|
18 May 2023 |
Yi Dong
Department of Computer Science, University of Liverpool |
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation
|
robotics
|
23 May 2023 |
Dr. Hsiang-Hsuan (Alison) Liu
Utrecht University |
The Power of Amortized Recourse for Online Graph Problems
|
dept
|
23 May 2023 |
Konstantinos Tsakalidis
University of Liverpool |
Deep neural network training acceleration with geometric data structures
|
ACTO/Networks
|
25 May 2023 |
Guangliang Cheng
Department of Computer Science, University of Liverpool |
From Scene Understanding to Vision-Language Joint Understanding
|
robotics
|
26 May 2023 |
Ullrich Husdadt
|
Local Reductions for Modal Logic
|
verification
|
06 Jun 2023 |
Prof. Krzysztof Apt
Centrum Wiskunde & Informatica |
Characterization of Incentive Compatible Single-parameter Mechanisms Revisited
|
dept
|
08 Jun 2023 |
Prof. Franck van Breugel
York University, Toronto |
Explainability: from Behavioural Equivalences to Behavioural Distances
|
dept
|
13 Jun 2023 |
Dr. Zhanxing Zhu
Changping National Lab, China |
Theoretical understanding of learning dynamics in modern deep learning
|
dept
|
15 Jun 2023 |
Bei Peng
CS, University of LIverpool |
Overcoming Relative Overgeneralisation for Cooperative Multi-Agent Reinforcement Learning
|
robotics
|
26 Jun 2023 |
Isa Vialard
|
Measuring well quasi-orders
|
verification
|
27 Jun 2023 |
Justin Dallant
Algorithms Research Group, Université libre de Bruxelles |
Conditional Lower Bounds for Dynamic Geometric Measure Problems
|
dept
|
29 Jun 2023 |
Dr. Nikhil Balaji
Department of Computer Science and Engineering, IIT Delhi |
Testing Equality of Compressed Strings in Randomised NC
|
dept
|
03 Jul 2023 |
Pierre Vandenhove
LaBRI, Universite de Bordeaux |
Strategy Complexity of Zero-Sum Games on Graphs
|
verification
|
13 Jul 2023 |
Prof. Alexandru Popa
Faculty of Mathematics and Computer Science, University of Bucharest |
Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms
|
dept
|
14 Jul 2023 |
Mateo Perez
UC Boulder |
Policy Synthesis and Reinforcement Learning for Discounted LTL
|
verification
|
27 Jul 2023 |
Benjamin Berendsohn
Freie Universität Berlin |
Search trees on trees
|
dept
|
10 Aug 2023 |
Akitoshi Kawamura
Kyoto University |
Density threshold in pinwheel scheduling
|
acto
|