PCCR — PROGRAM

Days: Friday, 24 July 2026 Saturday, 25 July 2026

Friday, 24 July 2026
09:15-09:30 Welcome PCCR
Session Chair:
Location: C4.06
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
16:30-17:30 Open Problems and Discussion PCCR
Session Chair:
Location: C4.06
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍