Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
teaching:cc7125:proyectos-2017 [2017/11/09 09:44]
etanter
teaching:cc7125:proyectos-2017 [2017/11/24 06:25] (current)
etanter
Line 1: Line 1:
 ===== Grupos/​Presentaciones ===== ===== Grupos/​Presentaciones =====
- 
-**Llenar [[https://​doodle.com/​poll/​rdibih2cw9rht22c|el Doodle]] para la(s) sesion(es) de presentación a más tardar el 8 de Noviembre.** 
  
 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. 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.
  
-La presentación será de 15 minutos (max) + preguntas+La presentación será de **15 minutos (max)** + preguntas
  
     * Nicolás Caracci: //​CompCert//​     * Nicolás Caracci: //​CompCert//​
Line 18: Line 16:
     * Sergio Peñafiel: //Red-black trees (VFA-style vs. CPDT-style)//​     * Sergio Peñafiel: //Red-black trees (VFA-style vs. CPDT-style)//​
     * Elizabeth Labrada: [[http://​www.staff.city.ac.uk/​~ross/​papers/​pts.pdf|Parametricity and Dependent Types]]     * Elizabeth Labrada: [[http://​www.staff.city.ac.uk/​~ross/​papers/​pts.pdf|Parametricity and Dependent Types]]
 +    * Raimil Cruz: [[https://​arxiv.org/​abs/​1509.06503|A Verified Information-Flow Architecture]]
  
 **Algunas instrucciones:​** **Algunas instrucciones:​**
     * los 15 minutos como duración máxima se enforzarán de manera estricta     * los 15 minutos como duración máxima se enforzarán de manera estricta
     * como estructura/​balance general, cada presentación debe tener     * como estructura/​balance general, cada presentación debe tener
-        - background/​motivación:​ 2-3 minutos (esto lo debe entender cualquier alumnos de 4to/5to año del DCC)+        - background/​motivación:​ 2-3 minutos (esto lo debe entender cualquier alumnos de 5to año del DCC)
         - detalles técnicos: 8-10 minutos (esto debe ser a nivel de lo visto en el curso)         - detalles técnicos: 8-10 minutos (esto debe ser a nivel de lo visto en el curso)
-        - desafíos/​perspectivas:​ 2-3 minutos (esto lo debe entender cualquier alumnos de 4to/5to año del DCC)+        - desafíos/​perspectivas:​ 2-3 minutos (esto lo debe entender cualquier alumnos de 5to año del DCC)
     * para presentaciones de a dos, lo anterior se divide en:      * para presentaciones de a dos, lo anterior se divide en: 
         - alumno 1: intro + 1/2 detalles técnicos         - alumno 1: intro + 1/2 detalles técnicos
         - alumno 2: 1/2 detalles técnicos + conclu         - alumno 2: 1/2 detalles técnicos + conclu
 +
 +===== Programación =====
 +
 +==== Martes 28 de Noviembre, 14:15-16:15 (Auditorio Picarte) ====
 +
 +    * 14:15 Matías T
 +    * 14:35 Nicolás B & Juan R
 +    * 14:55 Nicolás C
 +    * 15:15 Pablo
 +    * 15:35 Matías M
 +    * 15:55 Elizabeth
 +
 +==== Miércoles 29 de Noviembre, 14:​15-16:​15 ​ (Auditorio Picarte) ====
 +
 +    * 14:15 Hans
 +    * 14:35 Sergio
 +    * 14:55 Maximiliano
 +    * 15:15 Fabián
 +    * 15:35 Paula & Tomás
 +    * 15:55 Raimil
 +
 +
 +
 +