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:20180218T020000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0300
TZOFFSETTO:-0200
TZNAME:-02
DTSTART:20181104T030000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190213T183000
DTEND;TZID=America/Sao_Paulo:20190213T193000
DTSTAMP:20260618T144419
CREATED:20190128T140101Z
LAST-MODIFIED:20190130T135118Z
UID:4764-1550082600-1550086200@www.dc.uba.ar
SUMMARY:Charla de la Carrera
DESCRIPTION:El miércoles 13 de febrero a las 18:30 hs. nos encontraremos para nuestra clásica charla de la carrera de Computación junto con graduados y graduadas\, docentes y estudiantes de la carrera\, en el Hall del Pabellón I de Ciudad Universitaria. Será la primera del año! \n¿Te interesa saber qué hacemos? ¿Qué cosas vas a aprender? ¿Cuál es la salida laboral? Vamos a responder todas tus dudas. \nLa próxima será en marzo. ¡Vení\, que te esperamos! \nTenés varias formas de llegar: \nColectivos: líneas 28\, 33\, 34\, 37\, 42\, 45\, 107 y 160\nTren Línea Belgrano: estación Ciudad Universitaria\nSubte Línea C: hasta estación Retiro\, y luego combinación con tren Línea Belgrano
URL:https://www.dc.uba.ar/event/charla-de-la-carrera/
LOCATION:Hall de Pabellón 1
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190221T103000
DTEND;TZID=America/Sao_Paulo:20190221T113000
DTSTAMP:20260618T144419
CREATED:20190214T120838Z
LAST-MODIFIED:20190215T132514Z
UID:4785-1550745000-1550748600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pedro Rodríguez y Hernán Modrow
DESCRIPTION:Título: Traductor de formalismo System Dynamics a DEVS para modelado y simulación de sistemas híbridos.\nDirector: Rodrigo Castro\nJurado: Pablo Jacovkis. Departamento de Computación (FCEyN-UBA) y Centro Interdisciplinario de Estudios Avanzados (CIEA-UNTREF)\nViktoriya Smeshenko. Instituto Interdisciplinario de Economía Política (IIEP-CONICET/FCE-UBA) \nResumen: \nEl estudio moderno de sistemas complejos interdisciplinarios mediante modelos de simulación suele requerir expresar dinámicas híbridas (continuas y discretas). Pocas herramientas ofrecen esta capacidad\, ya que un tratamiento correcto y eficiente de interacciones entre estas dinámicas no es trivial. \nSystem Dynamics y DEVS son metodologías bien establecidas para modelado y simulación de sistemas complejos\, aunque  basadas en enfoques distintos. \nSystem Dynamics fue desarrollado por Jay Forrester en los 50s y se utiliza principalmente para modelar sistemas no lineales de tiempo continuo. Provee un fuerte sesgo hacia el modelado visual. Su enfoque sencillo e intuitivo aleja al usuario de la formulación de ecuaciones\, y ha logrado gran aceptación en disciplinas como sociología\, ecología\, economía\, procesos industriales\, administración de negocios\, etc. Matemáticamente System Dynamics produce sistemas de Ecuaciones Diferenciales Ordinarias (ODEs) no lineales\, que son material de estudio riguroso en disciplinas duras como las ingenierías o la física\, en las cuales System Dynamics ha pasado mayormente desapercibido. \nEntre otras limitaciones\, System Dynamics no es capaz de expresar correctamente la presencia de eventos discretos. \nPor su parte\, DEVS es un formalismo para simulación de sistemas dinámicos basado en eventos discretos\, desarrollado en los 70s por Bernard Zeigler. DEVS permite simular cualquier sistema discreto (a tiempo discreto o a eventos discretos) y aproximar sistemas continuos con tanta precisión como se desee. Una de sus características más fuertes es la capacidad de modelar sistemas híbridos\, es decir aquellos que combinan los paradigmas de tiempo discreto\, eventos discretos y continuo. \nPocas herramientas System Dynamics comerciales aducen proveer dicha capacidad\, pero ocultan los detalles de la resolución de las interacciones híbridas. Con sus ventajas y desventajas\, existe una cantidad masiva de conocimiento multidisciplinar capturado en forma de modelos System Dynamics acumulado durante décadas. Esto lo hace una técnica que no puede ignorarse en el abanico de opciones de modelado y simulación. Por ello\, es de un gran interés contar con la capacidad de reutilizar modelos System Dynamics para componer modelos híbridos complejos\, y proveer garantías de correctitud a la hora de la composición de dinámicas discretas con dinámicas continuas. \nEn esta tesis resolvemos este problema mediante una estrategia basada en traducción entre formalismos. \nPrimero planteamos equivalencias formales entre ambos formalismos y luego desarrollamos un traductor semi automático. Luego validamos empíricamente la correctitud del traductor para modelos típicos de la literatura\, usando el simulador Stella para System Dynamics y CD++ para DEVS. Sin embargo\, nuestra metodología es agnóstica de cualquier herramienta específica de simulación. Luego estudiamos casos en los que System Dynamics presenta problemas de correctitud en simulación\, y que luego de ser traducidos a DEVS producen los resultados esperados según las ecuaciones de partida. \nFinalmente\, atacamos un caso complejo de modelado híbrido interdisciplinario. Tomamos un modelo de macroeconomía (basado en ODEs) y otro modelo de intercambio de opinión entre votantes (basado en agentes y autómatas celulares). Aplicando el nuevo traductor interconectamos ambos modelos obteniendo un nuevo sistema híbrido de manera transparente. Completamos el estudio extendiendo el modelo para que el subsistema macroeconómico produzca shocks discretos de opinión sobre los agentes\, afectando la tendencia de las preferencias políticas en la población a largo plazo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pedro-rodriguez-y-hernan-modrow/
LOCATION:Laboratorio 4
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20190226T150000
DTEND;TZID=America/Sao_Paulo:20190226T170000
DTSTAMP:20260618T144419
CREATED:20190225T125900Z
LAST-MODIFIED:20190225T125900Z
UID:4821-1551193200-1551200400@www.dc.uba.ar
SUMMARY:Charla de Ugo de'Liguoro
DESCRIPTION:Invito a la charla que el próximo Martes 26 de Febrero a las 15 dará Ugo de’Liguoro\, profesor de la Università di Torino\, que nos visita en el marco del\ndel proyecto MSCA-RISE BehAPI.\n\n\nTítulo: Mailbox Types for Unordered Interactions\n\nAbstract: We propose a type system for reasoning on protocol conformance and deadlock freedom in networks of processes that communicate through unordered mailboxes. We model these networks in the mailbox calculus\, a mild extension of the asynchronous pi-calculus with first-class mailboxes and selective input. The calculus subsumes the actor model and allows us to analyze networks with dynamic topologies and varying number of processes possibly mixing different concurrency abstractions. Well-typed processes are deadlock free and never fail because of unexpected messages. For a non-trivial class of them\, junk freedom is also guaranteed. We illustrate the expressiveness of the calculus and of the type system by encoding instances of non-uniform\, concurrent objects\, binary sessions extended with joins and forks\, and some known actor benchmarks.
URL:https://www.dc.uba.ar/event/charla-de-ugo-deliguoro/
LOCATION:Laboratorio 4
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR