Sponsors - Ada Resource Association

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.

North American Office

104 Fifth Avenue, 15th floor New York, NY 10011 USA

Tel. +1 212 620 7300
Fax +1 212 807 0162

European Office

46 rue d'Amsterdam 75009 Paris FRANCE

Tel. +33 1 49 70 67 16
Fax +33 1 49 70 05 52

web
www.adacore.com

email
sales@adacore.com

Altran is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. Altran, in partnership with AdaCore, provides SPARK Pro – the foremost language, toolset and design discipline for the engineering of high-assurance software.

Bath Office

2nd Floor 22 St. Lawrence Street Bath BA1 1AN United Kingdom

Tel. +44 (0)1225 466991
Fax +44 (0)1225 469006

London Office

2nd Floor Shackleton House 4 Battle Bridge Lane London SE1 2HP United Kingdom

Tel. +44 (0)203 117 0880
Fax +44 (0)203 117 0881

web
www.altran.co.uk

email
sparkinfo@altran.com

Atego is a world leading software tools and professional services company, focused on helping organizations engineer complex, mission- and safety-critical systems and software. With today’s systems and software engineering projects continually growing in complexity, Atego’s collaborative development tools, robust runtime environments, certification know-how and supporting services enable abstraction, optimization and automation – dramatically increasing quality, security and productivity. Atego’s Ada products include the ObjectAda and ApexAda development systems.

North America

5930 Cornerstone Court West, Suite 250 San Diego, CA 92121 USA

Tel. 858-356-5446
Fax 858-824-0212

Europe

701 Eagle Tower, Montpellier Drive Cheltenham, GL50 1TA UK

Tel. +44 1242-229-300
Fax +44 1242-229-301

web
www.atego.com

email
info@atego.com