|
15 Sep 2022 |
Dr. Sadegh Soudjani
School of Computing, Newcastle University |
Formal Abstractions for Safe Integration of Responsive Loads in Smart Grids
|
Dominik Wojtczak
|
|
20 Sep 2022 |
Prof. Thomas Sauerwald
Department of Computer Science and Technology, University of Cambridge |
Balanced Allocations: The Power of Choice versus Noise
|
Martin Gairing
|
|
11 Oct 2022 |
Prof. Carmine Ventre
King`s College London |
Systemic risk in financial networks -- a computational perspective
|
Rahul Savani
|
|
18 Oct 2022 |
Prof. Abraham Neyman
Einstein Institute of Mathematics, The Hebrew University of Jerusalem |
Stochastic games with limited memory space
|
Rida Laraki
|
02 Nov 2022
wit
|
Dr Lingyun Yu
XJTLU, China |
Spatial Interaction Techniques for 3D Data Visualization
|
|
|
10 Nov 2022 |
Prof. Arnaud Casteigts
LaBRI, University of Bordeaux |
Spanners and connectivity problems in temporal graphs
|
Othon Michail
|
|
15 Nov 2022 |
Dr. Kelin Xia
School of Physical and Mathematical Sciences, Nanyang Technological University |
Mathematical AI for molecular data analysis
|
Vitaliy Kurlin
|
|
15 Dec 2022 |
Dr. Chih-Hong Cheng
Fraunhofer Institute for Cognitive Systems (IKS), Munich |
Some personal & unsuccessful stories in AI safety research
|
Xiaowei Huang
|
|
09 Jan 2023 |
Prof. Gerth Stølting Brodal
Department of Computer Science, Aarhus University |
The challenges of implementing Dijkstras algorithm
|
Sebastian Wild
|
|
10 Jan 2023 |
Dr. Édouard Bonnet
University of Lyon, CNRS, ENS de Lyon |
A gentle introduction to twin-width
|
Viktor Zamaraev
|
|
31 Jan 2023 |
Dr. Tony Tan
Department of Computer Science and Information Engineering, National Taiwan University |
DQBF is a CNF formula in succinct representation
|
Boris Konev
|
|
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
|
Louwe Kuijer
|
|
17 Feb 2023 |
Dr. Qiyi Tang
Department of Computer Science, University of Liverpool |
Comparison and analysis of probabilistic systems
|
Frank Wolter
|
17 Feb 2023
pizza
|
Qiyi Tang
|
Comparison and analysis of probabilistic systems
|
|
|
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
|
Martin Gairing
|
|
23 Feb 2023 |
Dr. Nikolaos Aletras
Computer Science Department, University of Sheffield |
Towards compute efficient large language models
|
Danushka Bollegala
|
|
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
|
Igor Potapov
|
|
03 Mar 2023 |
Dr. Procheta Sen
Department of Computer Science, University of Liverpool |
Building Trustworthy Intelligent Information Access Systems
|
Frank Wolter
|
03 Mar 2023
pizza
|
Procheta Sen
|
Building Trustworthy Intelligent Information Access Systems
|
|
06 Mar 2023
wit
|
Dr Kirsty McKay
Department of Electrical Engineering & Electronics |
A Universe full of Plasma...What on Earth do we do with them?
|
|
|
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
|
Danushka Bollegala
|
|
09 Mar 2023 |
Dr. Sagnik Mukhopadhyay
Department of Computer Science, University of Sheffield |
Alice and Bob Walked into a Graph...
|
Viktor Zamaraev
|
|
14 Mar 2023 |
Dr. Maksim Zhukovskii
Department of Computer Science, University of Sheffield |
First order complexity of random structures
|
Viktor Zamaraev
|
|
15 Mar 2023 |
Prof. Nicholas Kotov
Chemical Engineering, University of Michigan |
Chirality-Complexity Relations and Graph Theory of Nanostructures
|
Vitaliy Kurlin
|
|
17 Mar 2023 |
Dr. David Purser
Department of Computer Science, University of Liverpool |
Linear Recurrence Sequences, Weighted Automata and their Ambiguity
|
Frank Wolter
|
17 Mar 2023
pizza
|
David Purser
|
Linear Recurrence Sequences, Weighted Automata and their Ambiguity
|
|
|
21 Mar 2023 |
Dr. Siddharth Gupta
Department of Computer Science, University of Warwick |
Drawing Graphs on the Grid: How Easy Is It?
|
Othon Michail
|
|
04 Apr 2023 |
Prof. Theodore Turocy
School of Economics, University of East Anglia |
Computation in game theory: A view from economics
|
Rahul Savani
|
|
21 Apr 2023 |
Dr. Nikhil Mande
Department of Computer Science, University of Liverpool |
Understanding the power and limitations of randomness and quantumness
|
Frank Wolter
|
21 Apr 2023
pizza
|
Nikhil Mande
|
Understanding the power and limitations of randomness and quantumness
|
|
|
25 Apr 2023 |
Dr. Elena Arseneva
University of Lugano, Switzerland |
Morphing planar drawings of graphs and trees in 2 and 3 dimensions
|
Konstantinos Tsakalidis
|
|
05 May 2023 |
Dr. John Sylvester
Department of Computer Science, University of Liverpool |
Choice and Bias in Random Walks
|
Frank Wolter
|
05 May 2023
pizza
|
John Sylvester
|
Choice and Bias in Random Walks
|
|
|
09 May 2023 |
Dr. Andreas Galanis
Department of Computer Science, University of Oxford |
Fast sampling of satisfying assignments from the k-SAT model
|
Viktor Zamaraev
|
|
23 May 2023 |
Dr. Hsiang-Hsuan (Alison) Liu
Utrecht University |
The Power of Amortized Recourse for Online Graph Problems
|
Prudence Wong
|
|
06 Jun 2023 |
Prof. Krzysztof Apt
Centrum Wiskunde & Informatica |
Characterization of Incentive Compatible Single-parameter Mechanisms Revisited
|
Dominik Wojtczak
|
|
08 Jun 2023 |
Prof. Franck van Breugel
York University, Toronto |
Explainability: from Behavioural Equivalences to Behavioural Distances
|
Qiyi Tang
|
|
13 Jun 2023 |
Dr. Zhanxing Zhu
Changping National Lab, China |
Theoretical understanding of learning dynamics in modern deep learning
|
Boris Konev
|
|
27 Jun 2023 |
Justin Dallant
Algorithms Research Group, Université libre de Bruxelles |
Conditional Lower Bounds for Dynamic Geometric Measure Problems
|
Sebastian Wild
|
|
29 Jun 2023 |
Dr. Nikhil Balaji
Department of Computer Science and Engineering, IIT Delhi |
Testing Equality of Compressed Strings in Randomised NC
|
Qiyi Tang
|
|
13 Jul 2023 |
Prof. Alexandru Popa
Faculty of Mathematics and Computer Science, University of Bucharest |
Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms
|
Prudence Wong
|
|
27 Jul 2023 |
Benjamin Berendsohn
Freie Universität Berlin |
Search trees on trees
|
Sebastian Wild
|