The Summer School on Informatics RIO is an academic event that is organized by the Department of Computer Science of the University of Rio Cuarto, in Rio Cuarto, Cordoba, Argentina.
It has been annually organized without interruption (with the sole exception of 2021 and 2022, years in which, due to the COVID19 pandemic, the school had to be suspended) since 1994, and takes place in late February, during Argentina’s summer.
It offers intensive one-week courses on topics that span through all areas of Computer Science. The target audience of the summer school is composed of advanced undergraduate students, graduate students and researchers from Argentina and the countries in the region, and the goal is to provide a learning opportunity to keep up-to-date with the latest advances in Computer Science.
The summer school invites distinguished researchers to teach courses on their respective areas of expertise. The school allows us to foster interaction between institutions, to connect researchers and research groups, and to provide opportunities to students to directly interact with top international researchers, and complement their formal education with the latest advances in Informatics. Nearly 4000 students have attended the school, throughout the years.
Bugs in software can cause serious economic and health damage, in particular in software that controls critical systems.
Lightweight techniques such as static typing and program analysis help to avoid many common bugs, but cannot guarantee correctness. To do that, a mathematical proof of program correctness is required. However, pen-and-paper proofs, inparticular about software, are error-prone. Here, interactive theorem provers can help: they are software tools to check proofs for correctness. They also come with powerful tools to help the user find (correct) proofs.
In this lecture, we will give a hands-on introduction to the interactive theorem prover Isabelle/HOL, and apply it to verify (simple) programs. We will conclude with an overview of the state-of-the-art and an outlook to future research in this area.
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| 09:00-11:30 | Course 1 / Course 2 | Course 1 / Course 2 | Course 1 / Course 2 | Course 1 / Course 2 | Industry talks |
| 14:00-16:30 | Course 3 / Course 4 | Course 3 / Course 4 | Course 3 / Course 4 | Course 3 / Course 4 | Industry talks |
| 17:00-19:30 | Course 5 / Course 6 | Course 5 / Course 6 | Course 5 / Course 6 | Course 5 / Course 6 | Panel in memory of Prof. Jorge Aguirre |
| 19:30-21:00 | Reception | School dinner | Students' social event | Closing |
The fees for the courses depend on the attendant's category and number of courses to take.
The registration categories and their corresponding fees are the following:
|
One course |
Two courses |
Three courses |
|---|---|---|---|
| ARS$20,000 | ARS$32,000 | ARS$40,000 | |
| ARS$20,000 | ARS$32,000 | ARS$40,000 | |
| ARS$100,000 | ARS$160,000 | ARS$200,000 |
Students from UNRC can take any number of courses free of charge, provided they register before February 10, 2025. Fees in the above table apply for late registration, in the case of UNRC students. Please notice that registration implies a commitment to take the corresponding courses. In case a student is registered but cannot take the courses he/she registered in, please notify the organization as soon as possible, to allow for other students to register. UNRC graduates can register in the category for "Students, professors and researchers from Latin American institutions".
To register you must complete the following
Registration Form.The Argentinian Summer School on Informatics RIO will offer registration grants for students. Beneficiaries of these grants may attend all courses free of charge.
The requirements to apply for a student registration grant are the following:
To apply for a student registration grant, please fill in the following
Student Registration Grant Application FormIn addition to filling in the application form, applicants must send a certificate of enrollment in the corresponding academic program, by email, to riobecas@dc.exa.unrc.edu.ar
Deadline to apply for student registration grants: February 10, 2025
The Argentinian Summer School on Informatics RIO is happy to announce the availability of grants to partially cover travel and accommodation expenses. These grants are made possible thanks to ACM and AWS, and our sponsors and supporters in general. Grant availability will be limited, and will cover from USD200 up to USD400, to support the participation in our School. We welcome applications from undergraduate students, graduate students, researchers and academics in general. Applications will be judged based on the qualifications of the applicants, and the geographical distance from the applicants' place of origin to the location of our School. We will prioritize advanced students and young academics from public institutions, from more distant locations.
To apply for a travel grant, please fill in the following
Travel Grant Application Form .Deadline to apply for travel grants: February 10, 2025
The school will be held at the campus of the National University of Rio Cuarto (UNRC), Rio Cuarto, Cordoba, Argentina. The closest international airport is Cordoba Airport (COR), in the Province's capital (200km away from Rio Cuarto). Bus transportation between Cordoba and Rio Cuarto is frequent. Rio Cuarto can be reached by plane from Buenos Aires, arriving at the Rio Cuarto Airport (RCU). Long distance buses offer quality transportation from all over Argentina to Rio Cuarto too.
The campus is located 7km away from Rio Cuarto's city center. Various public buses connect the University's campus with different locations in the city, including the city center. Taxies and Uber are relatively affordable too. You may get more information regading local buses in the bus company's web site:
"SAT Rio Cuarto"
