http://pleiad.cl/ 2026-05-05T22:45:54+00:00 http://pleiad.cl/ http://pleiad.cl/lib/tpl/pleiad2/images/favicon.ico text/html 2022-12-02T21:15:41+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc7125/2022-2 Workshop CC7125 - 2022 Jueves 1 de Diciembre 2022, auditorio Flajolet (3er piso poniente) * [14:05-14:30] Stefan Malewski : Rewrite rules ([slides]) * [14:30-14:55] Bruno García : Mechanized semantics for the Clight subset of the C language ([slides]) * [14:55-15:20] text/html 2017-11-24T10:25:07+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc7125/proyectos-2017 Grupos/Presentaciones La presentación puede ser uno o dos alumnos. En caso de ser dos, la presentación tiene que tener dos partes balanceadas, y ambos deben poder presentar cualquiera de las partes (se determinará al azar). Ambos deben ser capaces de responder las preguntas. Las notas serán individuales. text/html 2022-05-16T22:22:10+00:00 Anonymous (anonymous@undisclosed.example.com) http://pleiad.cl/teaching/cc7125/trail-2017 Trail 2017/2 * Jul 31: slides “certified software”, primer contact con Coq (primeras definiciones de Basics.v) * Aug 2: Basics.v (ver últimos ejercicios en auxiliar) * Aug 7: Induction.v, Lists.v (hasta antes de options) * Aug 9: Lists.v (final), Poly.v (dejando higher-order/anonymous functions para trabajo casa/auxiliar)