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:20260528T130000
DTEND;TZID=America/Sao_Paulo:20260528T140000
DTSTAMP:20260529T175706
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:20260529T175706
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