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:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200828T100000
DTEND;TZID=America/Sao_Paulo:20200828T120000
DTSTAMP:20260515T002909
CREATED:20200821T171134Z
LAST-MODIFIED:20200821T171134Z
UID:6095-1598608800-1598616000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Malena Ivnisky
DESCRIPTION:Título: Agregando punto fijo a una extensión cuántica de lambda cálculo con matrices de densidad\nDirector: Alejandro Díaz-Caro\nCodirector: Hernán Melgratti\nJurados: Pablo Barenbaum. Santiago Figueira\n\nFecha y hora: Viernes 28 de agosto\, 10 hs\nLugar: https://www.youtube.com/watch?v=kbqSuZ2zEF8\n\nResumen:\nEl cálculo λρ presentado por Díaz-Caro en 2017 es una extensión cuántica del lambda cálculo que usa matrices de densidad. Estas matrices permiten representar estados mixtos de conjuntos de bits cuánticos. El cálculo modificado λρ⁰ generaliza las matrices de densidad a sumatorias algebraicas de términos. Ambos cálculos tienen definida una semántica denotacional compartida.\n\nEste trabajo representa un primer paso hacia el agregado de punto fijo al cálculo λρ⁰. Definimos una extensión con punto fijo en el límite y otra intermedia\, con punto fijo incremental. La semántica denotacional fue redefinida respecto a la original para dar a los dominios estructura de orden parcial completo sobre matrices positivas. La demostración de adecuación depende de dos conjeturas dejadas para trabajo futuro.\n\nSuponiendo correcta la definición de la semántica\, esto permite probar la existencia del límite del punto fijo incremental gracias a la estructura de orden parcial completo. La interpretación del punto fijo puede definirse entonces como el límite de una secuencia creciente y acotada de interpretaciones de términos en el dominio.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-malena-ivnisky/
LOCATION:Youtube
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR