Ca' Foscari
University
of Venice

Course search

Academic year

Advanced search

Course title / Professor

Period

Year of study

Educational sector code

Level

Degree programme

Where

Properties

Courses for part-time students
Online/Blended
Courses with sustainable contents
English-taught courses

To start the search, please select the academic year and fill in at least one of the search fields

Course	Where	University credits	Code
FORMAL METHODS FOR SYSTEM VERIFICATION - computer science and information technology [CM90]	VENEZIA	6	CM0474

Cookie Cookie Policy Information on cookies

This website uses cookies

This website uses cookies. Essential cookies (first party) are necessary for this website to work properly and they allow the University to compile anonymous statistics on its use. If you click on the X, you will only enable essential cookies. With your consent, cookies will activate social media functionalities and produce usage statistics, and your data will be shared with our partners that may associate it with other data for analysis, advertising, ect. On “Cookie list” you can see which cookies may be installed. You can find out more on the “Cookie policy”.

Essential

Google - Youtube

Cookies Policy

Cookie Policy - Privacy notice provided in accordance with EU Regulation 2016/679

Ca' Foscari University of Venice, as part of its institutional aims and in fulfillment of the obligations set forth in article 13 of the EU Regulation 2016/679 ("Regulation"), gives you information regarding the processing of personal data collected by cookies and/or similar technologies when you visit the www.unive.it website (“Website”). Cookies are small pieces of information that a website sends to the user’s device where it is automatically stored and then sent back to the same website or to a third party every time that the website is visited using the same device.

In this notice, the term “cookie” will mean cookies as defined above as well as any other similar tracking technology used in the Website.

1. Data Controller

The data controller is Ca' Foscari University of Venice, with headquarters in Dorsoduro n. 3246, 30123 Venice (VE), legally represented by the Rector pro tempore.

2. Data Protection Officer

The University has appointed a "Data Protection Officer" ("DPO"), who can be contacted by writing to the email address: dpo@unive.it or to the following address: Ca' Foscari University, Venice, Data Protection Officer, Dorsoduro n. 3246, 30123 Venice (VE).

3. Types of cookies, data collect, purposes and legal basis

The cookies used on the website are (please refer to the cookie list for specific information on each cookie):

essential cookies: cookies that are necessary to support the login system and the access to the “Personal Area” of the Website as well as to remember users’ cookie preferences.
Personal data associated with these cookie is: user’s IP address, date and time of the visit, means of data transfer, requested resource, response, response size in byte, link connected to the user requesting the resource, user’s operating system, browser and device used. The legal basis for this processing activity is represented by art. 6.1.b) (“performance of a service asked by the data subject”) and art. 6.1.e) of the Regulation (“execution of a task of public interest or connected to the exercise of public powers''). Being the University is a public body and it is required to have a website where the users can find useful information on its activities (artt. 53 e 54 D.lgs. n. 82/2005). Is not possible to disable these cookies through the banner, as this action will have a negative effect on your navigation of the Website.

analytics cookies (firs party): cookies that collect aggregated and statistical data on the navigation of the Website aimed at measuring the number of visits for each page of the Websites as well as the performance and the usability of the Website. The analytics cookies used on the Website are set by the University. Personal data associated with these cookies is: User IP, browser language, average visit time, page actions (downloads, outlinks), first visit, last visit, device used, ecc. The legal basis for this processing activity is represented by art. 6.1.e) of the Regulation (“execution of a task of public interest or connected to the exercise of public powers''), as the University aims at collecting statistical data on the visits of its Website pages especially with regards to the pages of “Amministrazione Trasparente”. Is not possible to disable these cookies through the banner, as this action will have a negative effect on your navigation of the Website.
third party cookies (social media): these cookies are set by third parties that collect the data in order to analyze the navigation and the preferences of the users. On the website, there are cookies set by Google namely Google-Youtube that allow users to watch Youtube videos on the Website and the University to measure the performance of its communication campaigns. These cookies are managed by Google and the University only processes anonymous and statistical information collected by them, who act as joint controllers on the basis of the CJEU ruling n. C-210/16 (5 June 2018). The legal basis for this processing activity is represented by art. 6.1.a) of the Regulation (“consent of the data subject''). The first time you land on the Website, a banner pops up asking whether you consent to enable these cookies. If you do not consent or withdraw consent at a later time through the “click here to change your cookie preferences” button, this will have no effect on your navigation.

You can always manage your cookie preferences through the browser setting. If you disable all cookies, please note that some activities on the website will not be possible anymore (i.e. the ones on the pages accessible in the Personal Area). To find out more on how to manage cookies through browser settings, please visit:

Internet Explorer: http://windows.microsoft.com/it-it/internet-explorer/delete-manage-cookies#ie=ie-11
Microsoft Edge: https://support.microsoft.com/help/4027947
Google Chrome: https://support.google.com/chrome/answer/95647?co=GENIE.Platform%3DDesktop&hl=en-GB
Apple Safari: https://support.apple.com/en-gb/guide/safari/sfri11471/mac
Mozilla Firefox: https://support.mozilla.org/en-US/kb/cookies-information-websites-store-on-your-computer
Opera: http://help.opera.com/Windows/10.00/it/cookies.html

If you want to know more about profiling cookies on your browser, please visit http://www.youronlinechoices.com..

4. Means of data processing

The processing of personal data will be carried out by authorized employees (in compliance with Article 29 of the Regulation and art. 2-quaterdecies of D. lgs. 196/2003), with the use of computerized procedures, adopting appropriate technical and organizational measures to protect them from unauthorized or illegal access, destruction, loss of integrity and confidentiality, even if accidental in nature.

5. Data retention

For information on the retention period of each cookie, please refer to the list below.

6. Recipients and categories of recipients of personal data and data transfer outside the European Economic Area

For the purposes set out above, in addition to specifically authorized employees and collaborators of the University, personal data may also be processed by those who execute outsourced activities on behalf of the University in their capacity as data processors (the updated list is available at: https://www.unive.it/pag/36643/).

Personal data collected by third party cookies may be transferred outside the European Economic Area (EEA) in compliance with the provisions of the Regulation.

7. Data subjects rights and how to exercise them

As a data subject, you have the right to obtain from the University, in the cases provided for by the Regulation, the access, the rectification and the erasure of your personal data as well as ask for the limitation of the processing of your personal data or to object to the data processing itself (articles 15 and following of the Regulation). The request can be submitted, without any particular formal procedures, by contacting the Data Protection Officer directly at dpo@unive.it or by sending a communication to the following address: Ca' Foscari University of Venice - Data Protection Officer, Dorsoduro 3246, 30123 Venice. Alternatively, you can contact the Data Controller, by writing a PEC (certified email) to protocollo@pec.unive.it.

Data subjects, who believe that the processing of their personal data is in violation of the provisions of the Regulation, have the right to file a complaint with the Data Protection Authority, as provided for by art. 77 of the Regulation, or to take legal action (art. 79 of the Regulation).

Appendix on social media:

In addition to the privacy notice published at: www.unive.it/pag/29567, the University provides you with information on the processing of your personal data collected through its social media pages (Facebook, Instagram). In particular, the University only processes anonymous and statistical information collected by the social media providers, who act as joint controllers on the basis of the CJEU ruling n. C-210/16 (5 June 2018). Moreover, the University informs you that when you leave a comment or a post on its social media pages, it will process your data only to administer your request/comment.

Last updated: 27/07/2022

List of cookies

Last update of the list of cookies: 22/12/2022
Type	Name	Sender (Domain)	Description	Duration	Policy
Essential	_shibsession[], _shibsstate[]	Unive.it (www.unive.it)	They maintain the session data of the SingleSignOn.	session	Information
Essential	PHPSESSID	Unive.it (www.unive.it)	Unique user identifier for the website applications.	session	Information
Essential	cookie[*]	Unive.it (www.unive.it)	It stores the user's preferences on cookies. user preferences on cookies.	1 month	Information
Essential	cookie	idp.unive.it	It stores the user's preferences on cookies.	1 month	Information
Essential	fe_typo_user	Unive.it (www.unive.it)	Unique user identifier for the reserved area of the website	session	Information
Essential	JSESSIONID	Unive.it (www.unive.it)	Used to create web sessions into the Personal Area.	session	Information
Essential	ADMCMD_prev	Unive.it (www.unive.it)	Used to create web sessions into the Personal Area.	session	Information
Essential	unive.it	Unive.it (www.unive.it)	It stores the user's preferences on cookies.	6 months	Information
Essential	noiframe	Unive.it (www.unive.it)	It stores the user's preferences on cookies.	6 months	Information
Essential	_pk_id[*]	unive/WAI	*	30 days	Information
Essential	_pk_ses[*]	unive/WAI	*	1 day	Information
Essential	_pk_ref[*]	unive/WAI	*	6 months	Information
Essential	_gsas[*]	unive/google	It stores the user's preferences on cookies.	3 months	Information
Essential	_opensaml_req_cookie%[*]	unive	Authentication and SingleSignOn (shibboleth)	session	Information
Google - Youtube	__Secure-1PAPISID	Google (google.com)	Used for targeting purposes in order to acquire web visitors' interests and show them pertinent and customised Google advertising.	2 years	Information
Google - Youtube	CONSENT	Google (google.com)	Used by Google to store the user's preferences.	17 years	Information
Google - Youtube	__Secure-1PSID	Google (google.com)	Used for targeting purposes in order to acquire web visitors' interests and show them pertinent and customised Google advertising.	2 years	Information