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.

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:

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:

Charla Arnd Hartmanns (Universität des Saarlandes)

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

Charla José Santos (INRIA Sophia Antipolis Méditerranée)

Este martes 18 de noviembre, a las 16:00 en la Sala Smith, José Santos dictará una charla en el marco del grupo. A continuación los datos de la charla:

Pages

more

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054