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.
The kickoff meeting was held at UBA on 15 December 2011. More details here.
Laboratoire International Associé (LIA) “INFINIS”
INFINIS is a French-Argentinean Laboratory (Laboratoire Internationale Associé) between Centre National de la Recherche Scientifique (CNRS) and Université Paris Diderot, on the one hand, and Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) and the Universidad de Buenos Aires, on the other. It is devoted to research in Computer Science. Specific focus is placed on formal methods, for modeling, verification and development of complex software artifacts.
INFINIS Laboratory has its roots in extensive scientific cooperation between France and Argentina in Computer Science that has taken place over time.
INFINIS’s mission is to foster sustained, long-term, dynamic cooperation with the aim of enriching scientific and technological activities, favoring the creation of intellectual property of added value and producing economic benefits to the Software Industry.
The acronym stands both for “INformatique Fondamentale, LogIque, LaNgages, VérIficacion et Systèmes” and also “INformática Fundamental, lógIca, leNguajes, vérIficación y Sistemas”.
Members from the following institutions currently participate in INFINIS: