Sep 1, 2017
Schedule
Sunday, September 17
15:00 Check-in
19:00 Welcome Banquet
Monday, September 18
9:00-10:00 Introduction
10:00-11:00 Bruno Courcelle: Tree-width, clique-width and fly-automata (slides)
11:00-12:00 Mikołaj Bojańczyk: A proof of Courcelle’s conjecture on recognisable graph classes
12:00 Lunch
13:30 Group Photo
14:00-15:00 Michał Pilipczuk: Definability and recognizability for graphs of bounded linear cliquewidth (slides)
15:00-15:30 Coffee Break
15:30-16:30 Petr Hliněný: Definability of path- and branch decompositions: another view
18:00 Dinner
Tuesday, September 19
9:00-10:00 Hubie Chen: One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries
10:00-10:30 Coffee Break
10:30-11:30 Isolde Adler: Testing logically defined properties on structures of bounded degree
12:00 Lunch
14:00-15:00 Kord Eickmeyer: Logics with invariantly used relations (slides)
15:00-15:30 Coffee Break
15:30-16:30 Yijia Chen: Parameterized AC0 – some upper and lower bounds (slides)
18:00 Dinner
Wednesday, September 20
9:00-10:00 Samuel Buss: Some NP functions and their proof complexity and completeness (slides)
10:00-10:30 Coffee Break
10:30-11:30 Valentine Kabanets: The uncanny usefulness of constructive proofs of pseudorandomness (slides)
12:00 Lunch
14:00 Excursion: Engaku and Kencho Temple
18:00 Main Banquet
Thursday, September 21
9:00-10:00 Johann Makowsky: The distinctive power and complexity of counting generalized colorings: new results and challenges (slides)
10:00-10:30 Coffee Break
10:30-11:30 Anuj Dawar: the symmetry barrier in combinatorial optimization (slides)
12:00 Lunch
14:00-15:00 Antonina Kolokolova: Proof complexity of SMT (slides)
15:00-15:30 Coffee Break
15:30-16:30 Jiawei Gao: Completeness and improved algorithms for first-order properties on sparse structures
18:00 Dinner
Friday, September 22
9:00-10:00 Frank Stephan: Deciding parity games in quasipolynomial time (slides)
10:00-10:30 Coffee Break
10:30-11:30 Benjamin Burton: TBA
12:00 Lunch
14:00 – 18:00 Free Discussion and Departure