IRILL - Research and Innovation on Free Software Le logiciel est devenu pervasif: on le retrouve désormais dans tous les processus industriels, administratifs et individuels, il est présent dant toute sorte de dispositif éléctronique, et il voit se généraliser l'usage de composants logiciels libres dans toute sorte d'applications. Avec la généralisation de ces usages, la fiabilité du logiciel est une propriété qui devient de plus en plus essentielle,et il est important de favoriser les échanges entre académiques et industriels sur ces sujets.