Miguel Campercholi was recently promoted to Independent Researcher in our national research council Conicet (that employs most of the full-time research faculty in our country). Congratulations to Miguel for this recognition of his sustained work! Felicitaciones a Miguel por su…
Pablo Ventura, 2019-05-06: “Algoritmos para decidir definibilidad abierta”
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…