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:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260520T180000
DTEND;TZID=America/Sao_Paulo:20260520T190000
DTSTAMP:20260530T003531
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:20260530T003531
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
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260526T130000
DTEND;TZID=America/Sao_Paulo:20260526T140000
DTSTAMP:20260530T003531
CREATED:20260520T134020Z
LAST-MODIFIED:20260520T134020Z
UID:10616-1779800400-1779804000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Santiago Plá y Fabrizio Prida
DESCRIPTION:Tìtulo: “Un estudio experimental de la discrepancia mínima de secuencias de de Bruijn”\nDirectores: Nicolás Álvarez y Verónica Becher\nJurados:Martín Mereb y Pablo Turjanski \nResumen:\nUna secuencia de de Bruijn de orden n con dos símbolos es una secuencia circular de longitud 2^n en la que cada bloque de nn símbolos consecutivos aparece exactamente una vez. La discrepancia de bloque mide el desbalance que tiene una secuencia. Se define considerando todas las subsecuencias contiguas de cualquier longitud: para cada longitud de bloque\, se mira la diferencia entre el bloque que más aparece y el que menos aparece; luego se toma el máximo de esas diferencias entre todas las longitudes posibles. La tesis encuentra experimentalmente que\, para n ≤ 8\, la menor discrepancia alcanzable es nn\, que es el valor mínimo teórico. Además\, muestra que existen secuencias de de Bruijn con esa discrepancia mínima que admiten una descomposición en exactamente 4 ciclos disjuntos en el grafo de de Bruijn\, y que también se pueden construir a partir de dos secuencias de de Bruijn de orden menor\, ambas con discrepancia mínima.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-santiago-pla-y-fabrizio-prida/
LOCATION:Aula 1209
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260528T130000
DTEND;TZID=America/Sao_Paulo:20260528T140000
DTSTAMP:20260530T003531
CREATED:20260522T131207Z
LAST-MODIFIED:20260522T131326Z
UID:10618-1779973200-1779976800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Marco Sanchez Sorondo
DESCRIPTION:Título: De procesos a agentes: modelos textuales para convertir logs de procesos en sistemas agénticos\nDirector : Claudio Righetti Co-Director : Paulo Veiga\nJurado . Esteban Lanzarotti \, Marcelo Risk y Claudio Righetti \nAula Virtual: https://meet.google.com/hys-hqwa-jsi?hs=224 \nResumen:\nLa Minería de Procesos (Process Mining) permite descubrir automáticamente modelos formales de procesos de negocio a partir de registros de eventos (logs)\, generando representaciones como Redes de Petri o grafos de transiciones. Estas representaciones\, sin embargo\, resultan opacas para no especialistas y no son utilizables directamente como contexto operativo por sistemas agénticos basados en modelos de lenguaje (LLMs)\, perpetuando la brecha histórica entre la especificación de un proceso y su implementación. Este trabajo presenta Agentic Process Mining (APM)\, un marco que combina el descubrimiento multi-representación con síntesis por agentes basados en LLMs para producir un único modelo textual que sirve simultáneamente como documentación legible y como contexto operativo del agente que lo ejecuta. Proponemos\, además\, una evaluación de fidelidad del modelo basada en clasificación de trazas y un ciclo iterativo de refinamiento.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-marco-sanchez-sorondo/
LOCATION:Virtual
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260605T110000
DTEND;TZID=America/Sao_Paulo:20260605T130000
DTSTAMP:20260530T003531
CREATED:20260529T151927Z
LAST-MODIFIED:20260529T151927Z
UID:10640-1780657200-1780664400@www.dc.uba.ar
SUMMARY:Defensa Tesis Doctorado Javier Godoy
DESCRIPTION:Título: Abstracciones mediante predicados para la validación de contratos inteligentes \nDirector: Dr. Juan Pablo Galeotti\nConsejero de estudios: Dr. Ricardo O. Rodriguez \nJurados:\nDra. Alessandra Gorla \, Associate Research Professor\, IMDEA Software Institute.\nDr. German E. Regis\, Profesor Adjunto\, Universidad Nacional de Río Cuarto\nDr. Renzo Degiovanni\, Senior Research Scientist\, Luxembourg Institute of Science and Technology (LIST). \nLink Youtube: Se compartirá unos días antes de la defensa. \nResumen: \nLa verificación y validación de contratos inteligentes es crucial debido a la naturaleza inmutable de la blockchain\, donde los errores introducidos antes del despliegue no pueden corregirse posteriormente. Por esta razón\, han surgido numerosas empresas especializadas en la auditoría de contratos inteligentes\, y es frecuente que un mismo contrato sea auditado por múltiples equipos independientes\, lo que evidencia tanto la criticidad como la complejidad del proceso. En la práctica\, la auditoría de contratos inteligentes depende en gran medida del conocimiento y la experiencia de los auditores humanos\, y continúa siendo en gran parte un proceso manual\, a pesar de la disponibilidad creciente de herramientas automáticas y semi-automáticas. En general\, muchas de las herramientas actuales se centran en la verificación\, y requieren la especificación explícita de propiedades\, invariantes o patrones de vulnerabilidades a ser analizados. \nEsta tesis propone un enfoque basado en abstracciones por predicados para asistir la auditoría de contratos inteligentes\, específicamente en la red Ethereum\, aunque aplicable a otros entornos donde los contratos inteligentes implementan protocolos. A diferencia de otros enfoques\, la tesis se centra en la validación\, es decir\, en ayudar a los auditores a comprender si se está cumpliendo con los requerimientos del contrato. Esto se logra mediante la construcción de modelos abstractos representados como máquinas de estados finitos\, que capturan las posibles secuencias de llamadas a funciones y sus efectos en el estado del contrato. El método propuesto permite\, a partir de predicados definidos por el auditor\, generar diferentes visualizaciones del comportamiento de los contratos inteligentes. \nLos principales aportes de esta tesis incluyen: (i) la formalización de dos tipos de abstracciones por predicados (may/must) aplicadas al análisis de contratos inteligentes; (ii) técnicas de refinamiento de transiciones y estados que permiten focalizar el análisis en escenarios específicos de interés; (iii) la incorporación de estados transitorios para capturar comportamientos intermedios relevantes\, como aquellos asociados a vulnerabilidades de reentrada; (iv) la implementación de las técnicas propuestas en dos prototipos funcionales\, uno basado en Alloy y otro en un verificador formal; y (v) una evaluación empírica de las abstracciones mediante benchmarks establecidos y estudios con auditores experimentados. \nLos resultados obtenidos muestran que los modelos abstractos generados a partir de predicados permiten identificar defectos y patrones no detectados por herramientas existentes. Además\, la evaluación aporta evidencia de que las abstracciones propuestas facilitan la comprensión del comportamiento de los contratos inteligentes por parte de los auditores.
URL:https://www.dc.uba.ar/event/defensa-tesis-doctorado-javier-godoy/
LOCATION:Aula 1402
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR