EJCP'2003
ECOLE JEUNES CHERCHEURS EN PROGRAMMATION
DU 26 MAI AU 6 JUIN 2003
CENTRE PAUL LANGEVIN - AUSSOIS
|
|
||||
 |
 |
 |
 |
 |
 |
 |
|
|
26 mai
|
27 mai
|
28 mai
|
29 mai
|
30 mai
|
31 mai
|
1er juin
|
2 juin
|
3 juin
|
4 juin
|
5 juin
|
6 juin
|
|
09h00 10h30 |
F. Fages
|
G. Barthe
|
D. Bert et M-L Potet
|
P. Cousot
|
N. Halbwachs et F. Maraninchi
|
P. Clauss
|
Détente
|
D. Caromel
|
J-M Jézéquel
|
C. Consel et L.Réveillère
|
C. Fournet et A.Gordon
|
X. Leroy
|
| 10h30 |
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
|
|
11h00 12h30 |
F. Fages
|
G. Barthe
|
D. Bert et M-L Potet
|
P. Cousot
|
N. Halbwachs et F. Maraninchi
|
P. Clauss
|
D.Caromel
|
J-M Jézéquel
|
C. Consel et L.Réveillère
|
C.Fournet et A.Gordon
|
X. Leroy
|
|
|
12h30 14h00 |
Déjeuner
|
Déjeuner
|
Déjeuner
|
Déjeuner
|
Déjeuner
|
Déjeuner
|
Déjeuner
|
Déjeuner
|
Déjeuner
|
Déjeuner
|
Déjeuner
|
|
|
14h00 15h30 |
F. Fages
|
G. Barthe
|
D. Bert et M-L Potet
|
P. Cousot
|
N. Halbwachs et F. Maraninchi
|
P. Clauss
|
D. Caromel
|
J-M Jézéquel
|
C. Consel et L.Réveillère
|
C. Fournet et A.Gordon
|
X. Leroy
|
|
| 15h30 |
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
Pause
|
||
|
16h00 17h00 |
F. Fages
|
G. Barthe
|
D. Bert et M-L Potet
|
P. Cousot
|
N. Halbwachs et F. Maraninchi
|
P. Clauss
|
D. Caromel
|
J-M Jézéquel
|
C. Consel et L.Réveillère
|
C. Fournet et A.Gordon
|
Retour
|
|
|
17h00 18h00 |
Présentation des travaux de thèse
des étudiants
|
Présentation des travaux de thèse
des étudiants
|
||||||||||
| 18h00 |
Détente
|
Détente
|
Détente
|
Détente
|
Détente
|
Détente
|
Détente
|
Détente
|
Détente
|
Détente
|
||
| 19h30 |
Dîner
|
Dîner
|
Dîner
|
Dîner
|
Dîner
|
Dîner
|
Dîner
|
Dîner
|
Dîner
|
Dîner
|
||
|
Intervenants
|
Organismes
|
Intitulé du cours
|
|
 |
Gilles Barthe | INRIA Sophia | De la théorie de types à Java Card |
|
|
François Fages | INRIA Rocquencourt | Programmation par contraintes |
|
|
Philippe Clauss | Université Louis Pasteur, Strasbourg | Compilation de logiciel embarqué |
|
|
Patrick Cousot | ENS, Paris | Interprétation abstraite |
|
|
Nicolas Halbwachs et Florence Maraninchi | Verimag, Grenoble | La programmation synchrone |
|
|
Didier Bert et Marie-Laure Potet | IMAG Grenoble | La méthode B |
|
|
Jean-Marc Jezequel | Université de Rennes I | The Unified Modelling Language |
|
|
Denis Caromel | Université de Nice | Objets concurrents, répartis et mobiles |
|
|
Charles Consel et Laurent Réveillère | INRIA Futurs/LaBRI | Langages dédiés |
|
|
Cédric Fournet et Andrew Gordon | Microsoft Research, Cambridge, UK | Sécurité Logicielle |
|
|
Xavier Leroy | INRIA Rocquencourt | Programmation modulaire |