Tutorials and invited lectures
The central part of the program consists of two tutorials and three invited lectures.
Tutorials
-
"Automata and logically defined tree languages" (slides)
by Mikołaj Bojańczyk (University of Warsaw, Poland) -
"Logic, Algebra and Implication" (slides)
by Carles Noguera i Clofent (Czech Academy of Sciences, Czechia)
Invited lectures
-
"Identities in tropical matrix semigroups and the bicyclic monoid" (slides)
by Mark Kambites (University of Manchester, UK) -
"Promise constraint satisfaction" (slides)
by Jakub Opršal (TU Dresden, Germany) -
"Clones and Galois connections" (slides)
by Reinhard Pöschel (TU Dresden, Germany)
Contributed talks
Slides from the contributed talks are available here.
The rest of the program will consist of short contributed talks, most of them in two parallel sections (20 minutes + 5 minutes for discussion). There will be an overhead projector and a flipchart. We will provide a laptop as well.
Conference schedule
The conference starts with Sunday dinner and ends with Friday lunch. A preliminary program is available here. If you discover any issues, please let us know!
Booklet of abstracts
The booklet of abstracts can be downloaded here. Please check that your abstract is printed correctly. Let us know if you would like to make changes!
Social program
Here is a few photos from the conference.
On Wednesday, there will be a day off. A hiking trip into the mountains will be organized. Survivors will enjoy a banquet in the evening.