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:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230803T083000
DTEND;TZID=America/Sao_Paulo:20230803T093000
DTSTAMP:20260408T181141
CREATED:20230731T163139Z
LAST-MODIFIED:20230731T163139Z
UID:8505-1691051400-1691055000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás Tallar
DESCRIPTION:Título: «La mayoría sigue sin ser suficiente»\nDirector: Esteban Mocskos\nJurados: Laura Tardivo y Jesús Carretero \nSerá transmitida por youtube en https://youtube.com/live/o7BxyWpAk7s?feature=share \nResumen\n=======\nLas criptomonedas son activos digitales que son mantenidos por la colaboración entre los participantes de una red\, denominados nodos.\nBitcoin es el principal exponente de esta tecnología en cuanto a adopción y referencia como paradigma de ser un activo digital.\nSu principal atractivo\, y en general de las criptomonedas\, es que no está controlada por una entidad central\, sino que es un sistema distribuido.\nLa base de la seguridad de esta descentralización son los protocolos ejecutados por miles de nodos para consensuar la historia transaccional. \nEl almacenamiento de los datos se sustenta en la blockchain\, una estructura de datos distribuida que se valida por todos los nodos de la red y construida por algunos de estos\, los mineros. Los mineros compiten\nentre sí mediante un puzzle computacional para añadir transacciones a la blockchain\, recibiendo a cambio de su participación una recompensa económica. A partir de la blockchain se puede derivar el ledger\, el libro de cuentas indicando qué transacciones se realizaron y cuánto de la criptomoneda tiene cada usuario. \nAl tratarse de una red de máquinas\, cada nodo puede poseer una visión distinta del ledger\, pero mediante protocolos comparten y unifican la información de manera de tender a una misma visión del sistema.\nUna de las hipótesis que se realizan respecto de estos protocolos descentralizados es que incentivan un comportamiento cooperativo entre los mineros: que su mejor estrategia es compartir inmediatamente toda información nueva que produzcan ellos mismos u obtengan de otros nodos. Sin embargo\, aparecieron en la literatura algunos trabajos cuestionando que esta suposición sea verdadera para el caso de Bitcoin y presentaron distintas estrategias de comportamiento más económicamente atractivas que un comportamiento cooperativo. La primera estrategia desarrollada y la más investigada al momento es el selfish mining. \nA diferencia de la estrategia cooperativa\, ésta se basa en administrar con astucia la información disponible de la blockchain\, reteniendo gran parte para ser su único conocedor\, y así tener ventaja en la competencia\npor añadirle transacciones. \nLos trabajos mencionados se centran en analizar de forma teórica esta estrategia de minado y otras variantes. En esta tesis\, nos centramos en el análisis del ataque de selfish mining pero\, a diferencia de los\ntrabajos de la literatura\, lo hacemos desde el punto de vista operacional: utilizamos una herramienta de simulación que permite acercanos al comportamiento real de Bitcoin para evaluar este ataque. La herramienta de simulación fue desarrollada usando SimGrid\, lo que nos permite estudiar escenarios de gran escala y tener la seguridad de estar utilizando una herramienta con una fuerte adopción en la comunidad de\nsimulación. Para nuestra experimentación\, comenzamos estudiando escenarios controlados de baja escala\, cuyos resultados fueron utilizados para verificar el comportamiento del atacante y el resto de los nodos. \nLuego\, gracias a la escalabilidad de SimGrid\, realizamos simulaciones a gran escala cercanas a Bitcoin: utilizamos topologías de 10000 nodos respetando el tamaño y las propiedades de su red actual.\nLa primera de las conclusiones a las que llegamos es que\, en los experimentos de topologías chicas\, los resultados obtenidos en la práctica fueron efectivamente los esperados de acuerdo a la literatura. Por otro lado\, para los experimentos a gran escala se observó que realizar el ataque es más rentable que no hacerlo\, pero no pudimos concluir si es tan rentable como lo predicho teóricamente\, ya que no existen actualmente herramientas para realizar dichas predicciones en sistemas similares al real. Como alternativa\, se presentó un estimador de la rentabilidad del atacante en base a propiedades del grafo surgido a partir de las conexiones entre nodos. Transversalmente\, exploramos el funcionamiento del ataque realizando un análisis del uso de los recursos de todos los mineros de la red. Esto puso en evidencia una fuente adicional de ineficiencia del sistema cuando el ataque está activo.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-tallar/
LOCATION:Virtual
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230803T100000
DTEND;TZID=America/Sao_Paulo:20230803T110000
DTSTAMP:20260408T181141
CREATED:20230727T164924Z
LAST-MODIFIED:20230728T135817Z
UID:8493-1691056800-1691060400@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Nicolás San Martín
DESCRIPTION:Título:\n    Operador de medición en un cálculo lambda con control cuántico.\nDirectores:\n    Alejandro Díaz-Caro\n    Pablo E. Martínez López\nJurados:\n    Pablo Barenbaum\n    Hernán Melgratti\n    Rafael Romero\n\nResumen:\nEn los últimos años\, se han desarrollado distintas extensiones al cálculo lambda buscando lenguajes de programación cuánticos siguiendo el modelo de «control cuántico». Este modelo\, a diferencia del de «control clásico»\, describe las operaciones cuánticas de manera explícita\, incorporando conceptos de la computación cuántica como el de las superposiciones al cálculo. Ejemplos de tales lenguajes son Lambda-S y Lambda-S₁. El primero enfocado principalmente en incorporar la medición cuántica a los cálculos anteriores\, donde todas las operaciones son lineales. El segundo asegura que las superposiciones se mantienen en la esfera de módulo 1 haciendo que las operaciones sean isometrías\, lo que es también un requisito para la computación cuántica. En esta tesis se define Lambda-S₁π\, que es un cálculo que preserva la norma de las superposiciones\, asegura que las operaciones son isometrías\, y a la vez incorpora la medición cuántica. Se define el lenguaje\, se prueban las propiedades de subject reduction\, progreso\, preservación de la norma y un resultado de expresividad.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-nicolas-san-martin/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230804T143000
DTEND;TZID=America/Sao_Paulo:20230804T153000
DTSTAMP:20260408T181141
CREATED:20230731T132656Z
LAST-MODIFIED:20230731T132656Z
UID:8503-1691159400-1691163000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Florencia De Arca
DESCRIPTION:Título: Natación Máster: Optimización de relevos mediante programación lineal entera\nDirector: Javier Marenco\nJurados: Dra. Flavia Bonomo y Dr. Guillermo Durán \nResumen: \nLa natación máster es un programa de natación organizado por clubs o federaciones\, para adultos. Esta modalidad de natación está orientada a aquellos que dejaron de competir por su edad o bien a personas que se acercan al deporte sin haber competido previamente. La natación máster cuenta con pruebas individuales y grupales. En las pruebas individuales\, cada persona compite contra otras de su misma categoría (en un rango de 5 años). En las pruebas grupales\, llamadas «relevos»\, cualesquiera cuatro personas pueden formar un relevo\, y la categoría a la cual pertenecerán estará dada por la suma de las edades de los participantes. \nDebido a las reglas de formación\, armar los relevos en natación máster es mucho más complejo que para natación profesional o en natación de menores\, en las cuales los deportistas compiten contra personas de su mismo rango etario. En esta tesis se busca optimizar el armado de relevos en natación máster\, con el objetivo de hacer más sencillo el trabajo del entrenador. Habitualmente\, el entrenador hace este trabajo a mano\, teniendo los tiempos de cada nadador en una planilla. \nEn esta tesis se presentan modelos de programación lineal entera para resolver este problema\, y se implementa un esquema para presentar los resultados en forma cómoda para el entrenador. Se aplican estos modelos a datos de un club de la Ciudad de Buenos Aires\, se analizan los resultados obtenidos y se reportan las reacciones de los usuarios.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-florencia-de-arca/
LOCATION:Aula 1203
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230807T100000
DTEND;TZID=America/Sao_Paulo:20230807T110000
DTSTAMP:20260408T181141
CREATED:20230802T125648Z
LAST-MODIFIED:20230802T125750Z
UID:8518-1691402400-1691406000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Alejandro Ferrante
DESCRIPTION:Título: WoBlocks: programación orientada a objetos con bloques\nDirector: Matías Lopez-Rosenfeld\nCo-Director: Alfredo Sanzo\nColaborador: Nahuel Palumbo\nJurados: Cyntia Bonomi\, Gustavo del Dago\, Carla Griggio \nResumen: \nLa expansión tecnológica de las últimas décadas\, junto con el aumento de su potencia y alcance han transformado el mundo.\nLa penetración de las computadoras en cada vez más ámbitos y tareas transformó la necesidad de aprender a utilizarlas en algo indispensable.\nEn ese sentido\, entender qué sucede dentro de las computadoras nos permitirá interactuar de mejor manera con este mundo. En este trabajo nos centramos en el aprendizaje de la programación. Esta es una tarea difícil en diferentes niveles\, y hemos tomado en consideración las propuestas existentes para formular una propia que constituya un avance en el área.La presente propuesta se materializa en el desarrollo de una herramienta educativa para la enseñanza de la programación basada en bloques bajo el paradigma de la programación orientada a objetos a través del desarrollo de videojuegos para nivel universitario: WoBlocks\nLa propuesta se basa en la experiencia y didáctica del lenguaje Wollok. Buscando tener una cantidad minimal de bloques donde cada uno ilustre un concepto fundamental del paradigma.\nSe reportan la evolución de la herramienta en sus versiones preliminares hasta llegar al resultado final.\nSe realizó una prueba piloto dónde los usuarios lograron resolver el desafío propuesto y reportaron su experiencia como usuarios.\nPor último\, se incluyen reflexiones y desafíos futuros a abordar para que WoBlocks siga creciendo y pueda ser utilizado en un contexto áulico.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-alejandro-ferrante/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230810T110000
DTEND;TZID=America/Sao_Paulo:20230810T120000
DTSTAMP:20260408T181141
CREATED:20230802T171649Z
LAST-MODIFIED:20230809T134609Z
UID:8523-1691665200-1691668800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Jessica Singer
DESCRIPTION:Título: Un estudio poliedral del problema de coloreo de máximo impacto en hipergrafos\nDirector: Javier Marenco\nJurados: Dra. Isabel Méndez Díaz y Dra. Paula Zabala \nResumen: \nDados un grafo G = (V\, E)\, un hipergrafo H = (V\, EH) sobre el mismo conjunto de vértices y un conjunto C de colores\, el problema de coloreo de m+aximo impacto en hipergrafos consiste en hallar un coloreo factible de G que\nmaximice la cantidad de hiperaristas de H que se asignan al mismo color. \nEste problema surge en el contexto de asignación de aulas a clases\, donde V es el conjunto de clases semanales de una institución educativa\, C son las aulas de la misma\, y las aristas del grafo H conectan a las clases de una misma asignatura. En este sentido\, una particularidad que intentaremos modelar será la preferencia por asignar a todas las clases de una misma asignatura\, una misma aula. Sin embargo\, habrá que tomar en cuenta los casos donde esto no será posible por superposiciones horarias. \nPara este problema\, analizamos dos modelos de programación lineal entera\, concluyendo que uno de ellos muestra una ejecución más veloz en la práctica. Utilizando el modelo ganador\, hacemos un estudio del poliedro inducido por las soluciones factibles de éste\, calculando su dimensión y buscando desigualdades válidas y facetas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-jessica-singer/
LOCATION:Aula 1208
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230817T170000
DTEND;TZID=America/Sao_Paulo:20230817T180000
DTSTAMP:20260408T181141
CREATED:20230817T130644Z
LAST-MODIFIED:20230817T134241Z
UID:8548-1692291600-1692295200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Santiago Nahmod
DESCRIPTION:Título: MODELO PREDICTIVO DE AJEDREZ CON APRENDIZAJE PROFUNDO SOBRE TRANSFORMERS\n\nDirector: Julio C. Jacobo\nJurados: Enrique Segura y Ernesto Mislej.\n\n\nResumen:\nEl juego de Ajedrez\, además de ser un desafı́o intelectual incluso para los mejores jugadores\, también plantea un problema de gran interés para las Ciencias de la Compu tación por su enorme complejidad combinatoria en la cantidad de partidas posibles.\nEn esta tesis se propone un modelo predictivo de jugadas de ajedrez utilizando una arquitectura basada en transformers\, una técnica de aprendizaje profundo que ha demostrado excelentes resultados en la tarea de modelado de lenguaje natural. El modelo fue entrenado con cientos de miles de partidas de ajedrez en formato PGN\, lo que permitió capturar patrones y estrategias comunes en el juego.\nLos resultados obtenidos muestran que el modelo es capaz de jugar largas partidas de ajedrez sin producir una gran cantidad de jugadas ilegales. Pero sin embargo\, se concluye que el modelo todavía es inferior a los mejores motores de ajedrez como Stockfish.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-santiago-nahmod/
LOCATION:Aula 1204
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230818T093000
DTEND;TZID=America/Sao_Paulo:20230818T120000
DTSTAMP:20260408T181141
CREATED:20230816T170039Z
LAST-MODIFIED:20230816T170039Z
UID:8545-1692351000-1692360000@www.dc.uba.ar
SUMMARY:Ateneo sobre Seguridad y Protección de Datos
DESCRIPTION:Las infraestructuras críticas del Estado involucran un gran caudal de datos que requieren de políticas permanentes y sostenibles. \nPara profundizar el debate el próximo viernes 18/8 tendremos la posibilidad de dialogar con lxs protagonistas de estos desafíos en nuestro ciclo de Ateneos CID.\n\nQueremos convocar a las respectivas comunidades de la FCEyN a nuestro Ateneo sobre «Seguridad y Protección de Datos»\, que tendrá lugar este viernes 18/8 a las 9h30 en el auditorio #1401 del Pab. Cero+Infinito.\n\n\nAteneo CID de Agosto\n🏷 Seguridad y Protección de Datos\n🗓 viernes 18 de Agosto\n📍Auditorio 1401 Pab. Cero+Infinito\n⏰9:30 a 12 hs.\n🗣Panelistas: Fabián Ricciardi\, Mariano Kabakian y Micaela Gutiérrez /Dirección Nac. de Migraciones\, Diego A. Castro /Gerente de Sistemas de Nación Servicios y sistema SUBE y Benjamín Depaula /exDirector de VU Security y experto en Ciberdefensa\n📢Convocatoria abierta a toda la comunidad de FCEN y al público en general para poner sobre la mesa tópicos como anonimización y datos personales\, normativa\, y Ciberseguridad.\n\nEl ateneo es de acceso libre y gratuito\, presencial y con capacidad limitada por lo que se requiere registro previo en este link: https://forms.gle/ZNofXaBxh5CZTb7y5
URL:https://www.dc.uba.ar/event/ateneo-sobre-seguridad-y-proteccion-de-datos/
LOCATION:Aula 1401
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230823T140000
DTEND;TZID=America/Sao_Paulo:20230823T150000
DTSTAMP:20260408T181141
CREATED:20230823T130903Z
LAST-MODIFIED:20230823T130903Z
UID:8555-1692799200-1692802800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Edén Torres
DESCRIPTION:Título: Generador de abstracciones para Smart Contracts\nDirector: Sebastián Uchitel\nCo-director: Javier Godoy\nJurados: Dr. Ariel Waissbein y Dr. Victor Braberman\n\nResumen:\n\nVamos a abordar la problemática de validar y verificar la corrección de los contratos inteligentes\, programas que se ejecutan en una blockchain y pueden manejar recursos de alto valor. Debido a la falta de especificaciones claras del comportamiento esperado y al entorno de ejecución concurrente en el que funcionan\, validar la corrección de estos contratos es una tarea compleja. Una manera de facilitar la comprensión del comportamiento de los contratos es construyendo máquinas de estado\, pero esta técnica se realiza de manera manual y requiere la traducción del código a un lenguaje de modelado. Por lo tanto\, se propone desarrollar una herramienta capaz de construir automáticamente abstracciones para contratos inteligentes para la red Ethereum utilizando ideas similares a las de un estudio anterior y utilizando un analizador estático de programas Solidity. Para esto\, se utilizará VeriSol\, una herramienta de análisis estático desarrollada por Microsoft Research que verifica la correctitud de las aserciones en un contrato dado.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-eden-torres/
LOCATION:Aula 1208
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR