Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
teaching:cc71y:2014-2:miniconf [2014/11/19 19:51] – etanter | teaching:cc71y:2014-2:miniconf [2014/11/19 20:46] – 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 (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 | + | |
- | 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 | + | |
+ | **Note**: the schedule includes | ||
+ | |||
+ | ** Roles ** | ||
+ | * P = Proponent: clarifying questions, identifying potential, new venues, research opportunities, | ||
+ | * O = Opponent: tricky questions, identifying limitations, | ||
+ | |||
+ | ** Presentaciones ** | ||
+ | * El tiempo para cada charla es 20 min, correspondiente a 15 min de presentación y 5 minutos de preguntas | ||
+ | * El tiempo máximo de presentación (15 min) se enforzará estrictamente -- // | ||
+ | * Los 15 minutos de presentación *deben* ser divididos de la siguiente manera: | ||
+ | * 3 minutos sobre la motivación específica de lo que presentan: esta parte la debería entender alguien que sale de lenguajes I, pero que no ha estudiado lenguajes II --- //no es necesario explicar porque uno quisiera static typing, por ej// | ||
+ | * 7 minutos sobre el desarrollo técnico: esta parte tiene que demostrar que manejan los conceptos y técnicas formales vistos en //este// curso | ||
+ | * 3 minutos sobre aplicaciones, | ||
+ | * 2 minutos sobre perspectivas, | ||
- | (the schedule includes 30 minutes unplanned, for supporting discussions, |