PCCR — PROGRAM
Days: Friday, 24 July 2026 Saturday, 25 July 2026
Friday, 24 July 2026
09:30-10:30
George Osipov
PCCR
Session Chair:
Location:
C4.06
| 09:30-10:30 |
tba (abstract) 60 min
1 Royal Holloway, University of London
|
10:30-11:00
Coffee Break
PCCR
Location:
C4.06
11:00-12:30
Contributed Talks
PCCR
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
|
12:30-14:00
Lunch
PCCR
Location:
C4.06
14:00-15:00
Roohani Sharma
PCCR
Session Chair:
Location:
C4.06
| 14:00-15:00 |
tba (abstract) 60 min
1 Institute for Basic Science, Daejeon, South Korea
|
15:00-16:00
Sebastian Siebertz
PCCR
Session Chair:
Location:
C4.06
| 15:00-16:00 |
tba (abstract) 60 min
1 University of Bremen
|
16:00-16:30
Coffee Break
PCCR
Location:
C4.06
16:30-17:30
Johannes Fichte
PCCR
Session Chair:
Location:
C4.06
| 16:30-17:30 |
tba (abstract) 60 min
1 Linköping University
|
Saturday, 25 July 2026
09:30-10:30
Daniel Neuen
PCCR
Session Chair:
Location:
C4.06
| 09:30-10:30 |
tba (abstract) 60 min
1 TU Dresden
|
10:30-11:00
Coffee Break
PCCR
Location:
C4.06
11:00-12:30
Contributed Talks
PCCR
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
|
12:30-14:00
Lunch
PCCR
Location:
C4.06
14:00-15:00
Joao Marques-Silva
PCCR
Session Chair:
Location:
C4.06
| 14:00-15:00 |
Logic-Based Explainable AI (abstract) 60 min
1 ICREA & University of Lleida
|
15:00-16:00
Robert Ganian
PCCR
Session Chair:
Location:
C4.06
| 15:00-16:00 |
tba (abstract) 60 min
1 TU Wien
|
16:00-16:30
Coffee Break
PCCR
Location:
C4.06
