Differences

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

--- teaching:cc71y:2014-2:miniconf:speakers [2014/11/27 11:55] – etanter
+++ teaching:cc71y:2014-2:miniconf:speakers [2014/11/28 11:08] (current) – etanter
@@ Line 8: / Line 8: @@
 :00-15:00 **Session 1**
-  * Raimil: Ownership Types (P:Juraj/O:Rosario) [[http://ilyasergey.net/papers/ownership-survey.pdf|paper]]
+  * Raimil: Ownership Types (P:Juraj/O:Rosario) [[http://www.cs.cornell.edu/courses/cs711/2005fa/papers/cpn-oopsla98.pdf|paper]]
   * Alonso: A Type System for Differential Privacy (P:Juampi/O:Felipe) [[http://www.cis.upenn.edu/~bcpierce/papers/dp.pdf|paper]]
   * Joffre: Deep Typechecking for Multi-Language Frameworks (P:Alejandro/O:Nico) [[http://homes.cs.washington.edu/~ztatlock/pubs/dtar-tatlock-oopsla08.pdf|paper]]
@@ Line 40: / Line 40: @@
      * 2 minutos sobre perspectivas, conexiones con otros trabajos, etc.
   * Esta estructura también se enforzará estrictamente -- //¡planifiquen y practiquen antes!//
+  * Varios de los papers seleccionados son muy técnicos. **No** es necesario (y es probablemente imposible) que su presentación cubra 100% del paper de referencia. Lo importante es que construyan una presentación coherente y entendible, de la cual la audiencia aprenda algo coherente.
 ** Roles **