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:

Conferencia Dr. Enrique Gaviola

Este año, la conferencia Dr. Enrique Gaviola, que se realiza en conmemoración al 59º aniversario de la creación del IMAF, será dictada por Pedro R. D'Argenio.

Título: Resiliencia en Sistemas Computacionales Complejos

XIII Jornadas de Ciencias de la Computación

Las XIII Jornadas de Ciencias de la Computación (JCC 2015) se llevarán a cabo los días 21, 22 y 23 de Octubre en la Facultad de Ciencias Exactas, Ingeniería y Agrimensura de Rosario.

Paper accepted at EXPRESS/SOS 2015

Title: SOS rule formats for convex and abstract probabilistic bisimulations.

Authors: Pedro R. D'Argenio, Matias D. Lee & Daniel Gebler.

Paper accepted at EPEW 2015

Title: Rare event simulation with fully automated importance splitting.

Authors: Carlos E. Budde, Pedro R. D'Argenio and Holger Hermanns.

Paper accepted at QAPL2015

Title: Rooted probabilistic branching bisimulation as a congruence

Autores: Matias David Lee y Erik de Vink.

Trabajo de Grado. Andrés Bordese y Tomás Hayes

El miércoles 17 de diciembre de 2014 a las 18:00 hs. en el auditorio de la FaMAF, Andrés Bordese y Tomás Hayes defenderán su trabajo de grado para obtener el título de Licenciado en Ciencias de la Computación.

A continuación pueden encontrar el título y resumen del trabajo de grado.

Título: PEF (Python Error Finder): Una herramienta para la detección de errores en Python
Alumnoa: Andrés Bordese y Tomás Hayes
Director: Damián Barsotti

Charla Sean Sedwards (INRIA Rennes)

Este miércoles 26 de noviembre, a las 14:00 en la Sala Smith, Sean Sedwards dictará una charla en el marco del grupo. A continuación los datos de la charla:

Pages

Powered by Drupal