Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
teaching:cc7125:2022-2 [2022/11/30 13:13] – tdiaz | teaching:cc7125:2022-2 [2022/12/01 13:05] – etanter | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Workshop CC7125 ====== | + | ====== Workshop CC7125 |
+ | |||
+ | Jueves 1 de Diciembre 2022, auditorio Flajolet (3er piso poniente) | ||
+ | |||
+ | * [14: | ||
+ | * [14: | ||
+ | * [14: | ||
+ | * [15: | ||
+ | * [15: | ||
+ | * [15: | ||
+ | * [16: | ||
+ | * [16: | ||
- | - [14: | ||
- | - Bruno García : Mechanized semantics for the Clight subset of the C language | ||
- | - Damián Arquez : Locally nameless | ||
- | - José Romero : Scala dependent types | ||
- | - Ismael Correa : Coinducción | ||
- | - Andrés Restrepo : Parametricity and Dependent Types | ||
- | - Tomás Vallejos : Generación de principios de inducción en MetaCoq |