La 29º Escuela de Verano de Ciencias Informáticas (RIO 2024), se desarrollará del 19 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 de verano de Cs. Informáticas, tiene una larga trayectoria y un alcance nacional, regional e internacional. Está compuesta por cursos intensivos, dictados por destacados académicos, con temáticas que no suelen encontrarse frecuentemente en las carreras de grado.

---

Cursos

1. Verification of Fault Trees

Dr. Joost-Pieter Katoen, RWTH Aachen University, Alemania

Idioma: Inglés.

2. Quantitative Deductive Verification

Dr. Benjamin Kaminski, Saarland University, Alemania.

Idioma: Inglés.

3. Lógicas Modales Dinámicas

Dr. Raúl Fervari y Dr. Carlos Areces, Universidad Nacional de Córdoba.

Idioma: Castellano.

---

Los cursos se desarrollarán del lunes 19 al jueves 22. Se otorgarán certificados de asistencia (80% de las clases) y aprobación (los exámenes tendrán lugar el día viernes 23).

Becas:Becas de Inscripción y Alojamiento para estudiantes de carreras de grado y postgrado de Universidad Argentinas.

---

Facilidades del Campus de la UNRC:La Universidad cuenta con un comedor, un amplio campo de deportes, pileta y lugares para acampar (gratuitos). Además, la ciudad de Río Cuarto dispone de hoteles de distintas categorías (https://www.cordobaturismo.gov.ar/localidad/rio-cuarto/)

Consultas:

E-mail: rio@dc.exa.unrc.edu.ar

Teléfono/fax: +54 358 467 6235

Visite la página web de la escuela para obtener mayor información: https://rio2024.dc.exa.unrc.edu.ar/