- 9h30-10h30 : Présentation générale du projet EVA-Flo et de l'avancement des travaux dans l'équipe Arénaire, Nathalie Revol
- 11h00-12h30 : cours sur la différentiation automatique : Automatic Differentiation of programs and its applications to Scientific Computing, Laurent Hascoët
- 14h00-15h00 : présentation de l'avancement des travaux dans l'équipe Dali, David Defour ( pdf de qualité moyenne)
- 15h00-16h00 : présentation de l'avancement des travaux dans l'équipe Fluctuat, Matthieu Martel (article accepté à la conférence Static Analysis Symposium)
- 16h30-18h00 : discussion : apports et attentes de chacun vis-à-vis d'EVA-Flo
- 9h00-10h30 : Langage pour Expressions Mathématiques Annotées, Vincent Lefèvre et discussion
- 11h00-12h30 : Compensated Algorithms, Nicolas Louvet et discussion
- 14h00-16h30 : discussion : mises au point et travaux futurs
