“EU project, part of the FP7 People Programme. It is an international research staff exchange agreement with the aim of facilitating mobility and collaboration between Argentina and Europe on the use of formal methods and logic to model, understand and analyse systems. The Principal investigator is Dr Alessandra Russo and the contact person is Dr Sebastian Uchitel.”