The Legal Exceptions from the Cartel Prohibition with Regard to Crisis Cartels English summary The purpose of the thesis is to provide a comprehensive perspective on the issue of the legal exceptions from the cartel prohibition, carry out a detailed analysis of Czech and European material regulation contained in the Article 3 paragraph 4 of the Act No. 143/2001 Coll. on Protection of Competition, as amended and in the Article 101 paragraph 3 of the Treaty on the Functioning of the European Union, focus on the application of the legal exceptions to the crisis cartels from the practical point of view, particularly on their usage by undertakings and on the approach to the crisis cartels by national competition authorities, European Commission and competition authorities from other selected countries outside Europe. The thesis is composed of four parts. The first part deals with the basic characteristics of the cartel, describes the concept of cartel, European and Czech legislation regarding cartels and competition in general and divides the cartels according to their form and relationship of participants. The second part focuses on the prohibition of anticompetitive conduct in the form of cartels, examines the merits of the cartel and highlights the consequences of breaching the prohibition. It is necessary to...

L’articulation et l’utilisation des contestations de la compétence du juge et de la recevabilité de la requête par les acteurs du procès interétatique peuvent paraître complexes et désordonnées. Pourtant, en s’interrogeant sur les effets escomptés et obtenus de la présentation de l’une plutôt que l’autre, sur le pouvoir juridictionnel finalement exercé, il est apparu que l’invocation et le traitement des questions juridictionnelles répondent à des stratégies propres aux Etats parties, d’une part, et au juge, d’autre part. Ils procèdent à un jeu à l’égard de ces contestations destinées à influencer l’exercice du pouvoir juridictionnel selon que leurs intérêts, ou ceux dont ils sont les gardiens, commandent. La présente étude tend à identifier la ligne de démarcation dans l’usage qui est fait de la compétence et de la recevabilité, et au-delà, à comprendre leur articulation et son utilisation par ses acteurs. Cela permet de clarifier la teneur de ces concepts, ce que ces contestations recouvrent, leur impact sur le pouvoir juridictionnels substantiel, mais aussi ce qu’ils ne recouvrent pas. L’étude met ainsi en lumière une carence à l’égard de certains obstacles que le seul couple qualificatif habituel ne permet pas de combler. C’est l’ambition de cette recherche que de proposer l’élaboration d’une troisième catégorie d’obstacles juridictionnels afin de combler cette lacune conceptuelle. L’analyse de la pratique révèle de tels besoins d’éclaircissements qu’elle invite à des mises au point sémantiques et une certaine réflexion théorique pour en tirer des enseignements destinés à concourir à une densification des règles procédurales dans l’ordre interétatique. / At the preliminary objections phase, a respondent may challenge jurisdiction and/or admissibility of the case. The use of these tools – ie the choice of one and not the other – depends on the stakeholders’ strategies. The State Parties, as well as the tribunal, play a game whose rules change depending on the intented effects on judicial power. The study of theses’ strategies - if not games - is useful to draw the line between jurisdiction and admissibility and to understand the interests at stake, from the parties’ and the tribunal’s viewpoint. Nevetheless, it occurs that the concepts of jurisdiction and admissibility are often insufficient to describe all the challenges the ICJ undergoes to settle a case. A third way to challenge the Court’s ability, based on examples of cases, could remedy the weaknesses of the “couple” , jurisdiction and admissibility. This third category, raised in this paper, shades a new light on usual concepts and is a tribute to the “ proceduralization” of international dispute settlement.

1 H. Summary The Users' Rights in the Information Society Dissertation thesis "The Users' Rights in the Information Society" focuses on the copyright exceptions and limitations (hereinafter referred to as copyright limitations) as an area which, in addition to the licensed use, affects users of copyrighted works in the most direct way. The term "users" is understood in the concept of this work, in accordance with foreign and Czech scientific literature, in a broad sense, covering also consumers of copyrighted works or users of digital content on the Internet. In the context of copyright limitations users are allowed to use copyrighted works on a non-contractual basis, without the consent of the author, either for free or in the form of a paid statutory license. Copyright limitations include a wide range of uses reaching from the quotations through the use for a private purpose to the so-called news reporting and governmental statutory limitations. The concept of users' rights (despite - as seen from a certain angle - its actual existence) has not been so far defined in the legal literature in a consistent manner. However it attracts an exceptional academic attention for its conceptual and strategic importance. The concept of users' rights represents - rather than a framework of real subjective rights - a...

Na atual economia de mercado, mostra-se cada vez mais relevante a estruturação equilibrada do sistema de patentes, em razão das controvérsias geradas em torno do pêndulo: estímulo à inovação e desenvolvimento técnico-científico de um lado, e ônus sociais, de outro. Isso porque, o direito de exclusividade sobre a invenção - que envolve o desenvolvimento técnico com base em conhecimentos pré-existentes - gera custos sociais, uma vez que a sociedade, como um todo, fica impedida de usufruir dos avanços tecnológicos durante um período de tempo (prazo da patente), bem como fica submetida aos preços e à forma de exploração econômica ditada pelo titular. O sistema de patentes precisa ser minuciosamente equacionado de maneira a lidar com os benefícios do titular da patente e da sociedade. Nesse contexto, surge a importância de dois institutos jurídicos: a exclusão ao patenteamento (ou proibição do patenteamento de determinadas matérias) e a exceção ao exercício do direito de exclusividade do titular da patente (ou limitação do direito de patente). O presente estudo tem por objetivo analisar, no Direito Comparado (tratados internacionais, tratados regionais e legislações estrangeiras), os institutos das exclusões e das exceções ao direito de patente diante, principalmente, dos novos desenvolvimentos em áreas como engenharia genética, biologia molecular e informática, a fim de verificar se há uma harmonização internacional; se há diferença em posições adotadas de acordo com o nível de desenvolvimento do país; e a regulamentação dessas hipóteses no Brasil. Ao final, pôde-se verificar, com base na análise de Direito Comparado, como os países estrangeiros lidam com as novas invenções, as diferentes posições adotadas na legislação ou na contrução jurisprudencial, o que torna qualquer intenção de harmonização um caminho ainda longe de ser alcançado; e o posicionamento adotado no Brasil e eventual proposta de interpretação. / The market economy today has evidenced the increasing importance of a structured and balanced patent system in view of the controversy that has arisen, creating a pendulum that swings between the stimulus for technological-scientific innovation and development on the one end, and the resulting social burden on the other. This is because the right to exclusivity of an invention which involves technological development based on preexisting knowledge - generates social costs since the society at large is impeded from enjoying technological advances during a certain period of time (the patent term), and moreover is submitted to prices and methods of economic exploitation determined by the patent holder. The patent system must be thoroughly restructured to deal with the patent holders benefits versus the demands of society. Within this context, the importance of two legal principles emerges: patenting exclusions (or prohibited patenting of certain items) and exceptions and limitations on the exercise of the right to exclusivity granted the patent holder (or limitation of the patent right). The purpose of this study is to analyze from the standpoint of Comparative Law (international treaties, regional treaties and foreign legislation) the principles of exclusions and exceptions and limitations on patent rights, mainly considering the new developments in areas such as genetic engineering, molecular biology and information technology to confirm whether there is international harmonization; whether there is a difference in the stands adopted according to the level of development in the country and regulation of these events in Brazil. Finally, based on Comparative Law it can be seen how foreign counties deal with new inventions, the different stands adopted in their laws or in construction of case law, all of which make any intention for attaining harmonization a long path to be tread; and to conclude the stand adopted in Brazil with proposals for interpretation.

The thesis deals with correctness of a compiler of a simple language featuring exceptions. We present formal semantics, both denotational semantics of a~high-level language and operational semantics of a low-level language for a~simple stack machine. We study the method of stack unwinding and then iteratively, improving upon a naive solution, we present a different method that is structurally recursive and thus suitable for implementation in total dependently typed languages. Finally, we provide an implementation of the compiler in the dependently typed functional programming language Agda, along with a mechanically verifiable proof of adherence of the implementation to the semantics.

The law of the World Trade Organization (WTO) both explicitly and implicitly requires that a determination of causation be made at a number of points. In several of the WTO covered agreements, an important part of making a determination about causation involves separating those factors that are causative from those that are immaterial to the outcome in question (this process of separation is known as a 'non-attribution analysis'). This thesis argues that there are six parts of the law of the WTO that require, either explicitly or implicitly, that a causation and non-attribution analysis be undertaken. These are: (1) Safeguard Measures (Articles 2.1 and 4.2(a) and (b) of the Agreement on Safeguards ); (2) Anti-Dumping measures (Articles 3.1 and 3.5 of the Anti-Dumping Agreement ); (3) Countervailing Duties (Article 15.5 of the Subsidies and Countervailing Measures Agreement (SCM Agreement)); (4) Serious prejudice (Articles 5(c) and 6.3 of the SCM Agreement); (5) the relationship between a measure and its policy objective (Article XX of the General Agreement on Tariffs and Trade and Article XIV of the General Agreement on Trade in Services ); and (6) the relationship between a responding Member's failure to comply with a DSB ruling and the complainant Member's level of nullification and impairment (Articles 22.6 of the Understanding on Rules and Procedures Governing the Settlement of Disputes and 4.10 of the SCM Agreement). This thesis will first examine the current approach in the jurisprudence to analysing causation and non-attribution in these parts of the law of the WTO. To that end, it will suggest that there is a trend in the current jurisprudence to attempt to make an a priori inference about the effects of a cause from the nature of the cause itself. This thesis will suggest that this approach reflects a misconception of causation, and it will propose an alternative, three-part methodology for interrogating causation based on the use of econometric analysis, which has been developed from guidance given by the Appellate Body in US-Wheat Gluten.

O trabalho abordará o estudo das criações intelectuais não protegidas pelo Direito de Autor, as diferentes terminologias adotadas pela doutrina, suas peculiaridades, a proposta de uma terminologia mais abrangente e a importância do estudo das fontes do direito para a validação dos pressupostos à proteção, formulados pela doutrina e jurisprudência, com destaque em capítulo próprio para as denominadas normas técnicas. / This present dissertation will address the study of intellectual creations that are not protected under copyright law, the different terminology adopted by the doctrine, its peculiarities, the proposed terminology and the importance of more comprehensive study of sources of law to validate the protection assumptions, formulated by doctrine and jurisprudence, especially in a separate chapter to the so-called technical standards

Campus networks have recently experienced a proliferation of devices ranging from personal use devices (e.g. smartphones, laptops, tablets), to special-purpose network equipment (e.g. firewalls, network address translation boxes, network caches, load balancers, virtual private network servers, and authentication servers), as well as special-purpose systems (badge readers, IP phones, cameras, location trackers, etc.). To establish directives and regulations regarding the ways in which these heterogeneous systems are allowed to interact with each other and the network infrastructure, organizations typically appoint policy writing committees (PWCs) to create acceptable use policy (AUP) documents describing the rules and behavioral guidelines that all campus network interactions must abide by. While users are the audience for AUP documents produced by an organization's PWC, network administrators are the responsible party enforcing the contents of such policies using low-level CLI instructions and configuration files that are typically difficult to understand and are almost impossible to show that they do, in fact, enforce the AUPs. In other words, mapping the contents of imprecise unstructured sentences into technical configurations is a challenging task that relies on the interpretation and expertise of the network operator carrying out the policy enforcement. Moreover, there are multiple places where policy enforcement can take place. For example, policies governing servers (e.g., web, mail, and file servers) are often encoded into the server's configuration files. However, from a security perspective, conflating policy enforcement with server configuration is a dangerous practice because minor server misconfigurations could open up avenues for security exploits. On the other hand, policies that are enforced in the network tend to rarely change over time and are often based on one-size-fits-all policies that can severely limit the fast-paced dynamics of emerging research workflows found in campus networks. This dissertation addresses the above problems by leveraging recent advances in Software-Defined Networking (SDN) to support systems that enable novel in-network approaches developed to support an organization's network security policies. Namely, we introduce PoLanCO, a human-readable yet technically-precise policy language that serves as a middle-ground between the imprecise statements found in AUPs and the technical low-level mechanisms used to implement them. Real-world examples show that PoLanCO is capable of implementing a wide range of policies found in campus networks. In addition, we also present the concept of Network Security Caps, an enforcement layer that separates server/device functionality from policy enforcement. A Network Security Cap intercepts packets coming from, and going to, servers and ensures policy compliance before allowing network devices to process packets using the traditional forwarding mechanisms. Lastly, we propose the on-demand security exceptions model to cope with the dynamics of emerging research workflows that are not suited for a one-size-fits-all security approach. In the proposed model, network users and providers establish trust relationships that can be used to temporarily bypass the policy compliance checks applied to general-purpose traffic -- typically by network appliances that perform Deep Packet Inspection, thereby creating network bottlenecks. We describe the components of a prototype exception system as well as experiments showing that through short-lived exceptions researchers can realize significant improvements for their special-purpose traffic.

The exceptions for individual use give rise to interesting and fundamental concerns drawing both international and national attention. There is uncertainty in the application of the individual use exceptions both in the international copyright treaties, particularly the three-step test of the Berne Convention, and in the national copyright legislation. To have a better understanding of this concerns, this thesis aims to: investigate whether the exceptions for individual use can still maintain the balance of interests between the copyright holders and users; analyse the contribution that international copyright agreements and national copyright legislation may have made to assist in solving the conflict of interest between right holder countries and user countries in applying the exceptions for individual use; and conduct a comparative study of the application of the individual use exceptions in developed and developing countries. The understandings that are found within this study are informed by relevant literature and by analysis of the application of the individual use exceptions. The thesis examines the application of the individual use exceptions in the international copyright treaties, namely, the Berne Convention, the TRIPS Agreement, and the WIPO Copyright Treaty in order to determine the appropriate ?balance? between the rights of owners and users in the three-step test. To explore the uncertainty in the individual use exceptions at the national level, a comparative case study is made between the exceptions for individual use in Australia, a developed country, and Thailand, a developing country. The results of the study reveal three major answers. First, the exceptions for individual use are able to still maintain the balance of interest between right holders and users in the digital environment, if some amendments are made to keep pace with the digital environment. Secondly, to assist in the solution to the conflict of interest between right holder countries and user countries in applying the exceptions for individual use, the international copyright agreements can make a contribution by making some minor changes, mainly in the three-step test of the Berne Convention, and by continuing to provide special treatments for developing countries. Nationally, the contribution may be made by thoroughly protecting the right holders whilst also still allowing individual use by amending the copyright legislation to update to the digital age when necessary, enacting the relevant Acts, and establishing a collecting society. Finally, from the comparison of the application of the exceptions for individual use as well as problems found and solutions proposed in developed and developing countries, in which Australia and Thailand are used as case studies, the comparison of the application of the exceptions for individual use can be divided into four categories: fair use exceptions (Australian fair dealing and Thai private use exceptions), free use exceptions, licences (Australian statutory licences and Thai compulsory licence), and limitation of legislative individual use provisions. In addition, the problem of different interpretations of the exceptions for individual use, the problem of conformity in the application of the exceptions for individual use according to the real purpose of the three-step test, which exists in Thailand, and the problem of response to the digital environment are all used as the frame for the comparison of the problems found and proposed solutions. The findings of the study are significant as they can provide contributions to the copyright areas primarily in the legal aspect: amendment of the exceptions for individual use. In addition, they also contribute to the related aspect in the copyright areas: the economic aspect: the balance between developed and developing Countries; and the moral aspect: developing countries? development. In addition, the thesis proposes four useful recommendations to enable the balance of interest between the right holders and the users to be maintained: amendment of the wording in the three-step test of the Berne Convention, amendment of domestic copyright law and its exceptions for individual use, encouragement of the role of collective management organisations, and raising public awareness on the issue of copyright and its exceptions for individual use.

Fp2 (functional parallel programming) est un langage qui concilie programmation fonctionnelle et programmation parallèle a travers le formalisme des spécifications algébriques et des systèmes de réécriture. Dans le cadre du projet fp2, cette thèse a pour principal objectif de présenter la partie fonctionnelle, incluant la généricité et le traitement des exceptions. La généricité (paramétrisation d'une spécification) est traitée dans la première partie: nous rappelons les principes, étudions la sémantique, formalisons la compilation des opérateurs génériques en restant dans un cadre fonctionnel, et analysons les raccourcis de notation offerts aux utilisateurs. La deuxième partie est consacrée aux exceptions. Elles sont d'abord étudiées d'un point de vue opérationnel, puis nous en donnons une définition précise qui permet de ramener une présentation avec exceptions a une présentation avec sortes ordonnées. Cette définition assure l'existence d'une algèbre initiale et permet en outre de traiter les exceptions avec paramètres génériques. En troisième partie, sont présentées des méthodes de transformation de définitions fonctionnelles récursives en processus parallèles communicants. La généricité est utilisée pour formuler les hypothèses sur les définitions fonctionnelles, et nous montrons de plus comment simuler une pile de récursivité de profondeur arbitraire par des réseaux de processus dont la topologie est fixée statiquement