Research
Activity report 2013
VISITS and EXCHANGES: Visits in Sophia-Antipolis: Matias Ibañez: 2 months internship in France December2012 – January 2013 Cristian Ruz, Javier Bustos: One week visit; 25-29 November — SCADA Workshop in Sophia Antipolis Planned visits for 2014 Ludovic Henrio: 1 week visit to Chile, planned for January 2014 Gustavo Pabon: 2 weeks visit to France (planned …
Events
July 2012: First SCADA Workshop – Chile: Eric Madelaine and Ludovic Henrio traveled to Chile The program is the following: Tuesday 24 14:30 Eric Madelaine: “Specification, Model-Generation, and Verification of Distributed Applications” 15:00 Matías Ibañez: “Modelado vía componentes del sistema oVote” 15:30 Mario Cornejo: “eVote y su problemática” 16:00 Coffee Break 16:30 Martín Gutierrez (UDP): …
Visits
This page summarizes the visits done in the context of the associate team; note that workshops also give us the opportunity to organise short visits. See there Matias Ibañez: 2 months internship in France December2012 – January 2013 Internship in the OASIS team on algorithmic skeletons Ludovic Henrio: 1 week visit to Chile, January 2014 …
