Delia Kesner, is co-chair of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012) which will hold in Rio de Janeiro in September 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. Diego Garbervetsky (UBA, CONICET) will visiting the University of Saarland during August 2012.
Diego Garbervetsky, CONICET Researcher at DC-UBA, member of INFINIS, participates in EU project MEALS http://www.meals-project.eu/
Diego Garbervetsky, Profesor at Universidad de Buenos Aires, member of INFINIS, was invited speaker at BYTECODE 2012 http://wwwhome.ewi.utwente.nl/~marieke/Bytecode2012/
Olivier Carton, Profesor at Paris-Diderot, member of INFINIS, will visit the Department of Computer Science at UBA in July 2012.
Ahmed Bouajjani, Profesor at Paris-Diderot, member of INFINIS, will give an advance course on complex program verification at ECI 2012. http://www.dc.uba.ar/events/eci/2012/cursos/bouajjani
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 http://www.dc.uba.ar/eci
Carlos Areces, CONICET Researcher at FAMAF, member of INFINIS, participates in EU project MEALS http://www.meals-project.eu/
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.