Events
Fall 2016
Logical Structures in Computation Seminar
Wednesday, September 7th, 2016, 4:00 pm–5:00 pm
Parent Program:
Speaker:
Location:
Calvin Lab Rm 116
Structural Limits, Modelings and Logic
We present an overview of hierarchies of sparse classes of finite structures, and show the robustness of this notion by stating various equivalent formulations (logical, analytic, combinatorial). We then state two very recent formulations: analytic in terms of structural limits, and categorical in terms of universal categories. This is joint work with Patrice Ossona de Mendez (Paris and Prague).