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:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260520T180000
DTEND;TZID=America/Sao_Paulo:20260520T190000
DTSTAMP:20260518T122638
CREATED:20260515T142159Z
LAST-MODIFIED:20260515T142159Z
UID:10611-1779300000-1779303600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martín Sztajn
DESCRIPTION:Título: KE tableaux para lógicas intuicionistas modales\nDirectores: Alejandro Solares Rojas y Ricardo O. Rodriguez\nJurados: Edwin Pin y Lourdes del Carmen González Huesca. \nResumen:\nEl sistema KE es una variante de los tableaux analíticos para lógica clásica proposicional. El mismo ha sido extendido recientemente como cálculo para la lógica intuicionista proposicional. En esta tesis vamos incorporar operadores modales y se dará cuenta de demostradores de teoremas eficientes para distintas lógicas modales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-sztajn/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR