Outils pour l'Analyse Dynamique et la mise au Point de
Programmes avec Contraintes
Programme (le programme définitif sera mis en ligne au cours de la joutrnée du 13 mai)
| 9.30 | Café d'accueil |
| 10.00 | Introduction |
| 10h15 | Présentations techniques et démos |
| 11.30 | Pause |
| 11.45 | Présentations techniques et démos |
| 13.00 | Déjeuner sur place (sur invitation) |
| 14.30 | Présentations techniques et/ou Discussion avec les experts |
| 15h30 | Pause et clôture des exposés |
| 16h |
Discussion ouverte (travaux futurs) |
| 16h30 |
Clôture |