Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| teaching:cc71y:2014-2:miniconf [2014/11/19 19:51] – etanter | teaching:cc71y:2014-2:miniconf [2014/11/19 20:52] (current) – etanter | ||
|---|---|---|---|
| Line 5: | Line 5: | ||
| ===== Programa ===== | ===== Programa ===== | ||
| - | 13:50 - Welcome | + | 13:50-14:00 **Welcome** |
| - | 14:00 | + | 14:00-15: |
| - | **Session 1** | + | |
| * Raimil: Ownership Types | * Raimil: Ownership Types | ||
| * Alonso: A Type System for Differential Privacy | * Alonso: A Type System for Differential Privacy | ||
| * Joffre: Deep Typechecking for Multi-Language Frameworks | * Joffre: Deep Typechecking for Multi-Language Frameworks | ||
| - | 15:00 | ||
| - | Coffee Break | + | 15:00-15:15 //Coffee Break// |
| - | 15:15 | + | 15:15-16: |
| - | **Session 2** | + | |
| * Rosario: CompCert: A Certified C Compiler | * Rosario: CompCert: A Certified C Compiler | ||
| * Felipe: Liquid Types for Haskell | * Felipe: Liquid Types for Haskell | ||
| * Nicolas: Dependent Types for JavaScript | * Nicolas: Dependent Types for JavaScript | ||
| - | 16:15 | ||
| - | Coffee Break | + | 16:15-16:30 //Coffee Break// |
| - | 16:30 | + | 16:30-17: |
| - | **Session 3** | + | * Juraj: Type Inference for Smalltalk |
| - | * Juraj: Type Inference for Smalltalk | + | |
| * Juan Pablo: Dynamic Taint Analysis for Security | * Juan Pablo: Dynamic Taint Analysis for Security | ||
| * Alejandro: A Core Calculus of Metaclasses | * Alejandro: A Core Calculus of Metaclasses | ||
| - | 17:30 | ||
| - | (the schedule includes 30 minutes unplanned, for supporting discussions, | + | |
| + | **Note**: | ||
| + | |||
| + | [[teaching: | ||