SOFSEM 2025: 50TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE
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)