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
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.
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
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.