Conference

Charla Invitada SLTC - CLEI

El próximo 5 de septiembre, en el marco del Simposio Latinoamericano de Teoría Computacional y de la Conferencia Latinoamericana de Informática, Pedro R. D'Argenio dictará la conferencia invitada de dicho simposio. El evento tendrá lugar en la Facultad Regional Córdoba de la Universidad Tecnológica Nacional.

Título: How to check if your software is on doping.

Tags: 

Voto Electrónico: Un artículo para leer

Nicolás Wolovick junto a Miguel Montes y Daniel Penazzi presentaron un artículo en la 45 JAIIO en el que describen las debilidades del sistema y proveen un conjunto de recomendaciones en caso que se desee implementar.

Miguel Monte, Daniel Penazzi, y Nicolás Wolovick. Consideraciones Sobre el Voto Electrónico. En el 10º Simposio de Informática en el Estado, SIE 2016, 45 JAIIO. SADIO, pp. 297-307. 2016.

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.

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

Tags: 

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:

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

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.

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

Subscribe to Conference
Powered by Drupal