Título: Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica Directores: Javier Godoy, Diego Garbervetsky Jurados: Dr. Ariel Waissbein, Dr. Sebastián Uchitel Resumen: Los smart contracts son programas inmutables que se despliegan en una blockchain. Dado que a menudo manejan activos de alto valor real, su verificación […]

Título: Fragmentos de CPDL+ mediante propiedades de pathwidth Director: Santiago Figueira Co-director: Edwin Pin Jurados: Ricardo Rodríguez y Sergio Abriola Resumen: En este trabajo nos centramos en CPDL+, un lenguaje recientemente definido que extiende a PDL (Propositional Dynamic Logic), una lógica modal ya conocida y ampliamente estudiada. Sobre esta […]

Título: Inclusión léxica y sintáctica en modelos de etiquetado offline de transiciones de turno Director: Pablo Brusco Jurados: Pablo Turjanski, Lautaro Estienne Resumen En una conversación hablada entre dos personas, existe una noción implícita de manejo de turnos que permite un intercambio fluido de mensajes. Esto sucede a través […]