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.