Workshop on Algebra and CSPs
Description
The main goal of this workshop is to highlight the recent advances on the CSP Dichotomy Conjecture arising from the algebraic approach. It will focus on the various algebraic notions and results that have been developed in the attempts to resolve this conjecture and connected problems and will also include presentations on related algebraic topics, such as Maltsev Conditions and Tame Congruence Theory. The workshop may also include presentations on CSPs over infinite templates, quantified CSPs, and connections with logic, finite model theory, and complexity.
Invited Speakers:
- Manuel Bodirsky (Ecole Polytechnique, Palaiseau)
- Andrei Bulatov (Simon Fraser University)
- Victor Dalmau (UPF, Barcelona)
- Martin Dyer (University of Leeds)
- Peter Jeavons (University of Oxford)
- Vladimir Kolmogorov (University College, London)
- Marcin Kozik (Jagiellonian University)
- Benoit Larose (Champlain College)
- Miklos Maroti (University of Szeged)
- Barnaby Martin (Durham University)
- Ralph McKenzie (Vanderbilt University)
- Michael Pinsker (TU Vienna)
- Johan Thapper (École Polytechnique)
Schedule
09:20 to 09:30 |
Welcome and Introductions
Location: |
09:30 to 10:30 |
Libor Barto, McMaster University Location: |
10:30 to 11:00 |
Coffee Break
|
11:00 to 12:00 |
Marcin Kozik, Jagiellonian University Location: |
12:00 to 14:00 |
Lunch Break
|
14:00 to 15:00 |
Ralph McKenzie, Vanderbilt University Location: |
15:00 to 15:30 |
Coffee Break
|
15:30 to 16:00 |
Zadori Laszlo, University of Szeged Location: |
16:00 to 16:30 |
Alexandr Kazda, Charles University Location: |
16:30 to 17:30 |
Reception
|
09:30 to 10:30 |
Miklos Maroti, University of Szeged Location: |
10:30 to 11:00 |
Coffee Break
|
11:00 to 12:00 |
Andrei Bulatov, Simon Fraser University Location: |
12:00 to 14:00 |
Lunch Break
|
14:00 to 15:00 |
Martin Dyer, University of Leeds Location: |
15:00 to 15:30 |
Coffee Break
|
15:30 to 16:00 |
Jakub Bulin, Charles University Location: |
09:30 to 10:30 |
Michael Pinsker, University of Vienna Location: |
10:30 to 11:00 |
Coffee Break
|
11:00 to 12:00 |
Manuel Bodirsky, TU Dresden Location: |
12:00 to 14:00 |
Lunch Break
|
14:00 to 15:00 |
Barnaby Martin, Durham University Location: |
15:00 to 15:30 |
Coffee Break
|
15:30 to 16:00 |
Hubie Chen, King's College London Location: |
09:30 to 10:30 |
Peter Jeavons, University of Oxford Location: |
10:30 to 11:00 |
Coffee Break
|
11:00 to 12:00 |
Vladimir Kolmogorov, University College London Location: |
12:00 to 14:00 |
Lunch Break
|
14:00 to 15:00 |
Johan Thapper, Gustave Eiffel University Location: |
15:00 to 15:30 |
Coffee Break
|
15:30 to 16:00 |
No Title Specified
Venkatesan Guruswami, Carnegie Mellon University Location: |
09:30 to 10:30 |
Victor Dalmau Location: |
10:30 to 11:00 |
Coffee Break
|
11:00 to 12:00 |
Benoit Larose, Université du Québec à Montréal (UQÀM) Location: |
12:00 to 14:00 |
Lunch Break
|
14:00 to 15:00 |
Open Problem Session
Location: |
15:00 to 15:30 |
Coffee Break
|