Sous le patronage de

  • Logo Ministère de l'économie

Partenaires INSTITUTIONNELS

  • Direccte Ile de France
  • Région Île de France
  • Ville de paris
  • Agence Régionale de Développement Paris Île-de-France
  • W3C
  • SYNTEC NUMERIC

Sponsors diamant

  • Red Hat

Sponsors platine

  • Alter way
  • Smile

Sponsors gold

  • Neo Telecoms
  • SUSE
  • INRIA
  • vmware Logo
  • Microsoft
  • Intel AppUp℠ Developer Program

Sponsors Silver

  • Oracle Logo
  • Capgemini
  • af83
  • Adacore
  • Bearstech Logo
  • Qualcomm
  • Ubuntu

Sponsors bronze

  • Accenture
  • Alcatel-Lucent Logo
  • hp
  • Jamendo
  • Nuxeo
  • XWIKI

Organizers

Organisateurs

  • Systematic

Co-organisateurs

  • af83
  • Alter way
  • Smile

Experiment day organizers

  • Cap Digital
  • Hackable Devices

Adacore

Adacore

AdaCore est un fournisseur d'outils Open Source et a développé une expertise dans le développement de logiciels mettant l'accent sur la fiabilité, la sécurité et la sûreté. Les produits phares d'AdaCore sont les environnement de développement GNAT Pro et SPARK Pro ainsi que CodePeer, vérificateur automatique de code. L'environnement de développement GNAT Pro prend en compte tous les outils nécessaires à la construction d'applications solides et sûres. Ada et GNAT Pro font face à un usage grandissant d'applications de haute fiabilité et sûres, avec notamment les avioniques des flottes commerciales, les systèmes militaires, le contrôle du traffic aérien, les systèmes ferroviaires et les services médicaux ainsi que dans des domaines très sensibles au niveau sécurité comme les services financiers.

http://www.adacore.com/