Título: Recuperando 'fórmulas culpables' de un lenguaje deóntico mediante el mapeo inverso de unsat cores Director: Fernando Schapachnik Jurados: Sergio Mera y Hernán Czemerinski Resumen: FormaLex es un conjunto de herramientas que tiene como objetivo modelar y analizar sistemas legales realizando de manera automatizada verificaciones de fórmulas lógicas que [...]

Título: Problema de ruteo de vehículos con ventanas de tiempo, opciones de entrega y capacidades dinámicas Directores: Juan José Miranda Bront y Gonzalo Lera Romero Jurados: Isabel Méndez-Díaz y Daniel Negrotto Resumen: El reciente crecimiento del e-commerce trae consigo un abrupto incremento en la cantidad y complejidad de los [...]

Los invitamos a la décima charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Pedro Cahn, Director Científico de la Fundación Huésped y miembro del equipo asesor del gobierno nacional en temas covid.