Various members of the LIA INFINIS are participating in both the organization and program committee of WOLLIC 2012 which this year will be held in Buenos Aires. Various members of the LIA INFINIS are participating in both the organization and program committee of WOLLIC 2012 which this year will be held in Buenos Aires.Various members of the LIA INFINIS are participating in both the organization and program committee of WOLLIC 2012 which this year will be held in Buenos Aires.
Article on ECI in canal-ar.com.ar that mentions INFINIS
An article on ECI appeared in Canal AR, an important online tech news site, in which INFINIS is mentioned.An article on ECI appeared in Canal AR, an important online tech news site, in which INFINIS is mentioned.An article on ECI appeared in Canal AR, an important online tech news site, in which INFINIS is mentioned.
Diego Garbervetsky program co-chair of the 2nd Workshop on Developing Tools as Plug-ins – 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.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/