Le logiciel est devenu omniprésent : on le retrouve désormais dans tous les processus industriels, administratifs et individuels, il est présent dans toutes sortes de dispositifs électroniques, et on voit se généraliser l'usage de composants logiciels libres dans toutes sortes 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.
Pour contribuer à cela, l'Initiative pour la Recherche et l'Innovation sur le Logiciel Libre (IRILL) et le groupe de travail logiciel libre (GTLL) du pôle de compétitivité Systematic organisent deux journées dédiées aux académiques et industriels de la région Île de France sur la validation, la certification, la preuve et l'analyse de code.
Une série de courtes présentations permettront de découvrir une sélection d'outils de pointe, issus de la recherche, et des retours d'expérience industriels.
Ces deux journées auront lieu les 14 et 15 juin 2012, de 9h à 17h à l'IRILL (23 avenue d'Italie à Paris)
Aller plus loin
- Le programme de la journée (190 clics)
- S'inscrire (24 clics)
- Comment venir (18 clics)
# Langue ?
Posté par jcr83 . Évalué à 1.
Le programme est en anglais. Cela veut-il dire que les conférences seront aussi faites en anglais ?
[^] # Re: Langue ?
Posté par Sylvestre Ledru (site web personnel) . Évalué à 1.
Les deux journées seront en Français!
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.