This is an old revision of the document!
Workshop CC7125 - 2022
Jueves 1 de Diciembre 2022, auditorio Flajolet (3er piso poniente)
- [14:05-14:30] Stefan Malewski : Rewrite rules
- [14:30-14:55] Bruno García : Mechanized semantics for the Clight subset of the C language
- [14:55-15:20] Damián Arquez : Locally nameless
- [15:20-15:30] Pausa
- [15:30-15:55] José Romero : Scala dependent types
- [15:55-16:20] Ismael Correa : Coinducción
- [16:20-16:35] Andrés Restrepo : Parametricity and Dependent Types
- [16:35-16:55] Tomás Vallejos : Generación de principios de inducción en MetaCoq