Legal Notices
Trademarks
The trademarks displayed on this site are the property of AdaCore or other third parties. For further information regarding the use of trademarks, please contact info@adacore.com.
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.
Privacy Statement
At AdaCore (Ada Core Technologies, Inc. and AdaCore SAS), your privacy is important to us and we never share the information you provide us with third parties without your permission. For example, if you request information relating to joint solutions with another company, then we may share necessary information for answering your request. Please note that data collected on our websites may be stored by both companies in our respective NY and Paris offices.
You have the right to access your personal data and modify it should you so wish.
If you have any questions about AdaCore’s use of your personal information, please contact us at:
AdaCore North American Headquarters104 Fifth Avenue, 15th floor
New York, NY 10011
USA
Tel. +1 212 620 7300
Fax +1 212 807 0162
AdaCore European Headquarters
46 rue d’Amsterdam
75009 Paris
FRANCE
Tel. +33 (0)1 49 70 67 16
Fax +33 (0)1 49 70 05 52
www.adacore.com
info@adacore.com