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/20 00:15] – etanter | teaching:cc71y:2014-2:miniconf [2014/11/20 00:52] (current) – etanter | ||
|---|---|---|---|
| Line 8: | Line 8: | ||
| 14:00-15:00 **Session 1** | 14:00-15:00 **Session 1** | ||
| - | * Raimil: Ownership Types (P: | + | * 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-15:15 //Coffee Break// | 15:00-15:15 //Coffee Break// | ||
| 15:15-16:15 **Session 2** | 15:15-16:15 **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-16:30 //Coffee Break// | 16:15-16:30 //Coffee Break// | ||
| 16:30-17:30 **Session 3** | 16:30-17:30 **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 |
| **Note**: the schedule includes 30 minutes unplanned, for supporting spontaneous discussions, | **Note**: the schedule includes 30 minutes unplanned, for supporting spontaneous discussions, | ||
| - | * P = Proponent: clarifying questions, identifying potential, new venues, research opportunities, | + | [[teaching:cc71y:2014-2: |
| - | * O = Opponent: tricky questions, identifying limitations, | + | |