7/12 Sebastian Uchitel gives invited talk at Pragma Consultores, Buenos Aires, Argentina.
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 FM paper accepted: German Sibay, Victor Braberman, Jeff Kramer, and Sebastian Uchitel. Distribution of modal transition systems.
5/12 FM paper accepted: Nicolás D'Ippolito, Victor Braberman, Nir Piterman, and Sebastián Uchitel. The modal transition system control problem.
5/12 Diego Garbervetsky co-chairs TOPI 2012, a satellite workshop at ICSE 2012 in Zurich.
5/12 Sebastian Uchitel presents at ICSE 2012 in Zurich: Generating obstacle conditions for requirements completeness.
5/12 Dario Fischbein successfully defended his PhD thesis.
5/12 TOSEM paper accepted: Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, and Sebastián Uchitel. Enabledness-based program abstractions for behaviour validation.
