La Universidad de Río Cuarto dictará nuevos cursos tecnológicos

La Universidad Nacional de Río Cuarto (UNRC) realizará, entre el 18 y 24 de febrero, la décimo quinta edición de su Escuela de Verano de Ciencias Informáticas. Se trata de una iniciativa por la cual docentes e investigadores argentinos y extranjeros dictarán clases sobre distintas herramientas informáticas.

Organizada por el Departamento de Computación de la UNRC, buscará brindar a los alumnos y profesores "cursos intensivos y breves de actualización y especialización", según expresa en su sitio Web.

Además, pretenderá "poner al alcance de los alumnos de las carreras de computación de la UNRC una visión amplia y diversa del campo de las Ciencias Informáticas y facilitar el intercambio académico con otras casas de estudio".

Los cursos, auspiciados por Agencia Córdoba Ciencia, Motorola, Microsoft, Intel y la Municipalidad de Río Cuarto, constan de 5 clases de dos horas y media de duración, dictados de lunes a viernes. Los exámenes son opcionales y se tomarán el sábado 23, mientras que los certificados serán de asistencia o aprobación.

Algunas de las clases que se realizarán:

-"Teoría de Pruebas para Lenguajes de Programación", por Eduardo Bonelli, LIFIA-UNLP, UBA, CONICET.

-"Lógica computacional y Demostración automática", por Carlos Areces, INRIA Lorraine, Francia.

-"Transformación de grafos y sus aplicaciones al modelado de software", por Fernando Orejas, Univ. Politécnica de Catalunya.

-"Representation and inference for Natural Languages", por Patrick Blackburn, INRIA.

-"Introducción a la Teoría de la Complejidad", Michael Soltys, McMaster, Canadá.

-"The Methodology of Formal Specification", por Tom Maibaum, McMaster, Canadá.

Más información: dc.exa.unrc.edu.ar/rio2008.