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:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260416T100000
DTEND;TZID=America/Sao_Paulo:20260416T110000
DTSTAMP:20260518T050610
CREATED:20260410T121425Z
LAST-MODIFIED:20260415T143749Z
UID:10569-1776333600-1776337200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Numa Grinberg
DESCRIPTION:Tìtulo: «Propiedades lógicas de estructuras aleatorias» \nDirector: Sergio Abriola\n\nJurados: Inés Armendariz y Santiago Figueira\n\nResumen:\nLa ley 0-1 de Fagin establece que\, para toda propiedad P expresable en la lógica de primer orden de grafos\, la probabilidad de que un grafo aleatorio cumpla P tiende a 0 o a 1. En este trabajo exploraremos variaciones y generalizaciones del anterior resultado\, con énfasis en versiones efectivas\, es decir\, con cotas en la velocidad de convergencia y la complejidad del problema de decisión asociado.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-numa-grinberg/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260430T100000
DTEND;TZID=America/Sao_Paulo:20260430T110000
DTSTAMP:20260518T050610
CREATED:20260421T132442Z
LAST-MODIFIED:20260421T132442Z
UID:10580-1777543200-1777546800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Julia Zanette
DESCRIPTION:Título: «Demostraciones de una proposición como puntos fijos de un operador idempotente»\nDirector: Dr. Pablo Barenbaum\nJurado:\n– Dr. Santiago Figueira\n– Dr. Alejandro Petrovich \nResumen:\nEn este trabajo exploramos una idea de Dana Scott\, de acuerdo con la cual es posible interpretar a cada proposición lógica como un operador idempotente y a cada demostracion como un punto fijo del correspondiente operador. Usamos una extensión del cálculo-lambda sin tipos como lenguaje para expresar a los operadores y a sus argumentos. Estudiamos esta interpretación primero en el marco de la lógica minimal: demostramos que es correcta e identificamos restricciones adicionales para que resulte ser completa. Extendemos además los resultados al marco de la lógica intuicionista de segundo orden.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-julia-zanette/
LOCATION:Aula 1208
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260506T100000
DTEND;TZID=America/Sao_Paulo:20260506T110000
DTSTAMP:20260518T050610
CREATED:20260504T132806Z
LAST-MODIFIED:20260504T133035Z
UID:10590-1778061600-1778065200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Agustín Penas
DESCRIPTION:Título: Eye-tracking remoto: Detección automática de eventos y mejoras en la performance\nDirector: Juan Kamienkowski\nCo-Director: Gustavo Juantorena \nJurados:\nJoaquín Navajas\nIair Embon \nResumen:\nEl eye tracking basado en tecnologías web abre nuevas oportunidades para la investigación y el desarrollo de aplicaciones en áreas como la educación\, la neurociencia y la interacción humano-computadora\, al eliminar la necesidad de hardware especializado y reducir costos. WebGazer\, una de las bibliotecas más reconocidas en este ámbito\, permite realizar estudios de eye tracking directamente desde el navegador utilizando cámaras web estándar. Sin embargo\, su uso enfrenta limitaciones significativas relacionadas con la calibración\, la pérdida de precisión en condiciones dinámicas y rendimiento computacional. En este trabajo se presentan mejoras integradas a WebGazer enfocadas en tres áreas críticas: la detección de parpadeos\, la estimación continua de distancia a la pantalla sin intervención del usuario y la detección de movimientos de la cabeza. Estas mejoras abordan problemas comunes en escenarios reales\, como los cambios en la postura del usuario\, variaciones en la iluminación y degradación de la precisión durante sesiones prolongadas. Avances en esta dirección permitirían adquirir datos más estables y confiables\, facilitando la validación de nuevas hipótesis\, el desarrollo de aplicaciones más robustas y el acceso a poblaciones previamente excluidas de este tipo de estudios. \n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-agustin-penas/
LOCATION:Aula 1115
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260508T120000
DTEND;TZID=America/Sao_Paulo:20260508T130000
DTSTAMP:20260518T050610
CREATED:20260504T130643Z
LAST-MODIFIED:20260504T130643Z
UID:10587-1778241600-1778245200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Germán Pellejero
DESCRIPTION:Título: Optimización de Red de Recarga de Agua Gratis de Puerto Escondido\nDirector: Faillace Mullen Nazareno\nJurados: Bonomo Flavia (DC e ICC)\, Durán Guillermo (DM e IC) y Faillace Mullen Nazareno (IC)\n\nResumen:\nEn el presente trabajo se estudia el desempeño de dos modelos clásicos de localización\nde instalaciones\, el Maximal Covering Location Problem (MCLP) y el Capacitated Facility\nLocation Problem (CFLP)\, aplicados al diseño óptimo de la red de estaciones de recarga de\nagua en Puerto Escondido\, Oaxaca\, México. Dado que ambos problemas pertenecen a la clase de problemas NP-hard\, su resolución eficiente en instancias de tamaño realista constituye un desafío computacional relevante.\n\nPara el MCLP se desarrollaron dos enfoques de resolución: un modelo exacto formulado como Programación Lineal Entera y un enfoque heurístico que combina una etapa de generación de soluciones iniciales mediante el algoritmo K-Means con procedimientos iterativos de mejora basados en operadores de destrucción y construcción.\n\nEn el caso del CFLP\, se implementó un modelo exacto de Programación Lineal Entera y una heurística híbrida basada en el algoritmo Artificial Bee Colony y en operadores inspirados en algoritmos genéticos\, tomando como referencia desarrollos recientes para variantes del CFLP. \n\nSe realizó una comparación sistemática entre los métodos exactos y heurísticos para\ndistintos escenarios de cantidad de estaciones a instalar en Puerto Escondido. En conjunto\, los resultados obtenidos evidencian la efectividad de los enfoques heurísticos desarrollados y confirman su aplicabilidad práctica en problemas de localización de infraestructura urbana de gran escala.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-german-pellejero/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260515T100000
DTEND;TZID=America/Sao_Paulo:20260515T110000
DTSTAMP:20260518T050610
CREATED:20260508T152534Z
LAST-MODIFIED:20260508T152534Z
UID:10605-1778839200-1778842800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martín Amster
DESCRIPTION:Título: El Vínculo entre Entropía Generativa\, Autoevaluación y Correctitud en el uso de LLMs para Métodos Formales\nDirector: Victor Braberman\nJurados: Luciano del Corro y Sebastian Uchitel \nResumen:\nLos LLMs han demostrado grandes capacidades en la generación de código; sin embargo\, su fiabilidad en tareas de razonamiento formal y verificación sigue siendo un desafío abierto. Este trabajo investiga la relación entre la incertidumbre interna del modelo (cuantificada a través de la entropía semántica) y la correctitud de sus salidas dentro del dominio de los métodos formales.\nEvaluamos este vínculo a través de dos tareas estructuralmente distintas: (1) una tarea de auto-formalización que extrae especificaciones (pre/postcondiciones) y (2) una tarea de síntesis de invariantes de bucle\, verificada formalmente mediante Dafny. Si bien una alta concentración semántica se consolida como un predictor estadísticamente significativo de correctitud en ambos dominios\, nuestros hallazgos revelan una asimetría crucial en la tarea de invariantes\, dado que la baja concentración ya no se correlaciona directamente con la incorrección.\nAdemás\, exploramos las capacidades de autoevaluación del modelo contrastando su desempeño como generador frente a su rol como juez. Los resultados revelan un sesgo de origen: a medida que aumenta la complejidad de la tarea\, el modelo evalúa con mayor fiabilidad sus propias generaciones que las especificaciones correctas escritas por humanos. Finalmente\, analizamos cómo interactúan la concentración semántica y la autoevaluación como variables predictoras conjuntas de la correctitud\, mostrando que ambas señales son complementarias y que su combinación supera el uso de cualquiera de las dos de forma aislada.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-amster/
LOCATION:Aula 1301
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260520T180000
DTEND;TZID=America/Sao_Paulo:20260520T190000
DTSTAMP:20260518T050610
CREATED:20260515T142159Z
LAST-MODIFIED:20260515T142159Z
UID:10611-1779300000-1779303600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Martín Sztajn
DESCRIPTION:Título: KE tableaux para lógicas intuicionistas modales\nDirectores: Alejandro Solares Rojas y Ricardo O. Rodriguez\nJurados: Edwin Pin y Lourdes del Carmen González Huesca. \nResumen:\nEl sistema KE es una variante de los tableaux analíticos para lógica clásica proposicional. El mismo ha sido extendido recientemente como cálculo para la lógica intuicionista proposicional. En esta tesis vamos incorporar operadores modales y se dará cuenta de demostradores de teoremas eficientes para distintas lógicas modales.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-martin-sztajn/
LOCATION:Sala 2103
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260521T150000
DTEND;TZID=America/Sao_Paulo:20260521T160000
DTSTAMP:20260518T050610
CREATED:20260515T142353Z
LAST-MODIFIED:20260515T142353Z
UID:10613-1779375600-1779379200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Sebastian Cantini Budden
DESCRIPTION:Título : Procesamiento del lenguaje durante la lectura y los impactos de la fatiga\nDirectores: Bruno Bianchi y Fermín Travi\nJurado: Gustavo Juantorena y Rodrigo Laje \nResumen :\nA pesar de no darnos cuenta\, durante la lectura\, los ojos se mueven de forma compleja. Este movimiento no es tan simple como un movimiento continuo y secuencial de izquierda a derecha\, sino que los ojos se mueven realizando pequeños saltos\, con pequeñas pausas en el medio\, salteando palabras\, y\, cada tanto\, volviendo a leer palabras ya leídas. Los patrones resultantes de estos movimientos oculares no son esporádicos\, sino que reflejan los procesos cognitivos subyacentes a la lectura. La presente tesis investiga el procesamiento del lenguaje y cómo la fatiga cognitiva impacta sobre él\, a través del análisis de los movimientos oculares durante la lectura. Se realizó un análisis exploratorio de los movimientos oculares de 76 participantes hispanohablantes que leyeron hasta 20 historias cortas en español\, sobre los cuales se registraron métricas como la duración de la primera fijación\, el tiempo de lectura de primera pasada y las palabras salteadas. La metodología de análisis utilizada consiste en modelos lineales mixtos para examinar cómo variables léxicas (longitud y frecuencia de la palabra)\, de posicionamiento (índice en el texto\, oración y pantalla) y la tasa de regresión predicen los patrones de lectura. La fatiga se estimó mediante un puntaje compuesto por dos componentes: las horas de sueño en la noche anterior y el tiempo transcurrido desde el despertar. Adicionalmente\, se diseñó un experimento web complementario para estimar la predictibilidad léxica de cada palabra mediante una tarea tipo cloze\, donde los participantes debían completar palabras faltantes basándose en el contexto previo. \nLos hallazgos de este estudio corroboran el impacto de las variables léxicas y de la posición de las palabras\, en consonancia con la literatura previa. Asimismo\, al incorporar la fatiga en el análisis\, se observaron cambios en la relevancia de algunos predictores y surgieron interacciones significativas: la fatiga modificó la estructura óptima de los modelos\, alterando la importancia de la posición de la palabra en el texto para la duración de la primera fijación e impactando de manera diferencial la longitud y frecuencia de la palabra en el tiempo de lectura de primera pasada. Además\, se observó un incremento en la tasa de regresión asociado a mayor fatiga\, consistente con la reducción de capacidad de retención reportada en la literatura. Estos resultados evidencian un problema habitualmente ignorado en el campo: las métricas oculares dependen parcialmente del nivel de cansancio de los sujetos\, lo cual constituye una posible fuente de variación que podría llevar a atribuir erróneamente los resultados a otros factores. Por consiguiente\, resulta fundamental incorporar variables circadianas en los estudios cognitivos del lenguaje.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-sebastian-cantini-budden/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR