Con alrededor de 90 inscriptos se desarrolla desde este lunes la 29º edición de la Escuela de Verano de Ciencias Informáticas Río 2024, organizada por el Departamento de Computación de la Facultad de Ciencias Exactas, Físico-Químicas y Naturales de la UNRC.
Como todos los años, la computación es punto de encuentro, capacitación, actualización y debate en la Facultad de Ciencias Exactas con la Escuela de Verano de Ciencias Informáticas.
Durante toda la semana, este evento académico científico y tecnológico congrega a estudiantes, graduados, docentes, investigadores y especialistas en diferentes temáticas vinculadas a la computación.
Pablo Castro, director de la Escuela de Verano y docente del Departamento de Computación de nuestra Facultad, destacó que en esta edición ya superaron los 80 inscriptos y comentó que participan estudiantes de diferentes provincias del país.
Castro recordó que el objetivo de la escuela “es brindar a los/las estudiantes de las carreras de Computación una visión amplia y actualizada de la disciplina, cursos sobre temáticas emergentes, como así también promover el contacto y la interacción entre estudiantes, profesores e investigadores de informática”.
Este lunes por la mañana, los participantes comenzaron el curso de «Lógicas Modales Dinámicas», que brindan Raúl Fervari y Carlos Areces de la Universidad de Córdoba. Las actividades continuaron a las 10:30 con el curso de «Verification of Fault Trees», a cargo de Joost Pieter Katoen (RWTH Aachen University) de Alemania. Mientras que por la tarde empezó el primer encuentro del curso «Quantitative Deductive Verification», que dicta Benjamin Kaminski (Saarland University) de Alemania.
Charlas de especialistas
Además de los tres cursos, durante esta edición de la Escuela de Verano los participantes asisten a charlas sobre temáticas diversas que son brindadas por especialistas de empresas y universidades de nuestro país y del exterior.
Más información: https://rio2024.dc.exa.unrc.edu.ar/
