BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20241205T140000
DTEND;TZID=America/Sao_Paulo:20241205T150000
DTSTAMP:20260426T004323
CREATED:20241203T141233Z
LAST-MODIFIED:20241203T141233Z
UID:9581-1733407200-1733410800@www.dc.uba.ar
SUMMARY:Charla "Teoría de la Prueba para Lógicas Modales con Datos“
DESCRIPTION:Están todos invitados a la charla de Danae Dutto. \n«Teoría de la Prueba para Lógicas Modales con Datos“. \nJueves 5 de diciembre a las 14 hs\, Sala 1604. \nResumen:  Los lenguajes modales con datos han ganado una significativa atención en tiempos recientes.\nEste interés proviene del estudio formal de lenguajes de bases de datos orientados\, como DataGL\, XPath y GQL. Estos lenguajes\, ademas de expresar caracteristicas topológicas tienen la capacidad de expresar propiedades relacionadas con datos.  HXPathD es un lenguaje modal híbrido que formaliza el fragmento navegacional de XPath enriquecido con nominales\, operador de satisfacción @ y comparación de datos por igualdad y desigualdad.\nResultados de completitud para axiomatizaciones de HXPathD\, así como también para extensiones que caracterizan diversas clases de modelos\, han sido presentados en trabajos anteriores. En esta charla\, además de esos resultados\, se hablará sobre los primeros avances hacia una teoría de la prueba para HXPathD y\, más en general\, para lógicas modales con datos.\nConcretamente\, se presentará un cálculo de secuentes al estilo Gentzen para HXPathD el cual es correcto\, completo y cut-free. \nDanae Dutto está haciendo el Doctorado en Ciencias de la Computación en FaMAF\, Universidad Nacional de Córdoba\, y está de visita en el DC.
URL:https://www.dc.uba.ar/event/charla-teoria-de-la-prueba-para-logicas-modales-con-datos/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR