EJCP'2004

ECOLE JEUNES CHERCHEURS EN PROGRAMMATION

DU 24 MAI AU 4 JUIN 2004

1ère semaine : Ecole des Mines de Nantes
2ème semaine : Domaine de Port aux Rocs au Croisic




Programme Préliminaire

24 mai
25 mai
26 mai
27 mai
28 mai
29 mai
30 mai
31 mai
1er juin
2 juin
3 juin
4 juin

09h00

10h30

F. Benhamou et N. Beldiceanu
M-L Potet et D. Bert
C. Consel et L. Réveillère
X. Leroy
P. Cousot
Détente
Détente
P. Cointe
JM Jézéquel
T. Genet et T. Jensen
C. Fournet et A. Gordon
G. Barthe
10h30
Pause
Pause
Pause
Pause
Pause
Pause
Pause
Pause
Pause
Pause

11h00

12h30

F. Benhamou et N. Beldiceanu
M-L Potet et D. Bert
C. Consel et L. Réveillère
X. Leroy
P. Cousot
P. Cointe
JM Jézéquel
T. Genet et T. Jensen
C. Fournet et A. Gordon
G. Barthe

12h30

14h00

Déjeuner
Déjeuner
Déjeuner
Déjeuner
Déjeuner
Déjeuner
Déjeuner
Déjeuner
Déjeuner
Déjeuner

14h00

15h30

F. Benhamou et N. Beldiceanu
M-L Potet et D. Bert
C. Consel et L. Réveillère
X. Leroy
P. Cousot
D. Schmidt
J. Noyé
T. Genet et T. Jensen
C. Fournet et A. Gordon
G. Barthe
15h30
Pause
Pause
Pause
Pause
Pause
Pause
Pause
Pause
Pause

16h00

17h00

F. Benhamou et N. Beldiceanu
M-L Potet et D. Bert
C. Consel et L. Réveillère
X. Leroy
P. Cousot
D. Schmidt
J. Noyé
T. Genet et T. Jensen
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
19h30
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 des types à Java Card
Frédéric Benhamou et Nicolas Beldiceanu LINA Nantes Programmation par contraintes
Pierre Cointe et Jacques Noyé Ecole des Mines de Nantes, INRIA Rennes Composants logiciels et programmation par aspects
Charles Consel et Laurent Réveillère INRIA Futurs-LaBRI, INRIA Futurs-ENSEIRB Langages dédiés
Patrick Cousot Ecole Normale Supérieure, Paris Analyse de programmes
Cédric Fournet et Andrew Gordon Microsoft Research, Cambridge, UK Sécurité et code mobile
Thomas Genet et Thomas Jensen IRISA Rennes Modèles de sécurité et protocoles cryptographiques
Jean-Marc Jézéquel et Dave Schmidt Université de Rennes I/Université du Kansas, USA Architectures logicielles
Xavier Leroy INRIA Rocquencourt Compilation et machines virtuelles
Marie-Laure Potet et Didier Bert IMAG Grenoble La méthode B

Mise à jour : 18/05/2004