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:16] – tdiaz | teaching:cc7125:2022-2 [2022/12/01 13:05] – etanter |
---|
====== Workshop CC7125 ====== | ====== 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 |
| |
- [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 | |