Combining and Relating Control Effects and their Semantics

Combining local exceptions and first class continuations leads to programs with complex control flow, as well as the possibility of expressing powerful constructs such as resumable exceptions. We describe and compare games models for a programming language which includes these features, as well as higher-order references. They are obtained by contrasting methodologies: by annotating sequences of moves with "control pointers" indicating where exceptions are thrown and caught, and by composing the exceptions and continuations monads. The former approach allows an explicit representation of control flow in games for exceptions, and hence a straightforward proof of definability (full abstraction) by factorization, as well as offering the possibility of a semantic approach to control flow analysis of exception-handling. However, establishing soundness of such a concrete and complex model is a non-trivial problem. It may be resolved by establishing a correspondence with the monad semantics, based on erasing explicit exception moves and replacing them with control pointers.Comment: In Proceedings COS 2013, arXiv:1309.092

Concept papers outlining parameters for further development of Organic Food Processing - Crucial topics for the revision of the EU regulation 2092/91

Four concept papers outline parameters for the further development of organic food processing. They are based on other work already executed in the subproject 5 Processing in the QLIF-project, in particular the literature survey on “Underlying Principles in Organic and "Low-Input Food“ Processing – Literature Survey” published in 2004 by Schmid, Beck and Kretzschmar, as well as the “Approaches used in Organic/Low Input Food Processing - impact on food quality and safety” results of a Delphi survey from an expert consultation in 13 European countries.“ (Kretzschmar, Schmid, 2006). The four crucial topics highlighted in concept papers that have been chosen are summarised below: - 1rd Concept paper on the chances for a concept of “quality of origin” and on criteria and procedures for the evaluation of additives for organic food processing -2nd concept paper on environmental orientation of organic foods producing processing companies -3rd concept paper on processing methods and their labelling -4th concept paper on the improvement of separation practice by parallel processing of conventional and organic product

Quality Program Provisions for Aeronautical and Space System Contractors

This publication sets forth quality program requirements for NASA aeronautical and space programs, systems, subsystems, and related services. These requirements provide for the effective operation of a quality program which ensures that quality criteria and requirements are recognized, definitized, and performed satisfactorily

Analysis of EEC Regulation 2092/91 in relation to other national and international organic standards

This Deliverable 3.2 report presents an analysis of differences between EEC Regulation 2092/91 and other organic standards and their implementation, using a specially developed database (www.organicrules.org). It further reports on database development. The work was carried out as part of the “EEC 2092/91 (Organic) Revision” STREP project (No. SSPE-CT- 2004-502397) within the EU 6th Framework Programme. The main objective was to identify differences in organic standards in relation to Regulation (EEC) 2092/91 and to analyse selected national governmental and private organic standards with the aim of identifying specific areas in the (EEC) 2092/91 where revision in terms of harmonisation, regionalisation or simplification may be possible

The European Regulatory Framework and its implementation in influencing organic inspection and certification systems in the EU

The report presents a review of the most important European and international legislation that set the framework for organic certification, of reports prepared by international agencies working with organic standard setting and certification, and of relevant scientific literature. It discusses problems, future challenges of the organic control systems in Europe leading to suggestions for improvement. Food quality assurance is of key importance for the future development of the Common Agricultural Policy of the EU. A large number of mandatory and voluntary assurance and certification schemes exist for agriculture and in the food industry leading to the risk of increased costs for producers and confusion of consumers. Such schemes include the setting of requirements and bodies that undertake control and provide certificates. Requirements can be divided into statutory regulations regarding food safety and good agricultural practice and standards for voluntary attributes. Basic requirements of food safety, animal health and animal welfare are controlled by the Official Food and Feed Control (OFFC) systems, governed by Council Regulation (EC) 882/2004. Third party certification provides credibility to claims related to voluntary standards and is communicated to the consumers through the use of certification marks. The EU has developed a legislative basis for quality claims in relation to geographical indications, traditional specialities and organic farming and considers introducing labelling rules in relation to animal welfare, environmental impact and the origin of raw materials. Organic certification is one of a number of overlapping and competing schemes. The development of organic standards and certification in Europe started with private standards and national rules, leading to Regulation (EEC) 2092/1991. The requirements for competent authorities, control bodies and operators in this regulation regarding the control systems are reviewed. The discussion highlights the low level of knowledge among consumers of the requirements of organic certification, a weak emphasis of the control system on operator responsibility for organic integrity, issues of competition and surveillance of control bodies, a lack of consideration of risk factors in designing the inspection systems and a lack of transparency. A total revision of the European Regulations on organic production began in 2005. One important change introduced by the new Council Regulation (EC) 834/2007 for Organic Food and Farming is that the organic control system is placed under the umbrella of Council Regulation (EC) 882/2004 on Official Food and Feed Controls. Regulation (EC) 834/2007 also requires that control bodies have to be accredited according to general requirements for bodies operating product certification systems (ISO Guide 65/EN 45011). From July 2010 packaged organic products will have to carry the new EU logo as well as the compulsory indication of the control body. The report reviews the requirements for competent authorities, control bodies and operators from the various legal sources. The discussion highlights a lack of clarity on the impact of the OFFC regulation on the organic control system including how risk based inspections are to be implemented and the potential for in-consistencies in the enforcement of the regulation. A number of international initiatives concerned with the harmonisation of organic standards and to a lesser extent certification are reviewed, such as the International Task Force on Harmonisation and Equivalence (ITF)1 Two main alternative guarantee systems for organic production have been developed and researched by a number of organisations including IFOAM, ISEAL, FAO and the EU Commission. Smallholder Group Certification based on an Internal Control System (ICS) and Participatory Guarantee Systems (PGS) could also represent ways to minimize certification costs also for European farmers, in particular for operators that market directly or through very short supply chains. Both systems also illustrate examples of certification systems with a focus on system development and improvement. , the European Organic Certifiers Council (EOOC), the International Social and Environmental Accreditation and Labelling Alliance (ISEAL) and the Anti-Fraud Initiative (AFI). The multilateral initiatives have led to a better understanding of current problems and the scope and limitations for harmonisation. They have also contributed to the sharing of tools and methods and the identification of best practice. Apart from organic farming the European Union has two other food quality schemes: Regulation (EC) 510/2006 on geographical indications and Regulation (EC) 509/2006 on traditional specialities. The report explores the potential for combining these with organic certification, and draws lessons for organic certification based on Italian experience. The final chapter summarises problems and challenges from the previous chapters. Suggestions for improvements of the organic control system focus on two issues: the need for further harmonisation of the surveillance of control bodies and enforcement of the regulation and how operators’ responsibility for further development of organic systems could be supported in the control and certification system

Property Claims in GM and Non-GM crops

Conceptualising the ongoing conflict over GM versus non-GM crops in the frame of property rights one can see that economic valorisation dynamics and aspirations are working on both sides, within two differently evolving agri-food paradigms, with biotechnology companies propagating intellectual property rights on seeds and crops within a productivist strategy, and with retailer chains, NGOs, farmer associations claiming generic names and labels as public property rights on identity preserved crops within a consumerist strategy. The analysis shows that the direction and strength of the dynamics depends much on the physical intricacies and the social relations which are implicated in these two types of intangible property. As the development of the intangible property rights lies at the heart of postindustrial knowledge economies, the study of the GM conflict is also instructive for understanding social change in the agri-food sector and in the society more generally

Economic Concepts of Organic Certification

Certification is a key element in marketing organic food products. Based on economic theory, this report wants to illustrate the economic reasoning for certification. The intention is to provide a description of economic concepts, which is understandable for a wider audience. We are focusing on the basic economic literature. Chapter 1 “Organic certification system” describes the current control system in the European Union. Why this is necessary, will then be explained based on a synopsis of economic literature. Of specific significance for organic certification and the CERTCOST project are the concepts of institutional economics and economics of crime. The relevant points of economic theory will be presented and discussed in chapter 2 “Theoretical framework”. Finally, the costs and benefits of organic certification will be illustrated in chapter 3 “Costs and benefits of organic certification”

THE IMPACT OF REGULATION ON THE DEVELOPMENT OF NEW PRODUCTS IN THE FOOD INDUSTRY

Paper prepared for presentation at the 8th ICABR International Conference on Agricultural Biotechnology: International Trade and Domestic Production Ravello (Italy), July 8 to 11th, 2004Food industry, Regulation, Innovation, Biotechnology, Organic food, Functional Food, European Union, United States, Industrial Organization, L5, L66, O32,