PROGRAM
Days: Monday, January 20th Tuesday, January 21st Wednesday, January 22nd Thursday, January 23rd
Monday, January 20th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 1: Invited talk
09:00 | The challenge of stability, accuracy and robustness in data-driven AI |
10:00-10:30Coffee Break
10:30-12:10 Session 2: S1
10:30 | Query Learning of Context-Deterministic and Congruential Context-Free Languages over Infinite Alphabets (abstract) |
10:55 | Knowledge Neurons in the Knowledge Graph-based Link Prediction Models (abstract) |
11:20 | Beyond Image-Text Matching: Verb Understanding in Multimodal Transformers Using Guided Masking (abstract) |
11:45 | The Computational Complexity of Equilibria with Strategic Constraints (abstract) |
12:30-14:00Lunch
14:00-15:40 Session 3: S2
14:00 | Quantum Algorithm for the Multiple String Matching Problem (abstract) |
14:25 | Warm-Started QAOA with Aligned Mixers Converges Slowly Near the Poles of the Bloch Sphere (abstract) |
14:50 | Expected Density of Random Minimizers (abstract) |
15:15 | Forest Covers and Bounded Forest Covers (abstract) |
15:40-16:10Coffee Break
16:10-17:50 Session 4: S3
16:10 | On the periodic decompositions of multidimensional configurations (abstract) |
16:35 | Maximal $\alpha$-gapped Repeats in a Fibonacci String (abstract) |
17:00 | Incremental computation of the set of period sets (abstract) |
17:25 | Outer-(ap)RAC Graphs (abstract) |
Tuesday, January 21st
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 5: Invited talk
09:00 | Temporal Graph Realization Problems PRESENTER: Paul Spirakis |
10:00-10:30Coffee Break
10:30-12:10 Session 6: S4
10:30 | Holey graphs: very large Betti numbers are testable (abstract) |
10:55 | Tolerant Testing and Distance Estimation for Distributions Under Memory Constraints (abstract) |
11:20 | Exact characterizations of non-commutative algebraic complexity without homogeneity (abstract) |
11:45 | A SUBSET-SUM Characterisation of the A-Hierarchy (abstract) |
12:30-14:00Lunch
14:00-15:40 Session 7: S5
14:00 | Reachability in temporal graphs under perturbation (abstract) |
14:25 | The Complexity of Graph Exploration Games (abstract) |
14:50 | Multi-Agent Search-Type Problems on Polygons (abstract) |
15:15 | Distance Vector Domination (abstract) |
15:40-16:10Coffee Break
16:10-17:50 Session 8: S6
16:10 | Pathways to Tractability for Geometric Thickness (abstract) PRESENTER: Alexander Firbas |
16:35 | Visual Complexity of Point Set Mappings (abstract) |
17:00 | Minimum Monotone Spanning Trees (abstract) |
17:25 | Representing Hypergraphs by Point-Line Incidences (abstract) PRESENTER: Alexander Dobler |
Wednesday, January 22nd
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 9: Invited talk
09:00 | Distributed Computing by Mobile Robots: Exploring the Computational Landscape |
10:00-10:30Coffee Break
10:30-12:10 Session 10: S7
10:30 | Online $b$-Matching with Stochastic Rewards (abstract) |
10:55 | Online and Offline Algorithms for Counting Distinct Closed Factors via Sliding Suffix Trees (abstract) PRESENTER: Takuya Mieno |
11:20 | Online Busy Time Scheduling with Untrusted Prediction (abstract) |
11:45 | The Complexity of Counting Turns in the Line-Based Dial-a-Ride Problem (abstract) |
12:30-14:00Lunch
14:00-15:40 Session 11: S8
14:00 | Packed Acyclic Deterministic Finite Automata (abstract) |
14:25 | Fast Practical Compression of Deterministic Finite Automata (abstract) |
14:50 | On Pumping Problems for Unary Regular Languages (abstract) |
15:15 | On Computational Completeness of Semi-Conditional Matrix Grammars (abstract) |
15:40-16:10Coffee Break
16:10-17:50 Session 12: S9
16:10 | Massively Parallel Maximum Coverage Revisited (abstract) |
16:35 | DAG Scheduling in the BSP Model (abstract) |
17:00 | Parallel Peeling of Invertible Bloom Lookup Tables in a Constant Number of Rounds (abstract) |
17:25 | Dynamic Range Minimum Queries on the Ultra-Wide Word RAM (abstract) |
Thursday, January 23rd
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 13: Invited talk
09:00 | Open Problems and Recent Developments on a Complexity Framework for Forbidden Subgraphs |
10:00-10:30Coffee Break
10:30-12:10 Session 14: S10
10:30 | Generation of Cycle Permutation Graphs and Permutation Snarks (abstract) |
10:55 | Minimal Schnyder Woods and Long Induced Paths in 3-Connected Planar Graphs (abstract) |
11:20 | Sufficient conditions for polynomial-time detection of induced minors (abstract) |
11:45 | Shortest Longest-Path Graph Orientations for Trees (abstract) |
12:30-14:00Lunch
14:00-15:40 Session 15: S11
14:00 | Orienteering (with Time Windows) on Restricted Graph Classes (abstract) |
14:25 | On the Structural Parameterized Complexity of Defective Coloring (abstract) |
14:50 | Parameterized Complexity of Generalizations of Edge Dominating Set (abstract) |
15:15 | Disjoint covering of bipartite graphs with $s$-clubs (abstract) |
15:40-16:10Coffee Break
16:10-17:50 Session 16: S12
16:10 | Roman Hitting Set (abstract) |
16:35 | On the Complexity of Minimum Membership Dominating Set (abstract) |
17:00 | Parameterized Complexity of Feedback Vertex Set with Connectivity Constraints (abstract) |
17:25 | Colorful 3-Rainbow Domination (abstract) |