====== Mini-Conferencia Lenguajes II 2014/2 ======

**Miercoles 3 de Diciembre 2014, 14h-18h, auditorio 3er piso DCC**

===== Programa =====

13:50-14:00 **Welcome**

14:00-15:00 **Session 1**
  * Raimil: Ownership Types
  * Alonso: A Type System for Differential Privacy
  * Joffre: Deep Typechecking for Multi-Language Frameworks

15:00-15:15 //Coffee Break//

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]]