15 Sep 2022 dept
|
Dr. Sadegh Soudjani
School of Computing, Newcastle University |
Formal Abstractions for Safe Integration of Responsive Loads in Smart Grids
|
18 Oct 2022 dept
|
Prof. Abraham Neyman
Einstein Institute of Mathematics, The Hebrew University of Jerusalem |
Stochastic games with limited memory space
|
31 Jan 2023 dept
|
Dr. Tony Tan
Department of Computer Science and Information Engineering, National Taiwan University |
DQBF is a CNF formula in succinct representation
|
07 Feb 2023 dept
|
Dr. Rustam Galimullin
Department of Information Science and Media Studies, University of Bergen |
Quantifying Over Public Announcements: Recent Results and Open Questions
|
17 Feb 2023 dept
|
Dr. Qiyi Tang
Department of Computer Science, University of Liverpool |
Comparison and analysis of probabilistic systems
|
03 Mar 2023 dept
|
Dr. Procheta Sen
Department of Computer Science, University of Liverpool |
Building Trustworthy Intelligent Information Access Systems
|
09 Mar 2023 dept
|
Dr. Sagnik Mukhopadhyay
Department of Computer Science, University of Sheffield |
Alice and Bob Walked into a Graph...
|
17 Mar 2023 dept
|
Dr. David Purser
Department of Computer Science, University of Liverpool |
Linear Recurrence Sequences, Weighted Automata and their Ambiguity
|
04 Apr 2023 dept
|
Prof. Theodore Turocy
School of Economics, University of East Anglia |
Computation in game theory: A view from economics
|
21 Apr 2023 dept
|
Dr. Nikhil Mande
Department of Computer Science, University of Liverpool |
Understanding the power and limitations of randomness and quantumness
|
25 Apr 2023 dept
|
Dr. Elena Arseneva
University of Lugano, Switzerland |
Morphing planar drawings of graphs and trees in 2 and 3 dimensions
|
05 May 2023 dept
|
Dr. John Sylvester
Department of Computer Science, University of Liverpool |
Choice and Bias in Random Walks
|
09 May 2023 dept
|
Dr. Andreas Galanis
Department of Computer Science, University of Oxford |
Fast sampling of satisfying assignments from the k-SAT model
|
23 May 2023 dept
|
Dr. Hsiang-Hsuan (Alison) Liu
Utrecht University |
The Power of Amortized Recourse for Online Graph Problems
|
06 Jun 2023 dept
|
Prof. Krzysztof Apt
Centrum Wiskunde & Informatica |
Characterization of Incentive Compatible Single-parameter Mechanisms Revisited
|
08 Jun 2023 dept
|
Prof. Franck van Breugel
York University, Toronto |
Explainability: from Behavioural Equivalences to Behavioural Distances
|
13 Jun 2023 dept
|
Dr. Zhanxing Zhu
Changping National Lab, China |
Theoretical understanding of learning dynamics in modern deep learning
|
27 Jun 2023 dept
|
Justin Dallant
Algorithms Research Group, Université libre de Bruxelles |
Conditional Lower Bounds for Dynamic Geometric Measure Problems
|
29 Jun 2023 dept
|
Dr. Nikhil Balaji
Department of Computer Science and Engineering, IIT Delhi |
Testing Equality of Compressed Strings in Randomised NC
|
13 Jul 2023 dept
|
Prof. Alexandru Popa
Faculty of Mathematics and Computer Science, University of Bucharest |
Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms
|
27 Jul 2023 dept
|
Benjamin Berendsohn
Freie Universität Berlin |
Search trees on trees
|