22° Escuela de Verano de Ciencias Informáticas, RIO 2015

Las inscripciones para 22° edición de la Escuela de Verano de Ciencias Informáticas, RIO 2015, ya están abiertas. En esta edición se dictarán los siguientes cursos:

• Introduction to Probabilistic Model Checking, Christel Baier (TUD, Alemania)
• Description Logic Reasoning, Anni-Yasmin Turhan (TUD, Alemania)
• Modeling and Analysis of Probabilistic Timed Systems, Joost-Pieter Katoen (RWTH Aachen, Alemania)
• Fundamentos de lenguajes de programación cuántica, Alejandro Díaz-Caro (UNQ, Argentina)
• From lambda-calculus and pi-calculus to an abstract distributed machine, Bernard Serpette (INRIA, Francia)
• Seguridad y protección de datos en aplicaciones Android, Juan Martin Heguiabehere y Joaquín Rinaudo (Fundación Sadosky, 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, el proyecto MEALS y la Fundación Sadosky
Para más información dirigirse a la página de la escuela.