Cuarta Jornada de Doctorandos de Computación FaMAF

Esta es la cuarta Jornada de Doctorandos de Computación de la Facultad de Matemática, Astronomía y Física (FaMAF).

En esta jornada, los estudiantes del Doctorado en Ciencias de la Computación de FaMAF expondrán sus intereses de investigación y los aspectos más relevantes de su trabajo.

Uno de los principales objetivos de la jornada es dar a conocer las líneas de investigación que los doctorandos de Computación del FaMAF están desarrollando, y por eso invitamos a todos los alumnos y docentes (no sólo a los de Computación) a concurrir.

Workshop en el marco del proyecto DATE SticAmSud

El próximo día Viernes 1 de Noviembre desde las 9:30hs en la Salita Smith, realizaremos un workshop en el marco del projecto DATE (Distributed DiAgnosability and TEstability of Faulty Systems) SticAmSud.

Dicho workshop está dirigido a investigadores y alumnos de postgrado. Los temas que se tocarán están relacionados con el testing formal y el análisis de la diagnosticabilidad de sistemas.

Organiza: Laura Brandán Briones

Programa tentativo:

Matías Lee expone en las JCC 2013

El 17 y 18 de octubre tienen lugar las 11as Jornadas de Ciencias de la Computación (JCC 2013). En ellas, Matías Lee dará la charla "Breve Introducción a Semánticas de Procesos".

Trabajo de grado - Eric A. Destefanis

Trabajo final: Semánticas de Procesos para Sistemas Interactivos
Autor: Eric Destefanis
Directores: Matias David Lee, Pedro D'Argenio.

Resumen:

Un sistema interactivo es un sistema dónde coexisten dos tipos de eventos: los que se ejecutan en el entorno del sistema y producen alguna reacción en el sistema; los que ejecuta el sistema y producen una reacción en el entorno.

Post CONCUR visits (Starting September 2)

Starting on the 2nd of September, 2013, we are visited by:

Las 42º JAIIO vienen a Córdoba

Del 16 al 20 de septiembre de 2013 tendrá lugar la 42º Jornadas Argentinas de Informática (42 JAIIO) en nuestra facultad. Las jornadas reúnen diversos eventos y está organizada por personal de la Sección de Ciencias de la Computación. Diversos miembros de nuestro equipo están involucrados con varios eventos de las jornadas.

Charla de Friedrich Gretz (RWTH), 12-Sep-2013, 17:00

Este Jueves 12 de Septiembre, a las 17:00 en la Sala Smith, Friedrich Gretz va a dar una charla en el marco del curso "Semántica de procesos" abierta a todos. A continuación los datos de la charla:

Silvia Pelozo y Carlos Budde presentan sus trabajos en YR-CONCUR

Los resúmenes de Silvia y Carlos fueron aceptados para su presentación en el Young Researchers Workshop on Concurrency Theory, un workshop asociado a la conferencia CONCUR 2013 y en el marco de la BCDW.

Los artículos se titulan

MEALS Momentum Gathering

This is the third meeting held within the context of the MEALS project. Its aim is to bring researchers, practitioners and industry together to discuss the issues, challenges and latest solutions for formal techniques for the specification, verification and synthesis of dependable ubiquitous computing systems, with respect to both qualitative (i.e. pure non-deterministic models) as well as quantitative behaviour (i.e. extended with probabilistic information).

CONCUR, QEST, FORMATS and TGC 2013

During the week of the 26th to the 31st of August, 2013, Buenos Aires will welcome the following major events:

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