25º Escuela de Verano de Ciencias Informáticas

                                      Río 2018
                            19 al 24 de febrero de 2018

http://dc.exa.unrc.edu.ar/rio/

*******************************************************************************
Departamento de Computación
Facultad de Ciencias Exactas Físico-Químicas y Naturales
Universidad Nacional de Río Cuarto
Córdoba – Argentina
*******************************************************************************

La 25º Escuela de Verano de Ciencias Informáticas (RIO 2018)
se desarrollará del 19 al 24 de febrero en el Departamento de Computación de la
Facultad de Ciencias Exactas Físico-Químicas y Naturales de la Universidad
Nacional de Río Cuarto.

La Escuela consiste en cursos intensivos sobre temáticas que no suelen
encontrarse frecuentemente en las carreras de grado. Además ofrece conferencias,
charlas y talleres desarrollados por parte de los sponsors de la RIO.

================================== CURSOS ==================================

Curso 1:  Probabilistic Symbolic Execution
Dr. Antonio Fillieri, Department of Computing, Imperial College London, UK

Idioma: Ingles

————————————————-
Curso 2:   Software Testing: Research and Practice
Dr. Jose Miguel Rojas, Department of Computer Science of the University of Sheffield, UK.

Idioma: Castellano

————————————————-
Curso 3:  El sistema de tipos de Haskell/GHC y sus extensiones
Dr. Guillaume Hoffmann,  Universidad Blas Pascal y CONICET, Argentina

Idioma: Castellano

————————————————-
Curso 4: Validating Critical Systems with PVS.
Dr. Mariano Moscato,  NASA Langley Formal Methods Group, USA

Idioma: Castellano

================================== CHARLAS ==================================
Título: TBA
Dan_Hirsch, McAfee

Título: TBA
Franco Arito, Mercado Libre

============================== INFORMACIÓN ADICIONAL ==========================

Los cursos tienen 5 clases de 2:30 hs. de duración, cada una (12,5 hs. en total). Examen opcional.
Se otorgarán certificados de asistencia (80% de las clases) y aprobación
(los exámenes tendrán lugar el día sábado 24 por la mañana).

Facilidades de alojamiento: La Universidad cuenta con un comedor, un amplio campo de deportes, pileta,
residencias (contacto: rioalojamientos@dc.exa.unrc.edu.ar) y lugares para acampar (gratuitos).
Además la ciudad dispone de hoteles de distintas categorías.
Visite la página web de la escuela para obtener mayor información.

———————————–
Mas información e inscripciones en:
 http://dc.exa.unrc.edu.ar/rio/
 Consultas: rio@dc.exa.unrc.edu.ar
 Telefono/fax : 54+358-467-6235
———————————–