Summer School RIO 2012

The Summer School in Computer Science RIO 2012 will be held from 13 to 18 February, 2012. It is organized by the Department of Computer Science of the Universidad Nacional de Río Cuarto and it will be partially supported by the MEALS project. This year edition consists of five courses:

  • Matching problems under preferences, Julian Mestre, University of Sydney, AU
  • Validation, Synthesis and Performance Evaluation of Embedded Systems using UPPAAL, Kim G. Larsen, Aalborg Universitet , DK
  • Quantitative Information Flow and Differential Privacy, Catuscia Palamidessi, Kostas Chatzikokolakis, and Miguel Andrés, Laboratoire d' Informatique de l'École Polytechnique , FR
  • Programación paralela en GPUs, María Fabiana Píccoli, Universidad Nacional de San Luis, AR
  • Metodología para el desarrollo de sistemas seguros, Juan Marcelo Da Cruz Pinto, Intel ASDC, AR
  • Mobile Programming with TouchDevelop for Windows Phone, Nikolai Tillmann, Microsoft Research, US