Systematic
Thématique : Logiciel Libre
Effacer vos filtres

Méthode formelle de preuve de programme par la vérification déductive : technologies & cas d’usage des environnements Frama-C & SPARK

# Fiabilité logicielle # Systèmes à niveau critique de sûreté et sécurité Garantir la haute intégrité des logiciels utilisés dans les systèmes demandant un niveau critique de sûreté est un enjeu majeur. La vérification du code source est ainsi une étape cruciale du développement logiciel, afin de s’ ...

Jean-Luc Beylat devient le nouveau Président de l'association Bernard Gregory

L’Assemblée Générale de l’Association Bernard Gregory (ABG), réunie le jeudi 4 avril 2019, a validé la nomination de M. Jean-Luc Beylat à la présidence de l’association. Cette nomination fait suite au vote, à l’unanimité, du Conseil d’administration du 14 mars 2019. M. Jean-Luc Beylat succède ...

Découvrez le programme DeepTech4Good

Deeptech4Good est un “programme d’accélération” visant à accompagner le développement de 30 Start-up IoT-deeptech à travers la connexion de 4 hubs (Paris, Barcelone, Stuttgart/Karlsruhe, Styrie & Carinthie). Les marchés visés se concentrent sur 4 domaines d’application émergent ...

[C-Voucher] Commown et Cairn Devices : deux entreprises françaises unies pour une électronique responsable

Le Pôle Systematic était mercredi 6 mars à Strasbourg pour donner le coup d’envoi officiel à l’encadrement des premières entreprises lauréates du projet C-Voucher. C-Voucher, projet européen visant à aider les PME souhaitant se lancer dans l’économie circulaire, est entré depuis fé ...

APPEL A CANDIDATURE PARIS-SACLAY SPRING 2019

Vous souhaitez promouvoir votre activité, trouver de nouvelles opportunités de développement ? Vous cherchez des financements et/ou des partenariats stratégiques ? PARTICIPEZ AU PITCH CONTEST & AUX VILLAGES INNOVATION ! Dans l’une des 5 thématiques suivantes : Energie / Climat / Environnem ...

OW2con'19 : Appel à conférences

La conférence annuelle OW2, rencontre internationale d’experts, d’architectes, de développeurs et de chefs de projets open source, ouvre son appel à conférences. La conférence annuelle OW2, qui se tiendra les 12 et 13 juin prochains à Paris, est une rencontre internationale d’experts, d’architectes, ...

Systematic Paris-Region, Pôle européen des Deep Tech, annonce sa fusion avec Opticsvalley, qui devient son nouveau Hub technologique dédié à l'Optique-Photonique

Systematic Paris-Region, Pôle européen des Deep Tech, annonce qu’Opticsvalley, cluster créé en 1999 pour animer les thématiques optique-photonique-électronique en Ile-de-France avec le soutien du Département de l’Essonne et de la Région Ile-de-France, deviendra son Hub Optics & Photonics. Le rap ...

Mobile World Congress 2019 : participez à la soirée networking

Le Pôle Systematic Paris-Region, Business France, la Chambre de Commerce et d’Industrie Paris Ile-de-France et le réseau Enterprise Europe Network ont le plaisir d’organiser dans le cadre du MWC 2019 une soirée de networking ! Cette soirée sera l’occasion de faire du business et du partage d’expérie ...

C-Voucher : découvrez les 6 vainqueurs du "Programme Circulaire"

Le Pôle Systematic, partenaire du projet européen C-Voucher, présente les 6 vainqueurs du premier appel à proposition, au terme du bootcamp qui s’est déroulé les 5 et 6 Février 2019 à Santiago de Compostella (Galicie, Espagne). Les 6 vainqueurs entrent donc dans le « programme d’accélération circula ...

Newsletter Systematic