14 Sep 2022
ACTO
|
Duncan Adamson
Reykjavik University |
The k-center Problem for Classes of Cyclic Words
|
15 Sep 2022
dept
|
Dr. Sadegh Soudjani
School of Computing, Newcastle University |
Formal Abstractions for Safe Integration of Responsive Loads in Smart Grids
|
|
16 Sep 2022 |
Sadegh Souudjani
Newcastle University |
Combining learning with formal synthesis
|
|
30 Sep 2022 |
Patrick Totzke
|
History-Deterministic Timed Automata
|
|
14 Oct 2022 |
Sougata Bose
|
-
|
28 Oct 2022
[Cancelled] |
Sven Schewe and Daniele Delle Erbe
|
-
|
|
11 Nov 2022 |
Sven Schewe and Daniele Delle Erbe
|
-
|
|
09 Dec 2022 |
Rasmus Ibsen-Jensen
|
-
|
15 Dec 2022
dept
|
Dr. Chih-Hong Cheng
Fraunhofer Institute for Cognitive Systems (IKS), Munich |
Some personal & unsuccessful stories in AI safety research
|
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
|
|
22 Feb 2023 |
Yong Li
|
-
|
03 Mar 2023
dept
|
Dr. Procheta Sen
Department of Computer Science, University of Liverpool |
Building Trustworthy Intelligent Information Access Systems
|
|
10 Mar 2023 |
David Pulser
|
-
|
14 Mar 2023
dept
|
Dr. Maksim Zhukovskii
Department of Computer Science, University of Sheffield |
First order complexity of random structures
|
17 Mar 2023
dept
|
Dr. David Purser
Department of Computer Science, University of Liverpool |
Linear Recurrence Sequences, Weighted Automata and their Ambiguity
|
|
24 Mar 2023 |
Ravi Kany Rai
|
-
|
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
|
05 May 2023
dept
|
Dr. John Sylvester
Department of Computer Science, University of Liverpool |
Choice and Bias in Random Walks
|
|
12 May 2023 |
Alexei Lisitsa
|
Gauss realizability is not so simple and can confuse both humans and AI
|
|
26 May 2023 |
Ullrich Husdadt
|
Local Reductions for Modal Logic
|
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
|
|
26 Jun 2023 |
Isa Vialard
|
Measuring well quasi-orders
|
29 Jun 2023
dept
|
Dr. Nikhil Balaji
Department of Computer Science and Engineering, IIT Delhi |
Testing Equality of Compressed Strings in Randomised NC
|
|
03 Jul 2023 |
Pierre Vandenhove
LaBRI, Universite de Bordeaux |
Strategy Complexity of Zero-Sum Games on Graphs
|
|
14 Jul 2023 |
Mateo Perez
UC Boulder |
Policy Synthesis and Reinforcement Learning for Discounted LTL
|
