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:20221108T093000
DTEND;TZID=America/Sao_Paulo:20221111T183000
DTSTAMP:20260416T143348
CREATED:20221102T174507Z
LAST-MODIFIED:20221102T174507Z
UID:7918-1667899800-1668191400@www.dc.uba.ar
SUMMARY:Smalltalks 2022\, la 14va conferencia libre y gratuita sobre tecnologías\, investigación y productos basados en Smalltalk.
DESCRIPTION:Desde FAST tenemos el agrado de invitarte a Smalltalks 2022 \, la 14va conferencia libre y gratuita sobre tecnologías\, investigación y productos basados en Smalltalk. \nEn esta oportunidad vamos a estar celebrando los 50 años de Smalltalk\, ¡vienen de todo el mundo a celebrar en Argentina con nuestra comunidad! \nCuándo y dónde\nEste año la conferencia se realizará del 9 al 11 de noviembre en el edificio 0 + infinito del Departamento de Computación de la Facultad de Ciencias Exactas y\nNaturales\, Universidad de Buenos Aires\, en la Ciudad Autónoma de Buenos Aires. \nParticipá\nLa asistencia es sin cargo. Podés anotarte acá. \nNos interesa que quienes asistan puedan encontrarse con distintos enfoques y temáticas en las charlas. Este año también vamos a tener charlas de las empresas que ofrecen productos comerciales desarrollados usando Smalltalk\, nos van a contar los detalles de cómo lo usan y cómo interactúan con otras tecnologías. \nInvitamos a todas las personas que estén estudiando\, investigando o tengan experiencia en la industria\, a compartir sus historias y conocimientos en los distintos lenguajes inspirados en Smalltalk\, así como también frameworks y tecnologías. \nSi desarrollaste o investigaste una arquitectura\, componente o producto\, basado en Smalltalk\, o que consideres que puede ofrecer una nueva perspectiva a los desarrolladores Smalltalk\, te invitamos a que te presentes en las charlas de este año. \nLa conferencia se desarrolla principalmente en inglés. En caso que quieras venir y dar una charla en español\, este año vamos a tener un segmento especial para hacerlo\, ¡no dejes de anotarte! \nSeguinos en Twitter (@fast_arg) y Facebook (/fastArgentina) para enterarte de las últimas novedades y anuncios.
URL:https://www.dc.uba.ar/event/smalltalks-2022-la-14va-conferencia-libre-y-gratuita-sobre-tecnologias-investigacion-y-productos-basados-en-smalltalk/
LOCATION:Aula 1403
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20221111T100000
DTEND;TZID=America/Sao_Paulo:20221111T110000
DTSTAMP:20260416T143348
CREATED:20221024T130123Z
LAST-MODIFIED:20221024T130123Z
UID:7892-1668160800-1668164400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Hernán Gabriel Gagliardi
DESCRIPTION:Título: Definición y análisis de etapas de exploración on-the-fly para síntesis de controladores del tipo non-blocking\nDirectores: Sebastian Uchitel y Sebastian Zudaire\nJurados: Nicolas  D’ippolito y Florencia Zanollo \nResumen: \nEn el área de control supervisado se busca sintetizar de forma automática un «controlador» para un «Labeled Transition System» (o LTS)\, es decir una máquina de estados finita con sus transiciones etiquetadas (particionadas en controlables y no-controlables) y algunos estados marcados\, que permite modelar formalmente un sistema de eventos discretos. Un «controlador» para un LTS es una función que dada una cadena de etiquetas restringe las etiquetas controlables posibles que pueden extenderla\, con el objetivo de satisfacer una propiedad particular\, que suele expresarse en fórmulas de lógicas como Linear Temporal Logic (LTL). \nEn trabajos previos se presentó un algoritmo para resolver este tipo de problemas para casos donde el LTS se da como la composición paralela de varios LTS’s más pequeños. El algoritmo de Directed Controller Synthesis (DCS) introduce una idea que permite explorar los automatas de forma incremental e ir componiendo solamente la parte explorada\, haciendo uso de una heurística. \nNuestro objetivo es\, por un lado\, definir y entender en profundidad las etapas que atraviesa el algoritmo (DCS) durante su ejecución y cuantificar el rendimiento de las heurísticas actuales para cada fase. \nAdemás buscamos introducir cambios a una heurística actualmente exitosa que impacte en una de las fases de ejecución cuyo rendimiento es menor en términos relativos.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-hernan-gabriel-gagliardi/
LOCATION:Aula 1301
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR