26º Escuela de Verano de Ciencias Informáticas
                                  RIO 2019
                         18 al 23 de febrero de 2019

                       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 26º Escuela de Verano de Ciencias Informáticas (RIO 2019)
se desarrollará del 18 al 23 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: Auto-QA Automation: Software para testear Software. 
         Dr. Juan Pablo Galeotti, Universidad Nacional de Buenos Aires.
         Idioma: Castellano

Curso 2: Conceptos de model checking.
         Dr Pedro D'Argenio, Universidad Nacional de Cordoba.
         Idioma: Castellano

Curso 3: Seminario de Ingeniería de Software:
         Lunes: Tom Maibaum, Profesor de la Universidad de McMaster, Canadá.
         Martes: Carlo Ghezzi, Profesor del Politécnico de Milán, Italia.
         Jueves: Martin Wirsing, Profesor de la Universidad Ludwig-Maximilians de Munich, Alemania.
         Viernes: Marcelo Frías, Profesor del Instituto Tecnológico de Buenos Aires, Argentina
                  Sebastián Uchitel, Profesor de la Universidad de Buenos Aires, Argentina.
         Idioma: Inglés

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 23 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:
http://dc.exa.unrc.edu.ar/rio
Consultas: rio@dc.exa.unrc.edu.ar
Telefono/fax : +54 358 467 6235

================================ EVENTO PREVIO ================================
International Symposium on the Mathematical Foundations of Software Engineering
                A Symposium in honour of T.S.E. Maibaum 
        and on the occasion of his 70th birthday and retirement

                16-17 February 2019, Rio Cuarto, Argentina

The objective of the International Symposium on the Mathematical Foundations of
Software Engineering is bringing together researchers working on the formal
foundations of software engineering, including mathematical and logical formal
methods with an emphasis on the formal and related areas such as automated analysis.
In particular, we seek to provide a venue for Latin American researchers working
in these areas, to promote their interaction and collaboration.

Invited Speakers: T.S.E. Maibaum, Carlo Ghezzi and Martin Wirsing.

More information in the web site:
https://dc.exa.unrc.edu.ar/rio/en/InternationalSymposium

===============================================================================
Rogamos disculpas por la posible reiteración de este mail y agradeceremos
mucho su colaboración en su difusión.

Atentamente