Ecole JEUNES
CHERCHEURS
en PROGRAMMATION

du 3 au 12 juin 2009

 
Programme préliminaire



3 juin
4 juin
5 juin
6 juin
7 juin
8 juin
9 juin
10 juin
11 juin
12 juin

09h00

10h30
P. Raymond
M-L. Potet
J. Tretmans
Présentation des travaux de thèse des étudiants
Sortie en mer
N. Marti-Oliet
Y. Bertot
T. Genet &
T. Jensen
J-M Jézéquel
D. Schmidt
10h30
Pause
Pause
Pause
Pause
Pause
Pause
Pause
Pause
Pause

11h00

12h30
P. Raymond
M-L. Potet
J. Tretmans
Présentation des travaux de thèse des étudiants
N. Marti-Oliet
Y. Bertot
T. Genet &
T. Jensen
J-M Jézéquel
D. Schmidt

12h30

14h00
Déjeuner
Déjeuner
Déjeuner
Déjeuner
Déjeuner
Déjeuner
Déjeuner
Déjeuner
Déjeuner

14h00

15h30
P. Raymond
M-L. Potet
J. Tretmans
Présentation des travaux de thèse des étudiants

N. Marti-Oliet

Y. Bertot
Temps libre
J-M Jézéquel
Retour
15h30
Pause
Pause
Pause
Pause
Pause
Pause
Pause

16h00

18h00
P. Raymond
M-L. Potet
J. Tretmans
Présentation des travaux de thèse des étudiants
N. Marti-Oliet
Y. Bertot
J-M Jézéquel
18h00

18h30
Détente
Détente
Détente
Détente
Pause
Pause
Pause
Présentation des travaux de thèse des étudiants
Présentation des travaux de thèse des étudiants
Présentation des travaux de thèse des étudiants
19h30
Dîner
Dîner
Dîner
Dîner
Dîner libre

 

Intervenants
Organismes
Intitulé du cours
Pascal Raymond Laboratoire VERIMAG Synchrounous programming
Marie-Laure Potet
Laboratoire VERIMAG The B method
Jan Tretmans Radboud Universiteit Nijmegen, the Netherlands Software testing
Narciso Marti-Oliet Universidade Complutense de Madrid Programming and verifying with Maude
Yves Bertot
INRIA Sophia Antipolis Programming and verifying with Coq
Thomas Genet
IRISA Rennes Security
Thomas Jensen
IRISA Rennes Security

Jean-Marc Jézéquel

IRISA Rennes Model-driven engineering
Dave Schmidt Université du Kansas, USA Software architecture - an informal introduction

 

Mise à jour : 25/05/2009