Differences

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

--- teaching:cc71y:2014-2:miniconf [2014/11/19 19:47] – created etanter
+++ teaching:cc71y:2014-2:miniconf [2014/11/19 20:46] – etanter
@@ Line 5: / Line 5: @@
 ===== Programa =====
-**Session 1 --- Advanced Types**
+: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**
+:00-15:00 **Session 1**
-  - Rosario: CompCert: A Certified C Compiler
+  * Raimil: Ownership Types (P:Juraj/O:Rosario)
-  - Felipe: Liquid Types for Haskell
+  * Alonso: A Type System for Differential Privacy (P:Juampi/O:Felipe)
-  - Nicolas: Dependent Types for JavaScript
+  * Joffre: Deep Typechecking for Multi-Language Frameworks (P:Alejandro/O:Nico)
-**Session 3**
+:00-15:15 //Coffee Break//
-  - Juraj: Type Inference for Smalltalk
-  - Juan Pablo: Dynamic Taint Analysis for Security
+:15-16:15 **Session 2**
-  - Alejandro: A Core Calculus of Metaclasses
+  * Rosario: CompCert: A Certified C Compiler (P:Raimil/O:Juampi)
+  * Felipe: Liquid Types for Haskell (P:Alonso/O:Alejandro)
+  * Nicolas: Dependent Types for JavaScript (P:Joffre/O:Juraj)
+:15-16:30 //Coffee Break//
+:30-17:30 **Session 3**
+  * Juraj: Type Inference for Smalltalk (P:Rosario/O:Joffre)
+  * Juan Pablo: Dynamic Taint Analysis for Security (P:Felipe/O:Alonso)
+  * Alejandro: A Core Calculus of Metaclasses (P:Nico/O:Raimil)
+**Note**: the schedule includes 30 minutes unplanned, for supporting spontaneous discussions, wrap-up, etc.
+** Roles **
+  * P = Proponent: clarifying questions, identifying potential, new venues, research opportunities, applications, etc.
+  * O = Opponent: tricky questions, identifying limitations, problems, highlight applicability issues, contrast with related work that is/seems more powerful, etc.
+** 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 -- //¡practiquen antes!//
+  * 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, validación, resultados
+     * 2 minutos sobre perspectivas, conexiones con otros trabajos, etc.