UNIBO Sample Clauses

UNIBO. UNIBO provides to each PhD Student OneDrive Team Microsoft cloud computing platform (stored in EU territory following GDPR rules) where store the data, document and information. A tool for encrypting sensitive data or personal data will be provided by CESIA.
Sample 1
AutoNDA by SimpleDocs
UNIBO. ‌ The Department of Computer Science of the University of Bologna covers a wide range of research areas in the field of Information and Communication Technologies, with particular emphasis on distributed and real time system, and theory and implementation of programming languages. The HELM team, active since year 2000 and coordinated by Xxxx. Xxxxxxx, is focused on the study and implementation of tools and techniques for the automation of formal reasoning, and the certification of software properties, resulting in the recent release of the Matita interactive theorem prover. Role in the project and main tasks UNIBO is the Project coordinator, hence responsible for the Project Management activities of WP1. It is also responsible for WP4, namely the development of the certified back-end of the CerCo compiler and WP6 dissemina- tion and exploitation. It will also actively participate to the design and implementation of the untrusted prototype compiler (WP2) and the management of complexity assertions and automation of complexity proofs (WP5). Relevant previous experience (Formalization and Management of Knowledge) • European projects: EU Project IST-2001-33562 MoWGLI (coordinator: Xxxx. Xxxxxx Xxxxxxx; WP leader: Xx. Xxxxxxx Xxxxxxxxx Xxxx), EU Project IST-2001-37057 MKM-NET (member), TMR-Network LINEAR (member) • Recent national and local projects: PRIN 2002-06 McTafi (national, member), DAMA (Strategic Project of Universiy of Bologna; coordinator: Xx. Xxxxxxx Xxxxxxxxx Xxxx), “Formalization of Formal Topology by means of the interactive theorem prover Matita” (Strategic Project of the University of Padova; member) Staff members involved (UNIBO) Xxxxxxx Xxxxxxxxx Xxxx Researcher University of Bologna Xxxxxx Xxxxxxx Professor University of Bologna Research fellow (24 months) to be hired with project fundings PostDoc (24 months) to be hired with project fundings Key person Xxxxxxx Xxxxxxxxx Xxxx was born in 1976. He got a Ph.D. in Computer Science by the University of Bologna in 2004. After a Post-Doc at INRIA-Futurs (FR), he became a Ricercatore (permanent researcher) in Computer Science at the University of Bologna, where he has been teaching Operating Systems and Logic. His main research interests are the development of interactive theorem provers, their application to the formalization of mathematics, and knowledge management of formal mathematics. He is the author of over 30 peer-reviewed publications in mathematical knowledge management, type theory and a...
Sample 1
UNIBO. As to XXXX MATER STUDIORUM – UNIVERSITA’ DI BOLOGNA (UNIBO), it is agreed between the Parties that, to the best of their knowledge:
Sample 1

Related to UNIBO

  • NASPO ValuePoint eMarket Center a. In July 2011, NASPO ValuePoint entered into a multi-year agreement with SciQuest, Inc. whereby SciQuest will provide certain electronic catalog hosting and management services to enable eligible NASPO ValuePoint’s customers to access a central online website to view and/or shop the goods and services available from existing NASPO ValuePoint Cooperative Contracts. The central online website is referred to as the NASPO ValuePoint eMarket Center.

  • Protective Footwear Effective January 1, 2002, and on that date for each subsequent calendar year, the Hospital will provide $80 per calendar year to each full-time and $45 per calendar year to each regular part-time employee who is required by the Hospital to wear safety footwear during the course of his duties. The employees who will be required to wear safety footwear will be negotiated locally and set out in the Local Provisions Appendix. Note: The existing central language designating the classifications of employees which are deemed to require appropriate safety footwear shall be transferred to the local appendix.

  • Career Development Leave (a) Career development refers to an activity which, in the opinion of the Employer, is likely to be of assistance to the individual in furthering his or her career development and to the organization in achieving its goals. The following activities shall be deemed to be part of career development:

  • Bilingual Differential When formally assigned in the employee’s position description, an employee assigned to interpret to or from another language to English will receive a differential of five percent (5%) of base pay.

  • UNION MEMBERSHIP AND DUES CHECK-OFF 7.01 All Employees covered by this Agreement shall become members of the Union as a condition of employment. Notwithstanding the foregoing, Employees currently employed by the Board, who have previously opted out of membership in the Union, shall not be compelled to join.

  • Utilization of Minority Business Enterprises The Contractor shall perform under this Contract in accordance with 45 C.F.R. Part 74; and, as applicable, C.G.S. §§ 4a-60 to 4a-60a and 4a-60g to carry out this policy in the award of any subcontracts.

  • Career Development The City and the Union agree that employee career growth can be beneficial to both the City and the affected employee. As such, consistent with training needs identified by the City and the financial resources appropriated therefore by the City, the City shall provide educational and training opportunities for employee career growth. Each employee shall be responsible for utilizing those training and educational opportunities made available by the City or other institutions for the self- development effort needed to achieve personal career goals.

  • UNION MEMBERSHIP AND DUES (a) The Employer will deduct Union dues from the pay of each Employee in the Bargaining Unit, in the amount specified in writing by the Union, and shall remit same to the Union as soon as practicable and not later than 10 Working Days following the pay period end date.

  • Non-Marketing Purposes Thoughtcloud, Inc. greatly respects your privacy. We do maintain and reserve the right to contact you if needed for non-marketing purposes (such as bug alerts, security breaches, account issues, and/or changes in Thoughtcloud, Inc. products and services). In certain circumstances, we may use our website, newspapers, or other public means to post a notice. Children under the age of 13 Thoughtcloud, Inc.'s website and mobile applications are not directed to, and does not knowingly collect personal identifiable information from, children under the age of thirteen (13). If it is determined that such information has been inadvertently collected on anyone under the age of thirteen (13), we shall immediately take the necessary steps to ensure that such information is deleted from our system's database, or in the alternative, that verifiable parental consent is obtained for the use and storage of such information. Anyone under the age of thirteen (13) must seek and obtain parent or guardian permission to use this website.

  • UNION MEMBERSHIP AND DUES DEDUCTION 4.01 All Employees have the right:

Time is Money Join Law Insider Premium to draft better contracts faster.