La 30º Escuela de Verano de Ciencias Informáticas (RIO 2025) se desarrollará del 10 al 14 de marzo 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. Analysis of mobile apps for quality and trustworthiness. Alessandra Gorla. IMDEA Software Institute, España. Idioma: Inglés.

2. Program Verification with Isabelle/HOL. Peter Lammich. Universidad of Twente, Países Bajos. Idioma: Inglés.

3. Introduction to Input Grammar Fuzzing. Andreas Zeller. Saarland University, Alemania. Idioma: Inglés.

4. Introducción a la teoría de la computabilidad. Santiago Figueira. UBA, Argentina. Idioma: Castellano.

5. Advances in automatic software testing. Mike Papadakis. University of Luxerbourg, Luxemburgo. Idioma: Inglés.

6. Programming languages for cibersecurity. Santiago Arranz Olmos y Giles Barthe. Max Planck Institute, Alemania. Idioma: Inglés.

Los cursos se desarrollarán del lunes 10 al viernes 14 de marzo de 2025. Se otorgarán certificados de asistencia (80% de las clases) y aprobación.

Becas:
Es posible aplicar para becas de inscripción, viajes y alojamiento.
Formularios de inscripción y solicitud de becas:

    Registration form

   Student Registration Grants

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://rio2025.dc.exa.unrc.edu.ar/