Become a sponsor

Partners

Under the patronage of

  • Logo Ministère de l'économie

Institution partners

  • Région Île de France
  • Ville de paris

Platinium Sponsors

  • Alter way
  • Smile

Gold Sponsors

  • INRIA
  • Microsoft

Silver Sponsors

  • Af83
  • Adacore
  • Bearstech Logo

Bronze Sponsors

  • Accenture
  • hp
  • Nuxeo
  • SugarCRM
  • XWIKI

Organizers

Organizers

  • Systematic

Co-organizers

  • Af83
  • Alter way
  • Smile

Adacore

Adacore

AdaCore provides open source tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer and validator. The GNAT Pro development environment includes all tools (code coverage and profiling, code standard checker, documentation generator, source code metrics, etc.) necessary for building robust and reliable applications. Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems and medical devices, and in security-sensitive domains such as financial services.

http://www.adacore.com/