ACCUEIL
Programme
Les ressources (transparents, énoncés de TP) sont sur la page en anglais.
| Première semaine : Manoir de la Vicomté à Dinard | ||||
| Horaires | Jeudi 23 mai | Vendredi 24 mai | Samedi 25 mai | Dimanche 26 mai |
| 9H00 | Jean-Christophe Filliâtre Vérification déductive de programmes avec Why3 |
Stéphane Ducasse Une ballade dans un langage réflexif : Pharo |
Thomas Jensen Static program analysis |
Activité nautique : Catamaran |
| 10H30 | Pause | Pause | Pause | |
| 11H00 | Jean-Christophe Filliâtre Vérification déductive de programmes avec Why3 |
Stéphane Ducasse Une ballade dans un langage réflexif : Pharo |
Thomas Jensen Static program analysis |
|
| 12H3014H00 | Déjeuner | Déjeuner | Déjeuner | |
| 14H00 | Jean-Christophe Filliâtre Vérification déductive de programmes avec Why3 |
Stéphane Ducasse Une ballade dans un langage réflexif : Pharo |
Présentation des travaux de thèse des doctorants | |
| 15H30 | Pause | Pause | Pause | |
| 16H00 | Jean-Christophe Filliâtre Vérification déductive de programmes avec Why3 |
Stéphane Ducasse Une ballade dans un langage réflexif : Pharo |
Présentation des travaux de thèse des doctorants | |
| 18H0019H30 | Détente | Détente | Détente | |
| 19H30 | Dîner | Dîner | Dîner | |
| Deuxième semaine : Centre Inria Rennes Bretagne - Atlantique | |||||
| Horaires | Lundi 27 mai | Mardi 28 mai | Mercredi 29 mai | Jeudi 30 mai | Vendredi 31 mai |
| 9H00 | Jacques Noyé Scala, un mariage pour tous : classes/objets, fonctions et acteurs |
Damien Pous Coq : de la théorie à la pratique |
Bernhard Rumpe Generative, Compositional Software Development |
Manuel Serrano La programmation du Web diffus |
Steve Kremer Les protocoles de sécurité : modélisation et vérification |
| 10H30 | Pause | Pause | Pause | Pause | Pause |
| 11H00 | Jacques Noyé Scala, un mariage pour tous : classes/objets, fonctions et acteurs |
Damien Pous Coq : de la théorie à la pratique |
Bernhard Rumpe Generative, Compositional Software Development |
Manuel Serrano La programmation du Web diffus |
Steve Kremer Les protocoles de sécurité : modélisation et vérification |
| 12H3014H00 | Déjeuner | Déjeuner | Déjeuner | Déjeuner | Déjeuner |
| 14H00 | Jacques Noyé Scala, un mariage pour tous : classes/objets, fonctions et acteurs |
Damien Pous Coq : de la théorie à la pratique |
Bernhard Rumpe Generative, Compositional Software Development |
Manuel Serrano La programmation du Web diffus |
Retour |
| 15H30 | Pause | Pause | Pause | Pause | |
| 16H00 | Jacques Noyé Scala, un mariage pour tous : classes/objets, fonctions et acteurs |
Damien Pous Coq : de la théorie à la pratique |
Bernhard Rumpe Generative, Compositional Software Development |
Manuel Serrano La programmation du Web diffus |
|
| 18H0019H30 | Détente | Détente | Détente | Détente | |
| 19H30 | Dîner libre | Dîner libre | Dîner libre | Dîner libre | |
PROGRAMME
INSCRIPTION
LOGISTIQUE
CONTACTS
AFFICHE
