Logic and Computational Complexity

Icon

NII Shonan Meeting Seminar 096

Organizers

Yijia Chen (Fudan University, China)

Rodney Downey (Victoria University of Wellington, New Zealand)

Jörg Flum (Albert-Ludwigs Universität Freiburg, Germany)

Participants

Isolde Adler (University of Leeds, UK)

Mikołaj Bojańczyk (University of Warsaw, Poland)

Benjamin Burton (The University of Queensland, Australia)

Samuel Buss (UC San Diego, USA)

Hubie Chen (Univ. Pais Vasco and Ikerbasque, Spain)

Yijia Chen (Fudan University, China)

Bruno Courcelle (LaBRI/ Bordeaux University, France)

Radu Curticapean (Hungarian Academy of Sciences, Hungary)

Anuj Dawar (University of Cambridge, UK)

Holger Dell (Saarland University, Germany)

Rodney Downey (Victoria University of Wellington, New Zealand)

Kord Eickmeyer (Technische Universität Darmstadt, Germany)

Jörg Flum (Albert-Ludwigs Universität Freiburg, Germany)

Jiawei Gao (UC San Diego, USA)

Serge Gaspers (The University of New South Wales, Australia)

Petr Hliněný (Masaryk University, Czech Republic)

Bart M. P. Jansen (Eindhoven University of Technology, the Netherlands)

Valentine Kabanets (Simon Fraser University, Canada)

Antonina Kolokolova (Memorial University of Newfoundland, Canada)

Janos Makowsky (Technion – Israel Institute of Technology, Israel)

Catherine McCartin (Massey University, New Zealand)

Michał Pilipczuk (University of Warsaw, Poland)

Frank Stephan (National University of Singapore, Singapore)

Osamu Watanabe (Tokyo Institute of Technology, Japan)

Keita Yokoyama (Japan Advanced Institute of Science and Technology, Japan)

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

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

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

15:00-15:30 Coffee Break

15:30-16:30 Yijia Chen: Parameterized AC– some upper and lower bounds

18:00 Dinner

Wednesday, September 20

9:00-10:00 Samuel Buss: Some NP functions and their proof complexity and completeness

10:00-10:30 Coffee Break

10:30-11:30 Valentine Kabanets: The uncanny usefulness of constructive proofs of pseudorandomness

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

10:00-10:30 Coffee Break

10:30-11:30 Anuj Dawar: the symmetry barrier in combinatorial optimization

12:00 Lunch

14:00-15:00 Antonina Kolokolova: Proof complexity of SMT

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

10:00-10:30 Coffee Break

10:30-11:30 Benjamin Burton: TBA

12:00 Lunch

14:00 Departure

Overview

The discipline of theoretical computer science has its early roots in the pioneering work of Church, Turing, and Gödel. Two important branches of theoretical computer science were already visible right from the beginning: One oriented to computational complexity and algorithms, the other to logic, semantics, and formal methods. The two branches have quite different goals and problems, each developed methods of its own, and they partly use different mathematical tools. Even though their division has been growing steadily during the last 30 years, the two branches come together from time to time as witnessed by the work in areas as descriptive theory, proof complexity, and more recently, parameterized complexity. The main focus of the planned meeting are those areas.

In this Shonan meeting, we aim to bring together researchers from both communities, complexity and logic, working in the areas mentioned above. So they can share their recent work and discuss research problems. The meeting will consist a number of tutorials, survey talks, and research talks.