Image
Description
Logic Lounge
Informal afternoon meeting with short talks from participants in the logic program.
Speakers:
Jaroslav Nesetril , "Structural Limits"
Pengming Wang, TBA
Thomas Zeume, "A Short Glance on Dynamic Descriptive Complexity"