BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
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:20240723T160000
DTEND;TZID=America/Sao_Paulo:20240723T170000
DTSTAMP:20260523T115021
CREATED:20240716T125607Z
LAST-MODIFIED:20240716T125607Z
UID:9243-1721750400-1721754000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura  Mauro Schiavinato
DESCRIPTION:Título: Fragmentos de CPDL+ mediante propiedades de pathwidth\nDirector: Santiago Figueira\nCo-director: Edwin Pin\nJurados: Ricardo Rodríguez y Sergio Abriola \nResumen: En este trabajo nos centramos en CPDL+\, un lenguaje recientemente definido que extiende a PDL (Propositional Dynamic Logic)\, una lógica modal ya conocida y ampliamente estudiada. Sobre esta nueva lógica estudiamos una jerarquización del lenguaje basado en propiedades de pathwidth asociados a los grafos subyacentes de ciertas expresiones que este lenguaje posee. Esta jerarquización es comparable y análoga a la jerarquización de CPDL+ basada en propiedades de treewidth con la que se definió originalmente. \nEn un principio\, nuestro problema se basaba en hacer una comparación de expresividad de varios fragmentos de CPDL+\, pero varias propiedades relacionadas con teoría de modelos y juegos de simulación fueron surgiendo a medida que este estudio se fue desarrollando. Finalmente\, demostramos que el criterio de simulación estudiado para la jerarquía treewidth también sirve para pathwidth\, con algunas modificaciones semánticas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-mauro-schiavinato/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR