Diego Garbervetsly program co-chair of the 2nd Workshop on Developing Tools as Plug-ins colated with ICSE. June 2012.Diego Garbervetsly program co-chair of the 2nd Workshop on Developing Tools as Plug-ins colated with ICSE. June 2012.Diego Garbervetsly program co-chair of the 2nd Workshop on Developing Tools as Plug-ins colated with ICSE. June 2012.
Delia Kesner co-chair of 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012)
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.
http://www.uff.br/lsfa/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.
http://www.uff.br/lsfa/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.
http://www.uff.br/lsfa/
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.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/