Interpolation and model theoretic forcing – some new perspectives.
(A lecture in Cantor Meets Robinson – Set theory, model theory and their philosophy. University of Campinas, Brazil, December 2018.)
Model Theoretic Forcing has been interweaved with interpolation theorems in infinitary logic since the early work of Mostowski, Vaught, Harnik and others. I will present some of these historical connections and their effect on Shelah’s much more recent logic 
Seminario Lógica y Geometría (Bogotá, 9/18).
Mi charla: Propagators and Sheaves.
Uno de los ejemplos provenientes de la física cuántica que ha sido objeto de varios análisis modelo-teóricos en años recientes ha sido el propagador cuántico (trabajos de Zilber y de Hirvonen-Hyttinen). Aquí proponemos otro enfoque, más cercano a la lógica de haces métricos, en trabajo conjunto con Maicol Ochoa. En particular, damos una construcción mediante espacios de Schwartz que permite enfocar el comportamiento del operador asociado al propagador como límite de operadores que actúan sobre espacios finito-dimensionales.
At the Max-Planck-Institut für Mathematik in den Naturwissenschafften I gave a lecture on Model Theory and Non-Locality during the Mathematics in Chemistry meeting, in October of 2016.
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 blackboard lecture for the Oxford Logic seminar on quantum-j. Here, some preparatory notes.
For the CUNY Logic Workshop I gave the lecture The Model Theory of some j-functions, in March of 2016.
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?
The Helsinki Collegium for Advanced Study invited me to give a lecture in the interdisciplinary meeting Getting There and Falling Short, where a number of art historians, linguists, mathematicians, philosophers, artists, etc. were invited to reflect on language’s ability of grasping concepts and its own shortcomings. My lecture (Grasping smoothly and letting go: categoricity and location) focused on categoricity and the problem of location.
At the Coloquio del Departamento de Matemáticas at Universidad Nacional, in Bogotá, a lecture on Sheaves, Foliations and Modular Invariantes:
