
Two seminar lectures at Universitat de Barcelona in October of 2016, loosely based on our joint work with Berenstein and Hyttinen on Independence, Continuity and Tree Properties.
Two seminar lectures at Universitat de Barcelona in October of 2016, loosely based on our joint work with Berenstein and Hyttinen on Independence, Continuity and Tree Properties.
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:
At the IPM Institute in Isfahan (Iran) I was invited to give a lecture on Semantics on Sheaves (Topological, Metric, etc.) in November 2015.
Durante el Festschrift en honor a mi padre, José Luis Villaveces, en la Academia Colombiana de Ciencias Exactas, Físicas y Naturales, tuve el honor de dar una charla. Fue la primera vez que hablé sobre conexiones entre la teoría de modelos y la química, y lo hice de manera (en ese momento) muy tentativa. La charla se tituló ¿Existe una teoría de modelos de la química? (un diálogo, tres décadas – química y matemática).
De la charla salió también el artículo en un volumen de la Academia en 2017: ¿Hacia una teoría de modelos de la química?