PLEIAD teaching:cc71y:2014-2 http://pleiad.cl/ 2026-05-11T15:30:05+00:00 PLEIAD http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2014-11-20T00:52:43+00:00 Anonymous (anonymous@undisclosed.example.com) teaching:cc71y:2014-2:miniconf http://pleiad.cl/teaching/cc71y/2014-2/miniconf 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