Outils de preuves formelles : AdaCore et l’Inria lancent le laboratoire commun
Les activités du laboratoire s’articuleront autour du développement d’outils de preuves formelles et de leur déploiement auprès des industriels pour…
Les activités du laboratoire s’articuleront autour du développement d’outils de preuves formelles et de leur déploiement auprès des industriels pour…
La création de l'Agence du Numérique traduit ainsi la nécessité d'une approche globale du numérique dans les territoires. (suite…)
Un rapport, remis au ministre de l'Economie, Emmanuel Macron, propose d’élaborer et de promouvoir une politique nationale de normalisation. (suite…)
Le pôle de compétitivité S2E2 organise, le 19 février prochain, un séminaire autour d’une plate-forme de développement technologique CERTeM +,…
Avec le soutien de L'Atelier et de BNP Paribas, l'initiative du MIT Technology Review a décidé de lancer un appel…
Des retours d’expérience du déploiement du Lean chez plusieurs sous-traitants en électronique (Eolane, Ose et Pige Electronique) seront présentés au…
Chaque année, en France, les installations d’éclairage non conformes dans les bâtiments tertiaires génèrent 4 000 000 de tonnes de CO2 produites…
La Most Cooperation a accueilli il y a quelques semaines le premier constructeur automobile chinois à en devenir membre et…
Dans le cadre du Forum international de la cybersécurité (FIC) qui s’est tenu à Lille Grand Palais les 20 et…
Le projet Félin (Futur équipement LTE intégré avec virtualisation) - à ne pas confondre avec l'équipement connecté de l'armée de…
La RATP est en avance sur son programme de remplacement des 250 000 points lumineux à lampes fluorescentes répartis dans…
Le FEI, dédié spécifiquement au soutien des entreprises, a investi 213 millions d'euros en prises de participation et garanties, lesquels…
Veolia transportera pour le compte de l'éco-organisme Eco-Systèmes environ 500 conteneurs entre les ports de Rouen et de Gennevilliers, évitant…