VSL 2014: VIENNA SUMMER OF LOGIC 2014
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)
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
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

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