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:20210101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20220408T080000
DTEND;TZID=America/Sao_Paulo:20220408T160000
DTSTAMP:20260423T032626
CREATED:20220317T123518Z
LAST-MODIFIED:20220317T161617Z
UID:7394-1649404800-1649433600@www.dc.uba.ar
SUMMARY:Fecha límite de recepción de documentación en subcomisión - abril 2022
DESCRIPTION:
URL:https://www.dc.uba.ar/event/fecha-limite-de-recepcion-de-documentacion-en-subcomision-abril-2022/
CATEGORIES:Subcomisión de Doctorado
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20220409T080000
DTEND;TZID=America/Sao_Paulo:20220409T160000
DTSTAMP:20260423T032626
CREATED:20220317T123249Z
LAST-MODIFIED:20220317T161713Z
UID:7392-1649491200-1649520000@www.dc.uba.ar
SUMMARY:Fecha límite de elevación de documentación a secretaría de posgrado - abril 2022
DESCRIPTION:
URL:https://www.dc.uba.ar/event/fecha-limite-de-elevacion-de-documentacion-a-secretaria-de-posgrado-abril-2022/
CATEGORIES:Subcomisión de Doctorado
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20220412T140000
DTEND;TZID=America/Sao_Paulo:20220412T150000
DTSTAMP:20260423T032626
CREATED:20220316T184749Z
LAST-MODIFIED:20220316T185008Z
UID:7385-1649772000-1649775600@www.dc.uba.ar
SUMMARY:Reunión de Comisión de Doctorado - abril 2022
DESCRIPTION:Se tratará lo que se incluya hasta el 31/05 hasta las 16 hs.
URL:https://www.dc.uba.ar/event/reunion-de-comision-de-doctorado-abril-2022/
CATEGORIES:Subcomisión de Doctorado
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20220421T140000
DTEND;TZID=America/Sao_Paulo:20220421T150000
DTSTAMP:20260423T032626
CREATED:20220418T151512Z
LAST-MODIFIED:20220418T151512Z
UID:7456-1650549600-1650553200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Iván Pondal
DESCRIPTION:Título: Inferencia de tipos sesión probabilísticos\nDirector: Hernán Melgratti\nJurados: Diego Garbervetsky\, Carlos Gustavo Lopez Pombo. \nResumen:\nLos últimos años testimonian un auge en el desarrollo de técnicas de descripción de interfaces y soporte a nivel de lenguajes de programación para el desarrollo de aplicaciones correctas por construcción. El desarrollo de tipos comportamentales y\, en especial\, los tipos de sesión se han consolidado como un formalismo central para el análisis modular de aplicaciones distribuidas basadas en procesos que comunican a través de canales. \nRecientemente se propuso el uso de tipos de sesión para razonar sobre propiedades de alcanzabilidad en términos probabilísticos. Concretamente\, el sistema de tipos permite determinar la probabilidad con la que una sesión termina exitosamente. En este trabajo presentamos una extensión con tipos probabilísticos de la librería FuSe\, que implementa tipos sesión en OCaml.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ivan-pondal/
LOCATION:Aula a confirmar
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20220428T130000
DTEND;TZID=America/Sao_Paulo:20220428T140000
DTSTAMP:20260423T032626
CREATED:20220421T143728Z
LAST-MODIFIED:20220421T143728Z
UID:7471-1651150800-1651154400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Santiago Cifuentes
DESCRIPTION:Título: Sobre la complejidad del problema de encontrar data-graph repairs bajo restricciones de nodos y caminos \n Director: Maria Vanina Martinez y Ricardo O. Rodriguez\nJurados: Santiago Figueira  y Pablo Barenbaum \n\nResumen:\nLas bases de datos con forma de grafo representan de una forma efectiva relaciones binarias entre entidades\, y permiten procesar y consultar por conexiones no triviales de forma eficiente. Como en el caso relacional\, se espera que los datos preserven un conjunto de restricciones de integridad que capturen la estructura semántica del mundo que representan. Un posible enfoque para lidiar con bases de datos que no satisfacen su conjunto de reglas de integridad consiste en reemplazarlas por una nueva base de datos ‘similar’ a la original\, pero que satisfaga el conjunto de restricciones. Es decir\, un repair de la base de datos original. En este trabajo estudiamos el problema de computar (subset y superset) repairs de bases de datos con forma de grafo con datos en los nodos usando una noción de consistencia basada en conjuntos de expresiones del lenguaje Reg-GXPath\, interpretadas como restricciones de integridad. Demostramos que para los fragmentos positivos de Reg-GXPath estos problemas admiten algoritmos polinomiales mientras que el poder expresivo completo del lenguaje vuelve el problema intratable. Finalmente\, también estudiamos el problema de computar preferred repairs sobre dos criterios de preferencia distintos\, mostrando que en la mayor´ıa de los casos la complejidad computacional del problema no cambia.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-santiago-cifuentes/
LOCATION:Aula 1604
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR