Image
Informal afternoon meeting with short talks from participants in the logic program.
Jaroslav Nesetril , "Structural Limits"
Pengming Wang, TBA
Thomas Zeume, "A Short Glance on Dynamic Descriptive Complexity"
No Upcoming activities yet