Algunas filminas
General
- 40
Aniversario CIEM:
“Conjunteoría en Córdoba”
[PDF]
[Web del evento]
- Seminario de Alumnes: “Análisis I*”
[PDF]
[Video]
- Jornada de Matemática para estudiantes de grado:
Resultados de imposibilidad versus construcciones (2018)
[PDF].
- Jornada de Matemática para estudiantes de grado:
Lógica como estudio de la relación de satisfacción (2017)
[PDF].
Teoría de Conjuntos
Procesos de Decisión de Markov. Bisimulación para procesos probabilistas.
- Seminario
del IMAL,
sobre aplicaciones de la Teoría de
Conjuntos Descriptiva a Computación (2015) [PDF].
- Seminario Dagstuhl, sobre la definibilidad
descriptiva de la bisimilitud (2012) [PDF].
- Simposio Latinoamericano de Lógica Matemática, sobre
lógicas que caracterizan bisimilitud para procesos de
decisión de Markov no deterministas (2012) [PDF].
- Reunión Anual de la UMA, sobre la falla de la
propiedad de Hennessy-Milner para LMP (2010) [PDF].
- Reunión Anual de la UMA (2009) [PDF].
Álgebra Universal
- Simposio Latinoamericano de Lógica Matemática, sobre
las bisimulaciones de un marco finito lineal (2014) [PDF].
- Seminario de Álgebra Universal de TU-Dresden, sobre
factorización única de álgebras y temas relacionados (2012) [PDF].
- Defensa de tesis “Congruencias Factor Definibles” (2007)
[PDF].
