page_view

Diego Garbervetsky assists to Google's Faculty Summit in Mountain View, California, USA.

8/12 Diego Garbervetsky assists to Google's Faculty Summit in Mountain View, California, USA.

Undefined

Nicolás D'Ippolito presents at FM2012 in Paris: The modal transition system control problem.

8/12 Nicolás D'Ippolito presents at FM2012 in Paris: The modal transition system control problem.

Undefined

SPE paper accepted: Guido de Caso, Diego Garbervetsky, Daniel Gorin. Integrated Program Verification Tools in Education.

7/12 SPE paper accepted: Guido de Caso, Diego Garbervetsky, Daniel Gorin. Integrated Program Verification Tools in Education.

Undefined

David Rosenblum visits us for the week.

7/12 David Rosenblum visits us for the week.

Undefined

Sebastian Uchitel gives invited talk at Pragma Consultores, Buenos Aires, Argentina.

7/12 Sebastian Uchitel gives invited talk at Pragma Consultores, Buenos Aires, Argentina.

Undefined

Grant awarded by ANPCYT: “Síntesis de Controladores para la Ingeniería de Software”, Dr. Sebastián Uchitel.

6/12 Grant awarded by ANPCYT: “Síntesis de Controladores para la Ingeniería de Software”, Dr. Sebastián Uchitel.

Undefined

Diego Garbervetsky visits IMDEA Software, Spain.

6/12 Diego Garbervetsky visits IMDEA Software, Spain.

Undefined

Victor Braberman is appointed Coordinator of the Informatics and Communications Committee, Argentine National Science Agency.

6/12 Victor Braberman is appointed Coordinator of the Informatics and Communications Committee, Argentine National Science Agency.

Undefined

FM paper accepted: German Sibay, Victor Braberman, Jeff Kramer, and Sebastian Uchitel. Distribution of modal transition systems

5/12 FM paper accepted: German Sibay, Victor Braberman, Jeff Kramer, and Sebastian Uchitel. Distribution of modal transition systems. 

Undefined

Pages