Eventos

Título: De procesos a agentes: modelos textuales para convertir logs de procesos en sistemas agénticos Director : Claudio Righetti Co-Director : Paulo Veiga Jurado . Esteban Lanzarotti , Marcelo Risk y Claudio Righetti Aula Virtual: https://meet.google.com/hys-hqwa-jsi?hs=224 Resumen: La Minería de Procesos (Process Mining) permite descubrir automáticamente modelos formales de [...]

Título: Abstracciones mediante predicados para la validación de contratos inteligentes Director: Dr. Juan Pablo Galeotti Consejero de estudios: Dr. Ricardo O. Rodriguez Jurados: Dra. Alessandra Gorla , Associate Research Professor, IMDEA Software Institute. Dr. German E. Regis, Profesor Adjunto, Universidad Nacional de Río Cuarto Dr. Renzo Degiovanni, Senior Research [...]