RIO 2023

Sobre la RIO 2023

La Escuela de Informática de Verano de Río es organizada anualmente por el Departamento de Ciencias de la Computación de la Universidad Nacional de Río Cuarto. Tradicionalmente, la escuela es un evento de una semana que se lleva a cabo durante el verano argentino, en febrero. El objetivo original de la escuela fue brindar a los estudiantes de las carreras de informática de la Universidad Nacional de Río Cuarto una visión amplia y actualizada de la disciplina, así como promover el contacto y la interacción entre estudiantes, profesores e investigadores de informática. Con ese fin, la escuela fue diseñada para brindar cursos cortos e intensivos impartidos por destacados investigadores y profesores en ciencias de la computación; los eventos sociales durante la escuela brindan una excelente oportunidad para conectar a estudiantes y profesores de diferentes instituciones. Desde la primera edición de la escuela en 1994, se ha convertido en un evento tradicional para la comunidad informática de Argentina y la región. Más de 3000 estudiantes han asistido a la escuela, muchos de ellos ahora son destacados investigadores, profesores y profesionales de la informática. El éxito de ediciones anteriores de la escuela permitió establecer relaciones entre grupos de investigación locales e investigadores internacionales; mejorando así la colaboración entre instituciones informáticas argentinas e internacionales. La escuela de verano ha tenido como profesores a algunos de los más destacados investigadores en diferentes áreas de la informática

Tweets by escuelaRio

Cursos

Curso 1 (Español)

Enrutamiento en la Internet Espacial

A cargo de Dr. Juan A. Fraire (Universidad de Cordoba, Argentina)

Anfiteatro 2. Pabellon 2. (Lecture Room 2, Building 2)

The space sector is thriving. More and larger fleets of spacecraft are being deployed in near-Earth and deep-space with increasing capabilities. Among these, networking requires efficient routing routines in coordination with mission operations. In the first part of this course, we will first overview the present and future of space networks and supporting architecture, protocols, and models. In the second part, we will dive into the state-of-the-art routing solutions spanning scheduled, probabilistic and opportunistic space topologies, including their interaction in inter-regional routing. In the third part, we introduce DtnSim, an event-driven simulator based on Omnet++ implementing the aforementioned routing algorithms. We will be able to run performance trade-off analysis and reason about routing in the Space Internet.
Curso 2 (English)

Modeling and Analyzing Concurrent Systems

A cargo de Dr. Thomas Noll (University of RWTH Aachen, Germany)

Anfiteatro 2. Pabellon 2. (Lecture Room 2, Building 2)

The aim of this course is to provide a basic understanding of modeling formalisms for concurrent systems. It will follow the so-called interleaving approach, which reduces the phenomenon of concurrency to a non-deterministic merging of sequential executions of sub-processes. This method is represented by Milner's Calculus of Communicating Systems, a process algebra which provides a mathematical basis for describing both the structure and the behavior of systems in a compositional way. To support formal reasoning about their correctness properties, we will introduce behavioural equivalences and logic-based techniques, and will demonstrate their tool-based application on mutual-exclusion algorithms.

Materials
Link

Curso 3 (English)

Formal Approaches to Decision-Making under Uncertainty

A cargo de Dr. Arnd Hartmanns (University of Twente, Netherlands)

Aula Posgrado. Facultad de Exactas. (Postgraduate Room. Faculty of Exacts)

Robots, control software, and us humans continuously interact with uncertain environments: where the outcomes of our own actions are uncertain, but the possibilities are often quantifiable with probabilities. Sometimes, we intentionally introduce uncertainty, e.g. via randomised algorithms. In this course, I will introduce a formal approach to modelling agents and systems acting under – or intentionally exploiting – uncertainty, based on Markov models (notably discrete-time Markov chains and Markov decision processes) and the Modest modelling language. I will give an overview of different algorithms to estimate or optimise the probability or reward to reach a goal, including probabilistic and statistical model checking as well as variants of reinforcement learning. The course combines lectures on theory and algorithms with hands-on modelling and programming sessions with Modest and Python.

Materials
Link

Charlas

Mission Talk. Ascentio (English)

Software Functional Testing applied to Space Industry

Anfiteatro 2. Pabellon 2. (Lecture Room 2, Building 2)

Jueves 16 de Febrero - 9hs.

In this talk we will discuss automated functional testing and its key role in satellite projects. We will present Ascentio’s role within the SABIA-Mar mission, and we will discuss the role of Robot Framework as our main tool used to automate test cases for its Ground Segment and provide additional value.
Etendo (Español)

Uso de IA en Etendo Software

Anfiteatro 2. Pabellon 2. (Lecture Room 2, Building 2)

Jueves 16 de Febrero - 16.30hs.

En esta charla explicaremos el uso que hacemos de varias herramientas IA (incluyendo GPT-3) con ejemplos puntuales tanto en procesos internos como su incorporación a nuestro producto. Haremos una breve introducción de nuestra plataforma Low Code y mostraremos cómo la incorporación de los modelos de OpenAI en nuestro software se ha convertido en una prioridad para nosotros: ilustraremos con algún ejemplo de su uso en la actualidad y daremos roadmap de producto a este respecto.
Por supuesto, no faltará ocasión para ofrecer oportunidades laborales como ingenieros de producto

Cronograma

	Lunes		Martes		Miércoles	Jueves	Viernes
8:00				Course 1 Enrutamiento en la Internet Espacial	Course 1 Enrutamiento en la Internet Espacial		Exams
08:30
09:00	Registración Hall del Anfiteatro 2 del pabellon 2. (Hall of building 2. (in front of lecture room 2)		Registración Hall del Anfiteatro 2 del pabellon 2. (Hall of building 2. (in front of lecture room 2)			MISSION Industry talk (Ascentio)
09:30
10:00
10:30		Course 2 Modeling and Analyzing Concurrent Systems		Course 2 Modeling and Analyzing Concurrent Systems	Course 2 Modeling and Analyzing Concurrent Systems	Course 2 Modeling and Analyzing Concurrent Systems
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00			Course 1 Enrutamiento en la Internet Espacial		Course 1 Enrutamiento en la Internet Espacial
15:30
16:00
16:30						Charla ETENDO
17:00
17:30
18:00	Course 3 Formal Approaches to Decision-Making under Uncertainty		Course 3 Formal Approaches to Decision-Making under Uncertainty		Course 3 Formal Approaches to Decision-Making under Uncertainty	Course 3 Formal Approaches to Decision-Making under Uncertainty
18:30
19:00
19:30
20:00
20:30			Acto de bienvenida Anfiteatro 2. Pabellon 2. (Lecture Room 2, Building 2)		Choripaneada. Salon del Gremio Docente. (Rivadavia y las Heras)
21:00			Recepción Hall del Anfiteatro 2. (Hall Building 2)
21:30			Recepción Hall del Anfiteatro 2. (Hall Building 2)
22:00
23:00
00:00

La choripaneada tiene un costo de $1000 pesos.

Inscripción

La registración se realizan el Lunes y Martes de 9 a 12hs en el Hall del Anfiteatro 2 del pabellon 2.
Las inscripciones cierran el Martes a las 12hs

El arancel que deberá abonar depende de su categoría y la cantidad de cursos a realizar.

Las categorías consideradas, y el arancel correspondiente, son las siguientes:

Categoría	Un curso	Dos cursos	Tres cursos
Estudiantes de Universidades Públicas	2000	3000	5000
Docentes e Investigadores de Instituciones Nacionales y Provinciales	3200	4800	8000
Profesionales y otros.	4000	6000	10000

Los cursos no tienen arancel para los alumnos pertenecientes a la U.N.R.C.

Por otro lado, los egresados de la U.N.R.C. deberán abonar el arancel acorde la Categoría "Estudiantes de Universidades Públicas".

Para realizar su inscripción debe completar el siguiente

Formulario de Inscripción .

Nota: La choripaneada tiene un costo extra de $1000 pesos que deberan ser abonados el dia de la registracion.

Becas

Las inscripciones para las becas cierran el lunes 30 de Enero a las 23.59hs.

La Escuela de Verano de Ciencias Informáticas ofrece a los estudiantes becas de alojamiento e inscripción para los cursos de la escuela.

A los beneficiarios de las becas de alojamiento se les proveerá alojamiento sin cargo en la ciudad de Río Cuarto durante la escuela. Los beneficiarios de las becas de inscripción podrán asistir a los cursos sin ningún tipo de cargo.

Requisitos para postularse a las becas:

Estar Inscripto en una carrera de grado o de posgrado en alguna Universidad Argentina. Se les dará prioridad a aquellos alumnos de Universidades Públicas. En caso de estar inscripto en una carrera de grado, haber rendido al menos una materia.

Becas de Inscripción:

Para realizar su pedido de beca, debe completar el siguiente

Formulario de Beca .

Becas de Alojamiento:

Para realizar su pedido de beca, debe completar el siguiente

Formulario de Beca .

Además de completar el formulario deberán enviar un certificado de rendimiento académico a riobecas@dc.exa.unrc.edu.ar indicando cuál beca solicita (registración, alojamiento, o ambas).

Hospedajes

Los siguientes hoteles tienen promociones para los participantes de la escuela:

Hotel Crillon

Hotel Menossi

Otros hospedajes:

Rio Cuarto Turismo

Organizadores

Steering Committee Chair:

Prof. Marcelo Arroyo

Chair:

Dr. Pablo Castro

Steering Committee:

Prof. Jorge Aguirre

Dr. Nazareno Aguirre

Mg. Marcelo Arroyo

Dr. Pablo Castro

Lic. Gabriel Baum

Dr. Marcelo Frias

Dr. Pedro D'Argenio

Dr. Germán Regis.

Comité Organizador:

Nazareno Aguirre

Marcelo Arroyo

Germán Regis

Pablo Ponzio

Francisco Bavera

Pablo Castro

Valeria Bengolea

Maria Marta Novaira

Sonia Permigiani

Gastón Scilingo

Cesar Cornejo

Cecilia Kilmurray

Mariano Politano

Simón Gutierrez Brida

Facundo Molina

Agustin Borda

Secretaria:

Karina Juncos

Sobre la RIO 2023

Sponsors

Platino

Oro

Plata

Cursos

Curso 1 (Español)

A cargo de Dr. Juan A. Fraire (Universidad de Cordoba, Argentina)

Curso 2 (English)

A cargo de Dr. Thomas Noll (University of RWTH Aachen, Germany)

Curso 3 (English)

A cargo de Dr. Arnd Hartmanns (University of Twente, Netherlands)

Charlas

Mission Talk. Ascentio (English)

Jueves 16 de Febrero - 9hs.

Etendo (Español)

Jueves 16 de Febrero - 16.30hs.

Cronograma

Inscripción

Categoría

Un curso

Dos cursos

Tres cursos