University of Oslo (UIO Sample Clauses

University of Oslo (UIO. The University of Oslo is Norway’s main university. Computer science at UIO was established in 1968 by Prof. Xxx-Xxxxx Xxxx, Xxxxxx award winner 2002 for inventing object orientation. The research group for Precise Modeling and Analysis has a long tradition in formal specification techniques for object-oriented and open distributed systems. Recent research projects include Adapt-FT: Adaptation of Formal Techniques to Support the Development of Open Distributed Systems (1997–2002), and CREOL: A Formal Framework for Reflective Component Modeling (2004– 2008), and CONNECT: Active Behavioral Interfaces for Seamless Network Integration (2006–2010), funded by the Research Council of Norway, and the EU-projects IST-33826 CREDO: Modeling and analysis of evolutionary struc- tures for distributed services (2006–2009) and FP7-231620 HATS: Highly Adaptable and Trustworthy Software using Formal Methods (2009-2012) which developed formal methods for adaptable, evolving, and trustworthy systems. The group’s main expertise is on formal specification techniques for object-oriented and open distributed systems, including executable modeling, type systems, assertional and deductive techniques, and open semantics. Roles in ENVISAGE:
AutoNDA by SimpleDocs

Related to University of Oslo (UIO

  • University Any notice may be served upon the University by delivering it, in writing, to the University at the address set forth on the last page of this Agreement, by depositing it in a United States Postal Service deposit box with the postage fully prepaid and with the notice addressed to the University at the aforementioned address, or by sending a facsimile of it to the University facsimile number set forth on the last page of this Agreement.

  • Washtenaw Community College Eastern Michigan University Xxxxxx Xxxxxxxxxx College of Engineering & Technology Student Services BE 214 xxx_xxxxxxxx@xxxxx.xxx; 734.487.8659 734.973.3398

  • PROFESSORS, TEACHERS AND RESEARCHERS 1. An individual who is a resident of a Contracting State immediately before making a visit to the other Contracting State, and who, at the invitation of any university, college, school or other similar educational institution which is recognized by the competent authority in that other Contracting State, visits that other Contracting State for a period not exceeding two years solely for the purpose of teaching or research or both at such educational institution shall be exempt from tax in that other Contracting State on any remuneration for such teaching or research.

  • Research, Science and Technology Cooperation 1. The aims of cooperation in research, science and technology, carried out in the mutual interest of the Parties and in compliance with their policies, will be: (a) to build on existing agreements already in place for cooperation on research, science and technology; (b) to encourage, where appropriate, government agencies, research institutions, universities, private companies and other research organizations in the Parties to conclude direct arrangements in support of cooperative activities, programs or projects within the framework of this Agreement, specially related to trade and commerce; and (c) to focus cooperative activities towards sectors where mutual and complementary interests exist, with special emphasis on information and communication technologies and software development to facilitate trade between the Parties. 2. The Parties will encourage and facilitate, as appropriate, the following activities including, but not limited to:

  • THE CITY OF LINCOLN, NEBRASKA ATTEST: City Clerk CITY OF LINCOLN, NEBRASKA Xxxxxxx Xxxxxx Xxxxx, Mayor Approved by Executive Order No. dated Lancaster County Signature Page AMENDMENT TO CONTRACT Annual Repair Services For Construction and Purpose-Built Equipment Bid No. 18-167 City of Lincoln and Lancaster County Renewal Xxxxxx Tractor & Equipment Co. Inc.

  • Commercial Driver’s License As a result of recent Federal statutory requirements, the State of Michigan enacted Act 346 of 1988. The parties agree that as a result of these statutory requirements some employees within the Technical Bargaining Unit may be required to obtain and retain a Commercial Drivers License (CDL) to continue to perform certain duties for the State. Whenever a CDL is referred to in this Section, it is understood to mean the CDL and any required endorsements. In order to implement this provision, the parties agree to the following:

  • xxx/OpenGovernment/LobbingAtOrangeCounty aspx A lobbying blackout period shall commence upon issuance of the solicitation until the Board selects the Contractor. For procurements that do not require Board approval, the blackout period commences upon solicitation issuance and concludes upon contract award. The County may void any contract where the County Mayor, one or more County Commissioners, or a County staff person has been lobbied in violation of the black-out period restrictions of Ordinance No. 2002-15. • Orange County Protest Procedures xxxx://xxx.xxxxxxxxxxxxxx.xxx/VendorServices/XxxxxxXxxxxxxXxxxxxxxxx.xx px Failure to file a protest with the Manager, Procurement Division by 5:00 PM on the fifth full business day after posting, shall constitute a waiver of bid protest proceedings.

  • MIDDLE SCHOOLS 1. Where there are no negotiated provisions concerning the implementation or operation of a middle school program, this article shall govern the implementation or operation of a middle school program in a school district.

  • Accreditation of Online Schools The District will implement a system of accrediting its online schools, as defined in section 22-30.7- 102(9.5), C.R.S. This system shall adhere to section 00-00-000, C.R.S., including a review of the online school’s alignment to the quality standards outlined in section 22-30.7-105(3)(b), C.R.S., and compliance with statutory or regulatory requirements, in accordance with section 22-30.7-103(3)(m), C.R.S.

  • County Of Orange A political subdivision of the State of California Sheriff-Coroner Department By: Title: Print Name: Date: Approved by the Board of Supervisors: Approved as to Form Office of the County Counsel Orange County, California By:

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