Next Monday, Pablo Ventura will talk about deciding whether a relation is definable by an open first-order formula. Título: Algoritmos para decidir definibilidad abierta. Resumen: Presentaremos algoritmos para decidir definibilidad utilizando las caracterizaciones semánticas de la definibilidad dadas en “Semantical conditions for the definability of…
Congratulations to Pablo Ventura!
We want to congratulate Pablo Ventura for being awarded with a Conicet PhD scholarship spanning 5 years. This is a result of the ongoing research project with his adviser, Miguel Campercholi. Happy research! Queremos felicitar a Pablo Ventura por haber obtenido una beca doctoral…