PCCR — PROGRAM
Days: Friday, 24 July 2026 Saturday, 25 July 2026
Friday, 24 July 2026
Session Chair:
Location:
C4.06
| 09:30-10:30 |
Parameterized Complexity of Almost-Satisfiable Constraint Systems (abstract) 60 min
1 Royal Holloway, University of London
|
Session Chair:
Location:
C4.06
| 11:00-11:30 |
Parameterized Hardness of Zonotope Containment and Neural Network Verification (abstract) 30 min
1 University of Technology Nuremberg
|
| 11:30-12:00 |
Non-Clashing Teaching in Graphs (abstract) 30 min
1 TU Wien
2 Telefonica
3 IIT Bombay
|
| 12:00-12:30 |
An Optimal Algorithm for Fair Gerrymandering (abstract) 30 min
1 University of Birmingham
|
Session Chair:
Location:
C4.06
| 14:00-15:00 |
Using Twin-width (with Flow Augmentation) for (Min)CSPs: Through the Lens of Directed Multicut with Three Terminal Pairs (abstract) 60 min
1 Institute for Basic Science, Daejeon, South Korea
|
Session Chair:
Location:
C4.06
| 15:00-16:00 |
Advances in Algorithmic Meta-Theorems with Applications to Solution Discovery (abstract) 60 min
1 University of Bremen
|
Session Chair:
Location:
C4.06
| 16:30-17:30 |
Model Counting: Parameterized Solving, Complexity, and Applications (abstract) 60 min
1 Linköping University
|
Saturday, 25 July 2026
Session Chair:
Location:
C4.06
| 09:30-10:30 |
Graph Isomorphism and Beyond (abstract) 60 min
1 TU Dresden
|
Session Chair:
Location:
C4.06
| 11:00-11:30 |
Eliminating Majority Illusion in Social Networks (abstract) 30 min
1 University of Birmingham
|
| 11:30-12:00 |
Gateways to Tractability for Satisfiability in Pearl's Causal Hierarchy (abstract) 30 min
1 TU Wien
|
| 12:00-12:30 |
Width Parameters for Flow Decompositions on DAGs (abstract) 30 min
1 University of Warsaw
|
Session Chair:
Location:
C4.06
| 14:00-15:00 |
Logic-Based Explainable AI (abstract) 60 min
1 ICREA & University of Lleida
|
Session Chair:
Location:
C4.06
| 15:00-16:00 |
The (Parameterized) Complexity of Neural Network Trainining (abstract) 60 min
1 TU Wien
|