Están todos invitados a la charla de Danae Dutto. "Teoría de la Prueba para Lógicas Modales con Datos“. Jueves 5 de diciembre a las 14 hs, Sala 1604. Resumen:  Los lenguajes modales con datos han ganado una significativa atención en tiempos recientes. Este interés proviene del estudio formal de [...]