Ecole
JEUNES
CHERCHEURS
en PROGRAMMATION
du 3 au 15 juin 2007
|
|
Ecole
JEUNES du 3 au 15 juin 2007
|
| Programme Préliminaire | |
4 juin |
5 juin |
6 juin |
7 juin |
8 juin |
9 juin |
10 juin |
11 juin |
12 juin |
13 juin |
14 juin |
15 juin |
|
09h00 10h30 |
R.Douence, J.Noyé et M.Südholt
|
D. Bert |
C. Fournet |
X. Leroy |
J.-P. Banâtre et P. Fradet |
Détente
|
Sortie en mer
|
Y. Bertot et D.Pichardie |
Y. Bertot et D.Pichardie |
F. Fages |
D. Schmidt
|
P. Jorrand |
| 10h30 | Pause |
Pause |
Pause |
Pause |
Pause |
Pause |
Pause |
Pause |
Pause |
Pause |
||
11h00 12h30 |
R.Douence, J.Noyé et M.Südholt |
D. Bert |
C. Fournet |
X. Leroy |
J.-P. Banâtre et P. Fradet |
Y. Bertot et D.Pichardie |
Y. Bertot et D.Pichardie |
F. Fages |
D. Schmidt
|
P. Jorrand |
||
12h30 14h00 |
Déjeuner |
Déjeuner |
Déjeuner |
Déjeuner |
Déjeuner |
Déjeuner |
Déjeuner |
Déjeuner |
Déjeuner |
Déjeuner |
||
14h00 15h30 |
R.Douence, J.Noyé et M.Südholt
|
D. Bert |
C. Fournet |
X. Leroy |
J.-P. Banâtre et P. Fradet |
Y. Bertot et D.Pichardie |
Y. Bertot et D.Pichardie |
F. Fages
|
Présentation des travaux de thèse des étudiants
|
Retour
|
||
| 15h30 | Pause |
Pause |
Pause |
Pause |
Pause |
Pause |
Pause |
Pause |
Pause |
|||
16h00 17h00 |
R.Douence, J.Noyé et M.Südholt |
D. Bert |
C. Fournet |
X. Leroy |
J.-P. Banâtre et P. Fradet |
Y. Bertot et D.Pichardie |
Y. Bertot et D.Pichardie |
F. Fages
|
Présentation des travaux de thèse des étudiants
|
|||
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îner libre |
||||||
| 19h30 | Dîner |
Dîner |
Dîner |
Dîner |
Dîner |
|||||||
|
Intervenants |
Organismes |
Intitulé du cours |
|
 |
Jean-Pierre
Banâtre Pascal Fradet |
IRISA Rennes INRIA Rhône-Alpes |
Modèles de programmation chimique |
|
Didier
Bert |
IMAG Grenoble | Spécification et développement par raffinements en B |
|
Yves Bertot David Pichardie |
INRIA Sophia Antipolis IRISA Rennes |
Théorie des types, Programmer et prouver en Coq, Preuve de programmes par analyse statique |
|
Rémi Douence Jacques Noyé Mario Südholt |
Ecole des Mines de Nantes, INRIA Rennes | langages de composants et langages d'aspects component and aspect oriented languages |
|
François
Fages |
INRIA Rocquencourt | Programmation par contraintes |
|
Cédric Fournet |
Microsoft Research, Cambridge, UK | Vérification des protocoles cryptographiques et de leurs implémentations |
|
Philippe
Jorrand |
CNRS IMAG Grenoble | Introduction au traitement et à la communication de l'information quantique |
| |
INRIA Rocquencourt | Compilation et machines abstraites | |
|
Dave Schmidt | Université du Kansas, USA | Software architecture - an informal introduction |
| Mise à jour : 09/05/2007 |