The trademarks displayed on this site are the property of AdaCore or other third parties.
The SPARK programming language is not sponsored by or affiliated with SPARC International Inc and is not based on the SPARC(tm) architecture.
- HP-UX and OpenVMS are trademarks of Hewlett-Packard.
- Solaris and Java are trademarks of Oracle.
- Mac and Mac OS are trademarks of Apple Inc.
- Motif and UNIX are trademarks of The Open Group.
- Microsoft Windows and .NET are trademarks of Microsoft Corporation.
- VxWorks and VxWorks 653 are trademarks of Wind River Systems, Inc.
- LynxOS is a trademark of LynuxWorks, Inc.
- Intel is a trademark of Intel Corporation.
- Eclipse is a trademark of Eclipse Foundation, Inc.
All other brand and product names may be trademarks of their respective holders.
If you request information relating to solutions we provide jointly with another company, we may share the data they need to answer your request. In addition, we may disclose your data to our providers of e-mail distribution and customer management services to be used exclusively on our behalf. Other than those cases, we never disclose your data to third parties.
Your data will be stored by AdaCore SAS in France, Ada Core Technologies Inc. in the United States, and by the above providers in compliance with directive 95/46/EC and regulation 2016/679/EU (which include confidentiality and security provisions) for the exclusive purpose of providing the services you subscribed to until you opt-out. Please note that your data may remain in our disaster-recovery systems or with third-party providers for some time after you opt-out.
You always have the right to access or modify your data or to opt out from our services. If you wish to do so or have questions about AdaCore’s use of your personal data, please contact us at:
North American Office
150 W. 30th Street, 16th floor
New York, NY 10001
Tel. +1 212 620 7300
Fax +1 212 807 0162
46 rue d’Amsterdam
Tel. +33 1 49 70 67 16
Fax +33 1 49 70 05 52