PCCR PROGRAM
Days: Thursday, July 17th Friday, July 18th
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
10:45-11:00 Session 66AW: Opening
Location: FH, Hörsaal 3
11:00-12:00 Session 68B: Invited talk
Location: FH, Hörsaal 3
| 11:00 | Fixed-Parameter Algorithms for Reasoning Problems in NP and Beyond (abstract) |
12:00-13:00 Session 71: Contributed talks
Location: FH, Hörsaal 3
| 12:00 | A Parameterized Complexity Analysis of Generalized CP-Nets (abstract) |
| 12:30 | Backdoors to Planning (abstract) |
13:00-14:30Lunch Break
14:30-15:00 Session 75AX: Contributed talk
Location: FH, Hörsaal 3
| 14:30 | Intuitionistic modal logics: efficient fragments and parameterized complexity (abstract) |
15:00-16:00 Session 76B: Open problems
Location: FH, Hörsaal 3
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Chair:
Location: MB, Kuppelsaal
| 16:30 | Foundations and Technology Competitions Award Ceremony (abstract) |
| 17:30 | FLoC Olympic Games Award Ceremony 1 (abstract) |
| 18:15 | FLoC Closing Week 1 (abstract) |
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:15-10:15 Session 88H: Invited talk
Location: FH, Hörsaal 3
| 09:15 | CSPs and fixed-parameter tractability (abstract) |
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
10:45-11:45 Session 90BA: Contributed talks
Location: FH, Hörsaal 3
| 10:45 | Connection matrices of finite rank instead of definability in Monadic Second Order Logic (abstract) |
| 11:15 | Backdoors into Two Occurrences (abstract) |
12:00-12:30 Session 94E: Contributed talk
Location: FH, Hörsaal 3
| 12:00 | Discovering Archipelagos of Tractability: Split-Backdoors to Constraint Satisfaction (abstract) |
13:00-14:30Lunch Break
14:30-15:30 Session 96BA: Invited talk
Location: FH, Hörsaal 3
| 14:30 | Structural Decomposition Methods: How They Matter (abstract) |
15:30-16:00 Session 97: Contributed talk
Location: FH, Hörsaal 3
| 15:30 | Backdoors into Heterogeneous Classes of SAT and CSP (abstract) |
16:00-16:30Coffee Break
16:30-17:30 Session 99AW: PCCR panel
Location: FH, Hörsaal 3
17:30-17:45 Session 102B: Workshop closing
Location: FH, Hörsaal 3