Differences

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

--- teaching:cc7110:2021:presentaciones [2021/12/01 19:31] – etanter
+++ teaching:cc7110:2021:presentaciones [2021/12/23 15:26] (current) – [CC7110 - Workshop Final] smalewski
@@ Line 1: / Line 1: @@
 ====== CC7110 - Workshop Final  ======
 ===Workshop===
   * el día 23 de Diciembre, se organizará un seminario donde todos tienen que participar.
   * horarios:
-      * Bloque 1: 10h-12h30
+      * Bloque 1 [10h-12h30]
+        * Enzo: Rust ([[https://drive.google.com/file/d/144_uDbXPxJPnQLogY7S5ZiI2oWFUzXDQ/view?usp=drive_web|video]])
+        * José: Ownership Types
+        * Andrés: Linear Types
+        * Cristián: Liquid Types ([[https://drive.google.com/file/d/1uFlfgIG2Hp52sFsOx6BKjAOnW0kyK-AP/view?usp=sharing|slides]])
+        * Gaspar: Types and effects
       * almuerzo juntos con los que quieren
-      * Bloque 2: 14h00-16h30
+      * Bloque 2 [14h00-16h30]
+        * Tomás V: Implicits 1 ([[https://docs.google.com/presentation/d/17llqaj5WkTHA15CWpULB7elJwDgCjqXk/edit?usp=sharing&ouid=100382086267036499345&rtpof=true&sd=true|slides]])
+        * Tomás D: Implicits 2
+        * Stefano: Gradual Types ([[https://drive.google.com/file/d/1V05KF6RC5c2u-xn1Y3jHYQ1RT80tQzmw/view?usp=sharing|slides]])
+        * Francisco: Gradual Security Typing ([[https://drive.google.com/file/d/1ujFNc8O8N7hKnHC5P2DEIyZiA5ByMPX6/view?usp=sharing|slides]])
 ===Presentaciones===
@@ Line 18: / Line 29: @@
 ===Evaluación===
   * se considerará su presentación (50%), manejo de las preguntas (25%), y su participación general en el workshop (25%)
-----
-====== Temas elegidos ======
-Los temas elegidos (en órden alfabético) son:
-  * Types and effects: Gaspar
-  * Gradual Types: Stefano
-  * Gradual Security Typing: Pancho
-  * Implicits en Coq: Tomás D.
-  * Implicits en Scala: Tomás V.
-  * Linear Types: Andrés
-  * Liquid Types: Cristian
-  * Ownership Types: José
-  * Rust: Enzo
 ----