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.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.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.
Diego Garbervetsky to visit University of Saarland
Prof. Diego Garbervetsky (UBA, CONICET) will visiting the University of Saarland during August 2012.Prof. Diego Garbervetsky (UBA, CONICET) will visiting the University of Saarland during August 2012.
Prof. Diego Garbervetsky (UBA, CONICET) will visiting the University of Saarland during August 2012.
Diego Garbervetsky to participate in EU project
Diego Garbervetsky, CONICET Researcher at DC-UBA, member of INFINIS, participates in EU project MEALS http://www.meals-
Diego Garbervetsky, CONICET Researcher at DC-UBA, member of INFINIS, participates in EU project MEALS http://www.meals-
Diego Garbervetsky is invited speaker at BYTECODE 2012
Diego Garbervetsky, Profesor at Universidad de Buenos Aires, member of INFINIS, was invited speaker at BYTECODE 2012 http://wwwhome.ewi.
Diego Garbervetsky, Profesor at Universidad de Buenos Aires, member of INFINIS, was invited speaker at BYTECODE 2012 http://wwwhome.ewi.
Prof. Olivier Carton (U. Paris-Diderot) to visit Dept. of Computer Science at UBA in July 2012
Olivier Carton, Profesor at Paris-Diderot, member of INFINIS, will visit the Department of Computer Science at UBA in July 2012.Olivier Carton, Profesor at Paris-Diderot, member of INFINIS, will visit the Department of Computer Science at UBA in July 2012.Olivier Carton, Profesor at Paris-Diderot, member of INFINIS, will visit the Department of Computer Science at UBA in July 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. http://www.dc.uba.ar/
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/
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/
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 http://www.dc.uba.ar/eciECI est une école d’hiver en informatique qui est organisée chaque année depuis 1987 au Departamento de Computación de la FCEyN (UBA). L’édition de cette année aura lieu du 23 au 28 Juillet. Pour plus d’informations s’il vous plaît voir http://www.dc.uba.ar/eciECI 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 participates in EU project
Carlos Areces, CONICET Researcher at FAMAF, member of INFINIS, participates in EU project MEALS http://www.meals-project.eu/
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.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.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.