Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
teaching:cc7110:2021:presentaciones [2021/12/23 13:14] – etanterteaching:cc7110:2021:presentaciones [2021/12/23 15:26] (current) – [CC7110 - Workshop Final] smalewski
Line 5: Line 5:
   * el día 23 de Diciembre, se organizará un seminario donde todos tienen que participar.    * el día 23 de Diciembre, se organizará un seminario donde todos tienen que participar. 
   * horarios:    * horarios: 
-      * Bloque 1 [10h-12h30] Rust, Ownership Types, Linear Types, Liquid Types, Types and effects+      * 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       * almuerzo juntos con los que quieren
-      * Bloque 2 [14h00-16h30] Implicits, Implicits dependientes, Gradual Types, Gradual Security Typing+      * 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=== ===Presentaciones===
Line 19: Line 29:
 ===Evaluación=== ===Evaluación===
   * se considerará su presentación (50%), manejo de las preguntas (25%), y su participación general en el workshop (25%)   * 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 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: [[https://drive.google.com/file/d/11lXMHScqCRUbFbDBHOo1fLWZYtSE_4-I/view?usp=drive_web|Enzo]] 
- 
  
 ---- ----