En el Colegio Refous (Cota, Colombia) di el seminario Computadores y Grafos en septiembre de 2019. He aquí una descripción y unas conclusiones.
Tag Archives: Logic and Computer Science
Limit Structures and Non-Locality. Leiden, 10/16
I was invited to be the leader of a discussion session during the Logics, Decisions and Interactions event at the Lorentz Center at Universiteit Leiden, in October 2016.
The discussion was preceded by a short presentation on Limit Structures and Non-Locality.
Sheaves of Metric Structures / Generalized Amalgamation Classes… and Limit Models: Implicit Logics – Puebla, 8/16
In the context of WOLLIC 2016 (Workshop on Logic, Language, Information and Computation) at the Benemérita Universidad Autónoma de Puebla I spoke about part of our joint work with Maicol Ochoa, in two formats:
- A lecture on Sheaves of Metric Structures (where I emphasized the logical part of this work.)
- A tutorial on Generalized Amalgamation Classes… and Limit Models: Implicit Logics.