Workshop CC7125 - 2022

Jueves 1 de Diciembre 2022, auditorio Flajolet (3er piso poniente)

• [14:00-14:25] Stefan Malewski : Rewrite rules
• [14:25-14:50] Bruno García : Mechanized semantics for the Clight subset of the C language
• [14:50-15:15] Damián Arquez : Locally nameless
• [15:15-15:25] Pausa
• [15:25-15:50] José Romero : Scala dependent types
• [15:50-16:15] Ismael Correa : Coinducción
• [16:15-16:30] Andrés Restrepo : Parametricity and Dependent Types
• [16:30-16:50] Tomás Vallejos : Generación de principios de inducción en MetaCoq