Differences

This shows you the differences between two versions of the page.

--- teaching:cc7125:2022-2 [2022/12/01 14:40] – etanter
+++ teaching:cc7125:2022-2 [2022/12/02 21:15] (current) – etanter
@@ Line 3: / Line 3: @@
 Jueves 1 de Diciembre 2022, auditorio Flajolet (3er piso poniente)
-  * [14:00-14:25] **Stefan Malewski** : Rewrite rules
+  * [14:05-14:30] **Stefan Malewski** : Rewrite rules ({{ :teaching:cc7125:1_stefan_malewski_slides.pdf |slides}})
-  * [14:25-14:50] **Bruno García** : Mechanized semantics for the Clight subset of the C language
+  * [14:30-14:55] **Bruno García** : Mechanized semantics for the Clight subset of the C language ({{ :teaching:cc7125:2_bruno_garcia_clight.key |slides}})
-  * [14:50-15:15] **Damián Arquez** : Locally nameless
+  * [14:55-15:20] **Damián Arquez** : Locally nameless representation ({{ :teaching:cc7125:3_damian_arquezlocallynameless.key |slides}})
-  * [15:15-15:25] **Pausa**
+  * [15:30-15:55] **José Romero** : Dependent types in Haskell ({{ :teaching:cc7125:4_jose_romero_presentacion-coq.key |slides}})
-  * [15:25-15:50] **José Romero** : Scala dependent types
+  * [15:55-16:20] **Ismael Correa** : Coinduction in Coq ({{ :teaching:cc7125:5_ismael_correa_presentacion_coinductivos_coq.pdf |slides}})({{ :teaching:cc7125:coinduction_ismael_correa.v |code}})
-  * [15:50-16:15] **Ismael Correa** : Coinducción
+  * [16:20-16:35] **Andrés Restrepo** : Parametricity and dependent types ({{ :teaching:cc7125:6_andres_restrepo_presentacion.pdf |slides}})
-  * [16:15-16:30] **Andrés Restrepo** : Parametricity and Dependent Types
+  * [16:35-16:55] **Tomás Vallejos** : Deriving induction principles using parametricity ({{ :teaching:cc7125:7_tomas_vallejos_deriving_induction_principles_using_parametricity.pptx |slides}})
-  * [16:30-16:50] **Tomás Vallejos** : Generación de principios de inducción en MetaCoq