Cookie Policy
AdaCore cares about your privacy and enables you to choose the types of cookies you allow us to use when you visit our website. You may use the “Manage Cookie Settings” functionality in the cookie banner of our website(s) to change our default settings. We use cookies to enhance your experience on our website. They also assist us in improving the website's performance and delivering relevant content to you. Choosing not to allow the use of certain cookies may affect your browsing experience and limit the availability of some services.
Your choices will be recorded by AdaCore for a duration of one year, after which you will be required to provide your preferences again.
What is a cookie?
A cookie is a text file which may be stored on a device when accessing an online service using a browser.
Why do we store cookies on your device?
We install cookies on your device to allow us to recognize your browser when you use our website.
Cookies allow us to receive and store certain types of information each time you interact with us. Therefore, when you access our website(s), information about your browsing history may be recorded in cookies installed on your device.
We send these cookies to facilitate your browsing on our website(s) or enable certain features. They may also be installed by our partners to personalize the advertising which is addressed to you outside of our website(s). Cookies may be located in different areas of our website(s). Only the sender of a cookie can read or modify the information it contains.
We send cookies for the following purposes:
To compile traffic statistics (number of visits, pages viewed) in order to monitor and improve the quality of our services via Google Analytics
To stay in the site language selected when you first accessed the Site
To provide a personalized browsing experience
For better tracking of usage of our websites in order to improve the content of our websites
To analyze your visiting patterns to improve our websites
To save your password so you don't have to re-enter it each time you visit our support website
Third-party cookies
When you access our website(s), one or several cookies from partner companies (known as ‘third-party cookies’) may be installed on your device by the pages of our website(s).
The purposes of third-party cookies are:
To identify the pages consulted on our website(s) in order to personalize the advertising which is addressed to you outside of our website via Facebook, LinkedIn, Google Ads;
To make it easier for website users to share content and improve user-friendliness (social network buttons);
To send you targeted marketing by email, if you have given authorization to this effect.
The installation and use of cookies by third parties are subject to the third parties’ privacy policies. We have no access to or control over third-party cookies. You may read the third parties’ privacy policies here:
You can refuse third-party cookies by choosing the relevant setting in your browser. Any settings may affect your internet browsing and the conditions of access to certain services requiring the use of cookies. You can change your browser's settings at any time to store cookies on your device or, to reject them, either systematically or according to the sender. You can also set your browser to accept or reject cookies on an individual basis, before a cookie is potentially stored on your device.
If your browser is set to reject all cookies, you will not be able to take advantage of certain functions on our website(s), such as receiving personalized recommendations. The settings are different for each browser. They are explained in the help menu of your browser, where you can see how to set your cookie preferences. You can find more information on how to remove or control cookies at www.AboutCookies.org
Profiling
We can show content or send personalized messages by using ‘profiling’ techniques (defined in the GDPR as ‘any kind of automated personal data processing consisting in using personal data to assess certain personal aspects relating to a physical person, particularly for analyzing or predicting elements relating to his or her personal preferences, interests, behavior or location’):
How long are cookies installed for?
The cookies installed on your browsing device with your consent are destroyed one year after being installed on your device.