Differences

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

Link to this comparison view

Next revision		Previous revision
teaching:cc71y:2014-2:miniconf [2014/11/19 23:47] – created etanterteaching:cc71y:2014-2:miniconf [2014/11/20 00:52] (current) – etanter
Line 5: Line 5:
 ===== Programa ===== ===== Programa =====
  
-**Session 1 --- Advanced Types** +13:50-14:00 **Welcome**
-  - Raimil: Ownership Types +
-  - Alonso: A Type System for Differential Privacy +
-  - Joffre: Deep Typechecking for Multi-Language Frameworks+
  
-**Session 2 --- Dependent Types and Certified Programming** +14:00-15:00 **Session 1** 
-  - Rosario: CompCert: A Certified C Compiler +  * Raimil: Ownership Types 
-  - Felipe: Liquid Types for Haskell +  * Alonso: A Type System for Differential Privacy 
-  - Nicolas: Dependent Types for JavaScript+  * Joffre: Deep Typechecking for Multi-Language Frameworks
  
-**Session 3** +15:00-15:15 //Coffee Break//
-  - Juraj: Type Inference for Smalltalk +
-  - Juan Pablo: Dynamic Taint Analysis for Security +
-  - Alejandro: A Core Calculus of Metaclasses+
  
 +15:15-16:15 **Session 2**
 +  * Rosario: CompCert: A Certified C Compiler
 +  * Felipe: Liquid Types for Haskell
 +  * Nicolas: Dependent Types for JavaScript
 +
 +16:15-16:30 //Coffee Break//
 +
 +16:30-17:30 **Session 3**
 +  * Juraj: Type Inference for Smalltalk 
 +  * Juan Pablo: Dynamic Taint Analysis for Security
 +  * Alejandro: A Core Calculus of Metaclasses
 +
 +
 +**Note**: the schedule includes 30 minutes unplanned, for supporting spontaneous discussions, wrap-up, etc.
 +
 +[[teaching:cc71y:2014-2:miniconf:speakers|Instrucciones detalladas para charlistas]]