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:20220421T140000
DTEND;TZID=America/Sao_Paulo:20220421T150000
DTSTAMP:20260424T025045
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
END:VCALENDAR