Mini-Conferencia Lenguajes II 2014/2

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

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.

Instrucciones detalladas para charlistas