Del 19 al 23 de febrero se desarrollará la 29ª edición de la Escuela de Verano Río 2024, organizada por 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. El acto de apertura será el martes 20 a las 20.30.
Como es habitual en este clásico de la informática, estudiantes, docentes, profesionales del sector privado y demás especialistas convergerán en el campus en derredor de cursos que se darán del 19 al 22, con exámenes el viernes 23 y charlas, a saber:
- Curso 1: Lógicas modales dinámicas, a cargo de los doctores Raúl Fervari y Carlos Areces.
- Curso 2 (dictado en inglés): Verificación de árboles de falla, por el doctor Joost Pieter Katoen.
- Curso 3 (también en inglés): Verificación de deducción cuantitativa, por Benjamin Kaminsky.
- Charla 1: Logrando que los monos y los patos se comporten con Crystal Lang, por el doctor Beta Ziliani, el lunes 19 a las 15 en el anfiteatro 2 del pabellón 2.
- Charla 2: Sobre el rol de la informática en el diseño y la operación de IoT Networks directo a satélite, por el doctor Juan Fraire, el martes 20 a las 15, en igual lugar.
- Charla 3 (en inglés): Desarrollo de servicio de planeamiento de actividades basado en software para una misión de satélite Leo, por Francisco y Belén Rodríguez, el miércoles 21 a las 15, también en el anfiteatro 2 del pabellón 2.
Más datos: https://rio2024.dc.exa.unrc.edu.ar/
