Python pour l'analyse de données et Frama-C au menu en juin de l'Open Source Innovation Spring (version imprimable)


Python pour l'analyse de données et Frama-C au menu en juin de l'Open Source Innovation Spring Organisé du 3 mai au 28 juin 2016 par le pôle Systematic Paris-Region et son groupe thématique Logiciel libre (GTLL) avec l'Irill (Initiative de recherche et innovation sur le logiciel libre), l'Open Source Innovation Spring ...(Osis ou Printemps de l'innovation open source) est l’occasion, à travers huit conférences thématiques, de découvrir et de débattre des toutes dernières avancées de la R&D en logiciel libre, qu'elle soit académique ou industrielle, avec des sujets sur l'IoT, la sécurité et la sûreté, la qualité logicielle, le cloud, le Big Data et la programmation Web. Après les conférences du mois de mai, qui ont en particulier porté sur les apports de l'open source à l'Internet des objets (avec notamment une contribution de la communauté liée au système d’exploitation RIOT) et sur la sécurité, la sûreté et la confidentialité des données, deux conférences en juin intéressent le monde de l’embarqué et de l’analyse de données. Ainsi les 14 et 15 juin se tiendra la conférence PyData à l’ESILV (Ecole supérieure d’ingénieurs Léonard-de-Vinci) à Paris La Défense. Un événement qui portera sur l’utilisation du langage open source Python et de ses nombreuses bibliothèques dédiées au calcul scientifique pour des applications de traitement des données, d’apprentissage automatique (ou machine learning, avec la bibliothèque scikit-learn) ou encore de visualisation des données. Une semaine plus tard, le 20 juin à la Maison de la recherche (Paris 7e), une journée sera consacrée à l’environnement de vérification Frama-C développé au sein du CEA et de l’Inria. Rappelons que cette boîte à outils en open source dédiée à la vérification de logiciels écrits en C fait cohabiter dans un même environnement plusieurs techniques d'analyse statique, de vérification de règles de codage, d’analyse par interprétation abstraite, de vérification de spécifications fonctionnelles, de méthodes formelles… Les détails de la conférence PyData sont accessibles ici, ceux de la conférence Frama-C ici. La liste complète des conférences de l’Open Source Innovation Spring est disponible ici.

Python pour l'analyse de données et Frama-C au menu en juin de l'Open Source Innovation Spring

Organisé du 3 mai au 28 juin 2016 par le pôle Systematic Paris-Region et son groupe thématique Logiciel libre (GTLL) avec l'Irill (Initiative de recherche et innovation sur le logiciel libre), l'Open Source Innovation Spring ...(Osis ou Printemps de l'innovation open source) est l’occasion, à travers huit conférences thématiques, de découvrir et de débattre des toutes dernières avancées de la R&D en logiciel libre, qu'elle soit académique ou industrielle, avec des sujets sur l'IoT, la sécurité et la sûreté, la qualité logicielle, le cloud, le Big Data et la programmation Web.

Après les conférences du mois de mai, qui ont en particulier porté sur les apports de l'open source à l'Internet des objets (avec notamment une contribution de la communauté liée au système d’exploitation RIOT) et sur la sécurité, la sûreté et la confidentialité des données, deux conférences en juin intéressent le monde de l’embarqué et de l’analyse de données.

Ainsi les 14 et 15 juin se tiendra la conférence PyData à l’ESILV (Ecole supérieure d’ingénieurs Léonard-de-Vinci) à Paris La Défense. Un événement qui portera sur l’utilisation du langage open source Python et de ses nombreuses bibliothèques dédiées au calcul scientifique pour des applications de traitement des données, d’apprentissage automatique (ou machine learning, avec la bibliothèque scikit-learn) ou encore de visualisation des données.

Une semaine plus tard, le 20 juin à la Maison de la recherche (Paris 7e), une journée sera consacrée à l’environnement de vérification Frama-C développé au sein du CEA et de l’Inria. Rappelons que cette boîte à outils en open source dédiée à la vérification de logiciels écrits en C fait cohabiter dans un même environnement plusieurs techniques d'analyse statique, de vérification de règles de codage, d’analyse par interprétation abstraite, de vérification de spécifications fonctionnelles, de méthodes formelles…

Les détails de la conférence PyData sont accessibles ici, ceux de la conférence Frama-C ici. La liste complète des conférences de l’Open Source Innovation Spring est disponible ici.