23° Escuela de Verano de Ciencias Informáticas, RIO 2016
La Escuela de Verano se realiza anualmente desde 1994, organizada por el Departamento de Computación. Los cursos que conforman dicha Escuela de Verano han sido dictados por especialistas, docentes e investigadores de primer nivel, tanto del país como del extranjero. En la 21º edición de la Escuela de Verano de Ciencias Informáticas, RIO 2016, se dictarán los siguientes cursos:
- Introducción al Procesamiento del Habla. Agustín Gravano (UBA, Argentina)
- Systematic Test Case Generation. Sarfraz Khurshid (U. Texas at Austin, EEUU)
- Symbolic Program Analysis. Willem Visser (Stellenbosch University, South Africa)
- The Lean Theorem Prover. Leonardo de Moura (Microsoft Research, EEUU)
- Lógicas (Una Perspectiva Moderna). Carlos Areces, Raul Fervari (UNC, Argentina)
- Pablo Granitto, Lucas Uzal, (UNR, Argentina)
Como siempre, la escuela está organizada por la Universidad Nacional de Rio Cuarto, y se realizará en el campus de la UNRC. La escuela está financiada por la UNRC, y tiene como sponsor a Ascentio Technologies.
Para más información dirigirse a la página de la escuela.