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:20200611T110000
DTEND;TZID=America/Sao_Paulo:20200611T130000
DTSTAMP:20260516T125422
CREATED:20200605T161845Z
LAST-MODIFIED:20200611T124804Z
UID:5919-1591873200-1591880400@www.dc.uba.ar
SUMMARY:Seminario: Aportes científicos frente al covid-19
DESCRIPTION:Días y horarios: Todos los jueves a las 11hs. (desde el 4 de junio)\nModalidad: Virtual (vía Zoom):\nLink de ingreso: https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes verlo en youtube acá: https://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA\n\n\nSegunda charla: jueves 11-06\, 11hs.\nTítulo: Diálogos entre la ciencia y la gestión en tiempos difíciles: el rol de la producción de conocimiento en la toma de decisiones en el marco del COVID-19.\n\nExpositor: Franco Marsico\, biólogo de la FCEN-UBA\, trabaja en identificación de personas desaparecidas en el Banco Nacional de Datos Genéticos. Actualmente es asesor del Gobierno de la Provincia de Buenos en relación a la pandemia COVID-19. \n\nResumen: La pandemia de COVID-19 hace que estemos en uno de los momentos de nuestra historia de mayor demanda de preguntas por parte de nuestra sociedad. Muchas de estas aún siguen sin respuesta y la acuciante realidad que se nos plantea dista de un ensayo científico ideal a partir del cual podamos sacar conclusiones precisas. En esta charla expongo algunos de los criterios\, problemáticas y estrategias utilizadas para canalizar\, con un sentido crítico\, el conocimiento generado por el sistema científico hacia los tomadores de decisiones.\nDías y horarios: Todos los jueves a las 11hs. (desde el 4 de junio)\nModalidad: Virtual (vía Zoom)\nLa crisis mundial generada por esta enfermedad tuvo como respuesta una movilización inédita de la comunidad científica internacional\, y en particular una impresionante generación de sinergias impensadas tiempo atrás entre académicxs y distintos profesionales de nuestro país. Las distintas disciplinas (ciencias de la salud\, ciencias sociales\, ciencias matemáticas y de la computación\, etc) han confluido para dar respuestas a esta crisis y colaborar con el Estado en la toma de decisiones.\nNos proponemos desde este Seminario generar un espacio para que científicos y científicas compartan avances y experiencias de sus disciplinas ante la pandemia generada por el CoVid-19. Es objetivo de este Seminario es poner sobre la mesa buena parte de los desarrollos realizados y generar un espacio abierto de debate y difusión del conocimiento.
URL:https://www.dc.uba.ar/event/seminario-aportes-cientificos-frente-al-covid-19/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200611T140000
DTEND;TZID=America/Sao_Paulo:20200611T150000
DTSTAMP:20260516T125422
CREATED:20200605T152014Z
LAST-MODIFIED:20200605T152142Z
UID:5916-1591884000-1591887600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Emanuel Lamela
DESCRIPTION:Título: «Una caracterización operacional para modelos de consistencia transaccional»\n\n\nJurados: Hernán Melgratti\,  Agustín Martinez Suñé\nDirector: Christian Roldán\n\nLa misma será transmitida al público general a través del siguiente link:\n\n\nLink Aula Zoom: https://zoom.us/my/dc.aula09\nNombre Aula Zoom: dc.aula09\nClave del Aula Zoom: H.Lamarr\n\n\nSolicitamos que por favor al conectarse silencien sus micrófonos.\nResumen:\n\nHoy en día se construyen aplicaciones sobre bases de datos replicadas que garantizan escalabilidad y alta disponibilidad a expensas de sacrificar la consistencia\, es decir\, los usuarios pueden observar temporalmente diferencias sobre el estado del sistema. Un modelo de consistencia caracteriza este tipo de inconsistencias o anomalías. Por lo tanto\, razonar sobre la semántica de programas está directamente ligado a los modelos de consistencia que este tipo de bases de datos ofrecen. La literatura define a los modelos de consistencia en términos de axiomas que restringen las posibles ejecuciones en una base de datos replicada. En particular\, en esta tesis nos concentramos en modelos de consistencia para transacciones. Una traza de ejecución es reconstruida a través de un grafo de eventos conocido como ejecución abstracta. La misma se define sobre un conjunto de transacciones y dos relaciones: (i) visibilidad\, que define cuando una transacción es conocida por otra\, y (ii) arbitración\, que especifica un orden relativo entre las transacciones ejecutadas por el sistema. Estos mecanismos\, si bien son declarativos\, no inducen una operatoria clara que pueda ser sencillamente traducida a una implementación.\n\n\nEn esta tesis desarrollamos un modelo operacional basado en un sistema de transición etiquetado que captura de forma general los modelos de consistencia para transacciones. Para esto definimos el estado del sistema como un orden parcial sobre una secuencia de transacciones. Además proponemos una regla de equivalencia estructural\, y un conjunto de reglas de derivación descriptas en términos de dos predicados paramétricos: commit consistency y arbitration consistency. Cada modelo de consistencia transaccional\, como Snapshot Isolation y Causal Consistency\, es presentado a partir de la instanciación de cada predicado\, ofreciendo así\, definiciones alternativas de los mismos. Probaremos entonces\, la equivalencia entre la presentación clásica para modelos de consistencia transaccional\, que son definidas axiomáticamente\, y nuestro modelo operacional. Concretamente\, demostramos la correspondencia de ambos enfoques presentando pruebas de soundness y completeness para cada modelo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-emanuel-lamela/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR