Friday 8.5. 12:00-15:00 at https://utu.zoom.us/j/61031444638
Please email for the password.
12.00- 12.50 Jarkko Kari: The domino problem in the low-complexity setting
13.00-13.50 Åsa Hirvonen: Challenges in descriptive complexity theory for quantum computation
14.00-14.50 Reijo Jaakkola: Algebraic classifications for fragments of first-order logic and beyond