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).

Pre CONCUR Visit: Bas Luttik

Bas Luttik (Technische Universiteit Eindhoven, NL) visits us from the 14th to the 16th of August within the framework of the MEALS project.

El Doctorado categorizado

Según Resolución 328/13 de la Comisión Nacional de Evaluación y Acreditación Universitaria (CONEAU), la carrera de Doctorado en Ciencias de la Computación de la Facultad de Matemática, Astronomía y Física ha sido categorizado B en su primera categorización. El Doctorado fue creado en el año 2006 y la presente categorización corresponde al llamado del año 2010.

Tags: 

WHPC13

Este segundo encuentro estará focalizado en la enseñanza pormenorizada de la utilización clusters de última generación, con nodos que poseen tarjetas aceleradoras (GPUs). A tal efecto se utilizará el cluster recientemente adquirido por FaMAF-UNC, IATE-CONICET e IFEG-CONICET que consiste de 8 nodos con dos procesadores Xeon E5 y dos GPUs Tesla m2090, interconectados por Infiniband QDR, similar a los que se planean adquirir en varios centros del país.

Matías Lee defiende su Tesis Doctoral

Candidato a Doctorado: Matías D. Lee
Título de la tesis: Semánticas de procesos para sistemas interactivos y sistemas probabilísticos
Fecha: Miércoles 27 de marzo de 2013 a las 16:00 hs. Auditorio FaMAF.

Tags: 

1st MEALS Workshop

This is the first workshop (and second 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).

Trabajo de Grado - Raúl E. Monti

Alumno: Raúl E. Monti
Título: Falluto2.0: Un Model Checker para la verificación automática de sistemas tolerantes a fallas
Fecha: Lunes 11 de marzo de 2013 a las 14:30 hs. Auditorio FaMAF.

Resumen:

Charla Tamara Rezk (INRIA)

Nos está visitando la Dra. Tamara Rezk (INRIA, proyecto INDES), ex-alumna de esta casa. Dentro del contexto de esta visita, Tamara nos dará una charla este miércoles 6 de marzo, a las 14:30, en la Sala Smith.
A continuación, los detalles de la charla. Quedan todos cordialmente invitados.

Tamara Rezk, INRIA (proyecto INDES)

Título: Seguridad de Mashup Web Applications

Pages

Powered by Drupal