Differences

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

--- teaching:cc7125:proyectos-2017 [2017/11/09 09:45] – etanter
+++ teaching:cc7125:proyectos-2017 [2017/11/23 11:14] – etanter
@@ Line 1: / Line 1: @@
 ===== 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 será de 15 minutos (max) + preguntas
+La presentación será de **15 minutos (max)** + preguntas
     * Nicolás Caracci: //CompCert//
@@ Line 18: / Line 16: @@
     * 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]]
+    * Raimil Cruz: [[https://arxiv.org/abs/1509.06503|A Verified Information-Flow Architecture]]
 **Algunas instrucciones:**
@@ Line 28: / Line 27: @@
         - alumno 1: intro + 1/2 detalles técnicos
         - 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 Raimil
+    * 15:15 Nicolás C
+    * 15:35 Matías M
+    * 15:55 Pablo
+==== Miércoles 29 de Noviembre, 14:15-16:15  (Auditorio Picarte) ====
+    * 14:15 Paula & Tomás
+    * 14:35 Hans
+    * 14:55 Sergio
+    * 15:15 Fabián
+    * 15:35 Maximiliano
+    * 15:55 Elizabeth