Differences

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

--- teaching:cc7125:proyectos-2017 [2017/11/09 22:03] – etanter
+++ teaching:cc7125:proyectos-2017 [2017/11/24 10:25] (current) – etanter
@@ Line 16: / 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 29: / Line 30: @@
 ===== Programación =====
-==== Viernes 24 de Noviembre, 12:30-13:30 ====
+==== Martes 28 de Noviembre, 14:15-16:15 (Auditorio Picarte) ====
-TBD
+    * 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
-==== Miercoles 29 de Noviembre, 14:30-16:30 ====
+==== Miércoles 29 de Noviembre, 14:15-16:15  (Auditorio Picarte) ====
-TBD
+    * 14:15 Hans
+    * 14:35 Sergio
+    * 14:55 Maximiliano
+    * 15:15 Fabián
+    * 15:35 Paula & Tomás
+    * 15:55 Raimil