8/12 German Sibay presents at FM2012 in Paris: Distribution of modal transition systems.
8/12 Diego Garbervetsky assists to Google's Faculty Summit in Mountain View, California, USA.
7/12 SPE paper accepted: Guido de Caso, Diego Garbervetsky, Daniel Gorin. Integrated Program Verification Tools in Education.
7/12 Grant awarded by UBACYT: “Especificación y análisis cuantitativo del uso de la memoria dinámica con foco en la escalabilidad y usabilidad”, Dr. Diego Garbervetsky.
7/12 Sebastian Uchitel gives invited talk at Pragma Consultores, Buenos Aires, Argentina.
7/12 David Rosenblum visits us for the week.
6/12 Grant awarded by ANPCYT: “Síntesis de Controladores para la Ingeniería de Software”, Dr. Sebastián Uchitel.
6/12 Diego Garbervetsky visits IMDEA Software, Spain.
6/12 Victor Braberman is appointed Coordinator of the Informatics and Communications Committee, Argentine National Science Agency.
5/12 Sebastian Uchitel presents at ICSE 2012 in Zurich: Generating obstacle conditions for requirements completeness.
