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:20200101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20210603T110000
DTEND;TZID=America/Sao_Paulo:20210603T130000
DTSTAMP:20260506T091010
CREATED:20210602T113713Z
LAST-MODIFIED:20210602T113713Z
UID:6720-1622718000-1622725200@www.dc.uba.ar
SUMMARY:Políticas públicas de asistencia y acompañamiento en salud mental en la Provincia de Buenos Aires: abordajes en salud en el marco de la Pandemia.
DESCRIPTION:Los invitamos a la novena charla de la edición 2021 del seminario. Esta vez presentamos a Julieta Calmens\, subsecretaria de Salud mental de la Provincia de Buenos Aires. \nQuién: Julieta Calmens\, subsecretaria de Salud mental de la Provincia de Buenos Aires.\nCuándo: Jueves 3 de Junio\, 11 hs.\nLink zoom: https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá:\nhttps://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA \nTítulo: Políticas públicas de asistencia y acompañamiento en salud mental en la Provincia de Buenos Aires: abordajes en salud en el marco de la Pandemia. \nResumen: Desde la provincia de Buenos Aires\, a partir de la declaración de la pandemia por covid-19\, se fueron instrumentando un conjunto de políticas de atención y cuidado que incluyen algunas específicas vinculadas a la salud mental.\nEsto implicó\, por un lado el refuerzo de todos los ámbitos de asistencia y tratamiento de salud mental que en nuestra provincia se despliegan a través de los cuatro hospitales neuropsiquiátricos\, los 80 hospitales generales con servicios de salud mental y de un conjunto de dispositivos de base comunitaria dependientes de la provincia donde se encuentran centros de atención\, unidades residenciales para temas de consumos y salud mental y centros de día comunitarios; conformando un total de 150 dispositivos. Y junto a esto\, los equipos móviles regionales. \nLa pesperctiva con la que trabajamos desde la provincia supone que la comprensión de que una catástrofe de la magnitud de la pandemia que atravesamos no debe leerse exclusivamente en términos de incremento de patologías en salud mental\, sino que debe leerse contextualmente y generando los procesos de cuidados y acompañamiento de situaciones múltiples de sufrimiento y de dolor con una presencia estatal cercana a las situaciones de vida de la gente. Y en el marco\, además\, de la apuesta por un procesamiento también colectivo de una situación de esta magnitud. \nBio: Julieta Calmens es subsecretaria de Salud Mental\, Consumos Problemáticos y violencias en el ámbito de la salud pública. Provincia de Buenos Aires. Ex Directora del Centro Ulloa. Centro de asistencia a víctimas de violaciones a los derechos humanis. Secretaria de Derechos Humanos de la Nación.\nFue directora y actualmente es docente en la diplomatura de Salud Mental y Derechos Humanos de la Universidad de José C. Paz y Asociacion Civil Enclaves.\nFue asesora de la cámara de diputados y la cámara de senadores de la nación en temas de salud\, derechos humanos y género; y fue docente e investigadores de la Facultad de Psicología UBA.
URL:https://www.dc.uba.ar/event/politicas-publicas-de-asistencia-y-acompanamiento-en-salud-mental-en-la-provincia-de-buenos-aires-abordajes-en-salud-en-el-marco-de-la-pandemia/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20210609T090000
DTEND;TZID=America/Sao_Paulo:20210609T100000
DTSTAMP:20260506T091010
CREATED:20210603T180241Z
LAST-MODIFIED:20210603T180241Z
UID:6722-1623229200-1623232800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Francisco Curdi
DESCRIPTION:Título: Diseño e implementación de un generador de código .NET\nDirectores: Edgardo Zoppi y Diego Garbervetsky\nJurados: Hernán Wilkinson y Alexis Soifer \nResumen: \nEn esta tesis presentamos el diseño e implementación de un módulo de generación de código para el framework de análisis estático de código Analysis.NET. Esta herramienta permite leer ejecutables de .NET y realizar distintos análisis sobre ellos. Si bien la misma existe hace tiempo ya\, actualmente tiene la limitante de no poder generar código ejecutable. El módulo agregado busca cubrir esa brecha y lograr una herramienta más completa\, como las que podemos encontrar para otras tecnologías similares.\nAdicionalmente incluimos otro módulo que permite realizar una conversión entre dos representaciones intermedias que brinda el framework. Esto\, sumado a la nueva funcionalidad de generación de código\, nos permite hacer uso de distintos análisis y transformaciones que provee la herramienta pudiendo impactar cambios en un nuevo ejecutable.\nEn este trabajo presentamos la plataforma .NET\, junto con su arquitectura\, y el framework Analysis.NET. Detallamos el diseño e implementación de los módulos agregados explicando la problemática que resuelven y las dificultades encontradas durante su implementación.\nNos concentramos en cuatro ejes de estudio que nos ayudarán a entender el valor de la funcionalidad agregada. Estos son Generación\, Instrumentación\, Optimización y Generación programática\, siendo el primero de ellos el foco principal de este trabajo.\nPor último realizamos una evaluación empírica\, experimentando la herramienta completa con distintos casos de pruebas para los cuales evaluamos los resultados obtenidos para cada eje.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-francisco-curdi/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20210610T110000
DTEND;TZID=America/Sao_Paulo:20210610T110000
DTSTAMP:20260506T091010
CREATED:20210604T164206Z
LAST-MODIFIED:20210604T164206Z
UID:6725-1623322800-1623322800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pablo Gómez
DESCRIPTION:Título: Verificación de correctitud para tipos de datos replicados en Coq\nDirectores: Christian Roldán y Hernán Melgratti\nJurados: Fernando Asteasuain y Agustín Martinez Suñé \nResumen: \nLa replicacion de datos es un concepto fundamental en sistemas distribuidos ya que ofrece garantías como escalabilidad y alta disponibilidad a expensas de tener una vision inconsistente del estado del sistema. Esto significa que los usuarios de dicho sistema\, temporalmente\, podrían percibir diferencias sobre el estado del mismo. \nEn particular\, esta tesis se concentra en un enfoque de replicación basada en estados\, donde cada réplica (o nodo) que compone al sistema\, transmite su estado al resto de las réplicas con el fin que estas puedan combinarlo con su propio estado y alcancen así un mismo estado común. La literatura propone los tipos de datos replicados o RDTs (por su acrónimo en inglés\, Replicated Data Types) quienes lidean con inconsistencias temporales que puedan existir y resuelven de forma automática cuando existen conflictos entre escrituras concurrentes. Diferentes líneas de investigación han abordado el problema de especificar e implementar RDTs. Más aún\, hay demostraciones manuales sobre la correcta implementación de un RDT con respecto a su especificación. \nEn esta tesis proponemos abordar el problema de formalizar y verificar la correcta implementación de RDTs utilizando el asistente de demostraciones Coq. Coq es un sistema formal de semidesición de manejo de demostraciones de teoremas chequeadas por computadora. Proveemos por lo tanto\, de un marco de trabajo para verificar la correctitud de RDTs de una manera computarizada\, lo cual ofrece una alternativa confiable y mecánica de abordar esta tarea. Mas concretamente\, en esta tesis nos centramos en realizar la experiencia de formalizar en Coq una especificacion y una implementacion de un RDT (tomando como caso de estudio el tipo de datos: Contador). Para esto\, (i) mostraremos como transformar las definiciones existentes en definiciones equivalentes en Coq. Luego\, (ii) probaremos que la implementacion del tipo de datos es correcta\, basándonos en un resultado  que establece la existencia de una relacion de simulacion entre la semantica operacional asociada a la especificacion\, y la implementacion concreta del Contador. Finalmente\, (iii) presentamos una prueba en el asistente sobre la correcta implementación del tipo de datos\, mostrando para esto\, la existencia de dicha relación de simulación.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pablo-gomez/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20210610T110000
DTEND;TZID=America/Sao_Paulo:20210610T130000
DTSTAMP:20260506T091010
CREATED:20210608T124014Z
LAST-MODIFIED:20210608T124014Z
UID:6731-1623322800-1623330000@www.dc.uba.ar
SUMMARY:Lecciones aprendidas y desafíos pendientes
DESCRIPTION:Los invitamos a la décima charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Pedro Cahn\, Director Científico de la Fundación Huésped y miembro del equipo asesor del gobierno nacional en temas covid. \nQuién: Dr. Pedro Cahn\, Director Científico de la Fundación Huésped\nCuándo: Jueves 10 de Junio\, 11 hs.\nLink zoom: https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá:\nhttps://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA \nTítulo: Lecciones aprendidas y desafíos pendientes \nResumen: Presentaré un resumen del impacto epidemiológico a la fecha\, mecanismos de transmisión\, clínica\, tratamientos disponibles\, vacunas e impacto social de la pandemia. Abriré la discusión sobre virtudes y defectos en las respuestas de nuestro país y el mundo frente a la pandemia. \nPedro Cahn es Médico infectólogo\, Doctor en Medicina UBA. Director Científico\, Fundación Huésped. Ex Jefe de Infectología y actual consultor de la División Infectología\, Htal. Juan Fernandez. Ex Profesor Titular de Infectología\, Facultad de Medicina\, UBA. Asesor externo de OMS\, ONUSIDA\, OPS y Ministerio de Salud\, Argentina. Past-President\, International AIDS Society y autor de más de 200 trabajos publicados en revistas con referato.
URL:https://www.dc.uba.ar/event/lecciones-aprendidas-y-desafios-pendientes/
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20210611T160000
DTEND;TZID=America/Sao_Paulo:20210611T170000
DTSTAMP:20260506T091010
CREATED:20210607T154316Z
LAST-MODIFIED:20210607T154316Z
UID:6729-1623427200-1623430800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Brian Bohe
DESCRIPTION:Título: Problema de ruteo de vehículos con ventanas de tiempo\, opciones de entrega y capacidades dinámicas\nDirectores: Juan José Miranda Bront y Gonzalo Lera Romero\nJurados: Isabel Méndez-Díaz y Daniel Negrotto \nResumen: \nEl reciente crecimiento del e-commerce trae consigo un abrupto incremento en la cantidad y complejidad de los desafíos con los que tienen que lidiar las empresas que particiíen la logística de última milla. Entre ellos\, los inconvenientes de acceso al lugar de destino de la entrega y una limitada disponibilidad del receptor\, aumentan la cantidad de intentos de entrega fallidos e impactan directamente en la eficiencia. En este contexto\, muchas empresas optan por soluciones híbridas que consideran por un lado la opción de entregar directamente al domicilio del cliente\, así como también utilizar puntos de entrega compartidos\, llamados locker-boxes\, a los que el cliente luego se acerca para retirar sus pedidos. Esta nueva modalidad que en algún grado ayuda a resolver las problemáticas mencionadas\, presenta nuevos desafíos desde la gestión relacionados a la capacidad máxima en la recepción de productos\, resultante de las características físicas de espacio disponible\ny de las entregas y retiros que se realicen durante el horizonte de planificación. \nEsta variante del conocido problema de ruteo de vehículos\, ha sido introducida recientemente y todavía es muy incipiente lo que hay. Si bien se han analizado distintos aspectos\, como la utilización de ventanas de tiempo y la heterogeneidad de los puntos de entrega compartidos\, hasta ahora se consideró que la capacidad de recepción es constante durante el horizonte de planificación; mientras que en la realidad\, es variable. Aunque la naturaleza de esta información es estocástica\, se la puede considerar conocida y determinista para afrontar la resolución del problema que la engloba\, pudiendo en la práctica ser reemplazada por el resultado de un pronóstico. En este trabajo presentamos una solución Branch & Price para el problema de ruteo de vehículos con ventanas de tiempo\, opciones de entrega y capacidades dinámicas\, utilizando heurísticas para acelerar los tiempos de cómputo incurridos en el problema de pricing. También\, mostramos que considerar las capacidades de recepción dinámicas en los modelos\, permite reducir el costo logístico hasta un 37% en el mejor caso\, en detrimento de mayores tiempo de cómputo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-brian-bohe/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20210615T140000
DTEND;TZID=America/Sao_Paulo:20210615T150000
DTSTAMP:20260506T091010
CREATED:20210604T164539Z
LAST-MODIFIED:20210615T170124Z
UID:6727-1623765600-1623769200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Damián Mazzini
DESCRIPTION:Título: Recuperando ‘fórmulas culpables’ de un lenguaje deóntico mediante el mapeo inverso de unsat cores\nDirector: Fernando Schapachnik\nJurados: Sergio Mera y Hernán Czemerinski \nResumen: \nFormaLex es un conjunto de herramientas que tiene como objetivo modelar y analizar sistemas legales realizando de manera automatizada verificaciones de fórmulas lógicas que representan textos normativos. Como resultado de la ejecución\, FormaLex determina si un documento normativo es consistente o si por el contrario se hallaron inconsistencias. En este proceso de verificación intervienen distintas herramientas\, entre ellas se encuentra NuSMV que es un model checker utilizado como motor de razonamiento. \nEste trabajo se centra principalmente en la interacción entre FormaLex y NuSMV\, principalmente en la interpretación del output del mismo. El problema está relacionado con que actualmente el model checker al momento de responder que existe una contradicción no da indicios de cuáles son las fórmulas involucradas en la misma. En un trabajo previo llamado Recuperación de “fórmulas culpables” mediante análisis de unsat core de un trabajo previo se realizaron modificaciones a las herramientas que intervienen en el proceso de verificación de modelos\, el model checker NuSMV y su interacción con el SAT solver Picosat. Dichas modificaciones permitieron formar un vínculo directo entre las variables del unsat core y las variables del model checker. Esta información brindada resulta valiosa para entender en dónde residen las inconsistencias\, por lo que la propuesta de este trabajo en este aspecto consiste en tomar la información resultante de la extracción de unsat core y procesarla para identificar las variables de alto nivel involucradas en las fórmulas que hacen que un modelo legal no sea satisfacible.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-damian-mazzini/
LOCATION:http://www.youtube.com/watch?v=BYbw2ycj_QM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20210617T110000
DTEND;TZID=America/Sao_Paulo:20210617T130000
DTSTAMP:20260506T091010
CREATED:20210615T113812Z
LAST-MODIFIED:20210615T113812Z
UID:6737-1623927600-1623934800@www.dc.uba.ar
SUMMARY:Desarrollo y aplicaciones del test serológico COVIDAR
DESCRIPTION:Los invitamos a la décimo primera charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Julio Caramelo que nos hablará del desarrollo de test serológicos y varios aplicaciones del mismo. \nQuién: Dr. Julio Caramelo. Departamento de Química Biológica\, IIBBA-CONICET-FIL\nCuándo: Jueves 17 de Junio\, 11 hs.\nLink zoom: https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá:\nhttps://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA \nTítulo: Desarrollo y aplicaciones del test serológico COVIDAR \nResumen: Dentro de la Unidad Coronavirus del MINCyT un aspecto central fue el desarrollo de tests de diagnóstico moleculares y serológicos. En ese contexto\, en menos de dos meses se desarrollaron los tests de anticuerpos COVIDAR IgG y COVIDAR IgM. Esto requirió resolver varios problemas técnicos y logísticos. Al día de la fecha se produjeron y se han distribuido más de 1.5 millones de tests en forma gratuita al sistema de salud público. Los mismos han sido empleados para estudios de seroprevalencia\, detección de focos de infección y en el último tiempo para estudiar la respuesta de la vacunación con Sputnik V. Esta información ha sido de utilidad en la toma de diversas decisiones de salud pública\, y plantean una estrategia para optimizar la administración de las segundas dosis de las vacunas. En el seminario les contaré como fue el desarrollo de estas herramientas\, los desafíos que tuvimos que resolver\, y para qué han servido. \nDr. Julio Caramelo es Profesor Adjunto en el Departamento de Química Biológica e Investigador Independiente en el IIBBA-CONICET-FIL
URL:https://www.dc.uba.ar/event/desarrollo-y-aplicaciones-del-test-serologico-covidar/
LOCATION:ZOOM
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20210624T110000
DTEND;TZID=America/Sao_Paulo:20210624T130000
DTSTAMP:20260506T091010
CREATED:20210622T170345Z
LAST-MODIFIED:20210622T183536Z
UID:6748-1624532400-1624539600@www.dc.uba.ar
SUMMARY:La Humedad Relativa como posible predictor de fluctuaciones en los casos de COVID-19 en CABA
DESCRIPTION:Los invitamos a la décimo primera charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Emilio Kropff de la Fundación Leloir que nos hablará entre el vínculo de la humedad y contagios de covid. \nQuién: Dr. Emilio Kropff\, Jefe del Laboratorio de Fisiología y Algoritmos del Cerebro de la Fundación Instituto Leloir.\nCuándo: Jueves 24 de Junio\, 11 hs.\nLink zoom: https://exactas-uba.zoom.us/j/94443673957\nTambién lo podes ver en youtube acá:\nhttps://www.youtube.com/channel/UCzcbeaNQEIhOFBRBdYx1NEA \nTítulo: «La Humedad Relativa como posible predictor de fluctuaciones en los casos de COVID-19 en CABA» \nResumen: Los posibles vínculos entre la transmisión de la COVID-19 y la meteorología se han investigado comparando los casos positivos entre regiones geográficas o estaciones del año. Sin embargo\, se sabe poco sobre hasta qué punto las condiciones ambientales podrían modular la dinámica diaria de propagación en un lugar determinado. Una de las razones es que las olas de propagación individuales suelen ser demasiado abruptas\, lo que hace difícil aislar la contribución de las variables meteorológicas. En este estudio presentamos el caso de la primera ola del brote en la ciudad de Buenos Aires\, que tuvo una evolución lenta de la carga de casos\, extendiéndose a lo largo de la mayor parte de 2020. Encontramos que la humedad juega un papel prominente en la modulación de la variación de los casos positivos de COVID-19 a través de una relación lineal de pendiente negativa\, con un desfase óptimo de 9 días entre la observación meteorológica y el reporte de casos positivos. Esta relación es específica de los meses de invierno\, cuando la humedad relativa predice hasta la mitad de la varianza del recuento de casos positivos. Nuestros resultados proporcionan una herramienta para anticipar aumentos locales de casos de COVID-19 tras eventos de baja humedad. De forma más general\, se suman a la evidencia acumulada que señala al aire seco como facilitador de la transmisión de COVID-19 y otros virus respiratorios. \nEmilio Kropff es investigador adjunto del CONICET y desde el año 2019 es jefe del laboratorio de Fisiología y Algoritmos del Cerebro de la Fundación Instituto Leloir. Luego de finalizar la licenciatura en Ciencias Físicas en la Universidad de Buenos Aires\, se especializó en neurociencia\, realizando el doctorado en SISSA (Trieste\, Italia) y una estadía postdoctoral en Kavli Institute for Systems Neurosciences (Trondheim\, Noruega).
URL:https://www.dc.uba.ar/event/la-humedad-relativa-como-posible-predictor-de-fluctuaciones-en-los-casos-de-covid-19-en-caba/
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR