Paper presented at RTA'2012

Eduardo Bonelli, Delia Kesner,  Carlos Lombardi and Alejandro Ríos, presented the paper “Normalisation for Dynamic Pattern Calculi”  in the 23rd International Conference on Rewriting Techniques and Applications (RTA) which was held in Nagoya, Japan, in May-June 2012.

Prof. Ahmed Bouajjani (U. Paris-Diderot) to give advanced course on complex program verification at ECI 2012

Ahmed Bouajjani, Profesor at Paris-Diderot, member of INFINIS, will give an advance course on complex program verification at ECI 2012.

Sergio Yovine is President of the Organization Committee of Escuela de Ciencias Informáticas, ECI 2012

ECI is a one-week winter school in Computer Science which is organized every year since 1987 at the Departamento de Computación of the FCEyN (UBA). This year’s edition will take place from 23 to 28 July. For more information please see

PhD student from University of Salzburg visiting the Dept. of Computer Science (UBA)

Andreas Haas, PhD student at Computational Systems Group, Department of Computer Sciences, University of Salzburg, visited the Department of Computer Science at UBA, from March 12 to April 2, 2012, to work on short-term memory analysis with Diego Garbervetsky and Sergio Yovine, in the context of theTERMINATOR project.