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/10 07:57]
etanter
teaching:cc7125:proyectos-2017 [2017/11/24 06:25] (current)
etanter
Line 16: 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:​**
Line 29: Line 30:
 ===== Programación ===== ===== Programación =====
  
-==== Martes 28 de Noviembre, 14:30-16:00 ====+==== 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
  
-==== Miércoles 29 de Noviembre, 14:30-16:00 ====+==== 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