PCCR PROGRAM
Days: Sunday, July 31st Monday, August 1st
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
11:00-12:30 Session 10K
Chair:
Location: Ullmann 203
11:00 | Parameterized Approximations and CSPs (abstract) |
12:00 | Kemeny Rank Aggregation: Width Measure and Diversity Notion (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 14L
Chair:
Location: Ullmann 203
14:00 | Resolving Inconsistency of Linear Equations (abstract) |
14:30 | Towards Tractable QSAT for Structural Parameters Below Treewidth (abstract) |
15:00 | Learning Small Decision Trees (abstract) |
15:30-16:00Coffee Break
17:15-18:15 Session 23: Discussion and Open Problems
Open problem session and discussions.
Chair:
Location: Ullmann 203
Monday, August 1st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26F
Chair:
Location: Ullmann 203
09:00 | Parameterized algorithmics in access control: linking theory and practice (abstract) |
10:00 | MaxSAT: Parameterized, Parallel, Absolute (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 31I
Chair:
Location: Ullmann 203
11:00 | The Parameterized Complexity of SAT (abstract) |
12:00 | Parameterized Algorithmics and Counting: Treewidth in Practice (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:30 Session 34J
Chair:
Location: Ullmann 203
14:00 | Decompositions and algorithms for interpretations of sparse graphs (abstract) |
15:00 | Tractable Abstract Argumentation via Backdoor-Treewidth (abstract) PRESENTER: Matthias König |
15:30-16:00Coffee Break
18:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event