Under the patronage of

Institution partners

Diamond Sponsors

Platinum Sponsors

Gold Sponsors

Silver Sponsors

Bronze Sponsors

Organizers

Main Organizer

Co-organizers

Experiment day organizers

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/