3. Plan
● 9:00 - Ouverture, par Isabelle Ryl
● 09:10 - Introduction scientifique, par Xavier Leroy
● 09:30 - Savoir-faire et logiciels open source
● Coccinelle par Julia Lawall / Gilles Muller
● Moose par Usman Bhatti
● Why par Andrei Paskevich
● veriT par Pascal Fontaine
● Alt-Ergo par Sylvain Conchon
● 10:30 - Rendez-vous personnalisés avec les chercheurs