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): “Research ideas and possible directions from an alien”
17:00 Cristián Ruz: “Autonomic Management of Component-based Services”

Wednesday 25
10:00 Gustavo Pabon: “Skeletons with Autonomic Behaviour in Skandium” (via Skype)
10:30 Tomás Barros
11:00 Coffee Break
11:30 Alonso González: “Formal Properties on e-vote design”
12:00 Ludovic Henrio: “Formal Models for Programming and Composing Correct Distributed Systems”
12:30 Lunch

27-28 November 2013: Second SCADA workshop in Sophia Antipolis

Cristian Ruz and Javier Bustos came to Sophia Antipolis. program:

Wednesday 27:

9:30 – 11:30 Session on programming models:

• Algorithmic skeletons: programming model, events, autonomic skeletons and experiments Ludovic Henrio and Javier Bustos
• Multi-active objects” programming model and recent advances Ludovic Henrio

14:16:00 Session on autonomic components and virtual machine placement:

• Experiments with the autonomic GCM component framework Cristian Ruz
• Btrplace: virtual machoine placement and its validation. Fabien Hermenier

Thursday 28:

10:00 – 11:45 Session on component verification

• Current status of OASIS research on component verification. Eric Madelaine, Oleksandra Kulankhina, and bartlomiej szejna
• Timed pNets. Yanwen Chen

14:00 – 15:00 Session on component models

• Layered component model Olivier Dalle

15:00-17:00 General discussion on the program for 2014.