Labelled Port Graph – A Formal Structure for Models and Computations

International audienceWe present a general definition of labelled port graph that serves as a basis for the design of graph-based programming and modelling frameworks (syntax and semantics). We show that this structure provides the syntax for programs, which are composed of an initial graph, a set of rules and a strategy. Rules, represented as labelled port graphs, apply to states, also represented as labelled port graphs, and compute their successors according to the given strategy. The description of states, rules, and computations controlled by strategies, using labelled port graphs, is detailed and illustrated with examples from Porgy, a strategic port graph rewriting environment for the design of executable specifications of complex systems

Rewriting Strategies and Strategic Rewrite Programs (Updated version)

This survey aims at providing unified definitions of strategies , strategic rewriting and strategic programs. It gives examples of main constructs and languages used to write strategies. It also explores some properties of strategic rewriting and operational semantics of strategic programs. Current research topics are identified

Rewriting Strategies and Strategic Rewrite Programs

International audienceThis survey aims at providing unified definitions of strategies, strategic rewriting and strategic programs. It gives examples of main constructs and languages used to write strategies. It also explores some properties of strategic rewriting and operational semantics of strategic programs. Current research topics are identified

Twenty years of rewriting logic

AbstractRewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality. This paper provides a gentle, intuitive introduction to its main ideas, as well as a survey of the work that many researchers have carried out over the last twenty years in advancing: (i) its foundations; (ii) its semantic framework and logical framework uses; (iii) its language implementations and its formal tools; and (iv) its many applications to automated deduction, software and hardware specification and verification, security, real-time and cyber-physical systems, probabilistic systems, bioinformatics and chemical systems

JURI SAYS:An Automatic Judgement Prediction System for the European Court of Human Rights

In this paper we present the web platform JURI SAYS that automatically predicts decisions of the European Court of Human Rights based on communicated cases, which are published by the court early in the proceedings and are often available many years before the final decision is made. Our system therefore predicts future judgements of the court. The platform is available at jurisays.com and shows the predictions compared to the actual decisions of the court. It is automatically updated every month by including the prediction for the new cases. Additionally, the system highlights the sentences and paragraphs that are most important for the prediction (i.e. violation vs. no violation of human rights)

Automated Deduction – CADE 28

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions

Proceedings of the 12th International Conference on Technology in Mathematics Teaching ICTMT 12

Innovation, inclusion, sharing and diversity are some of the words that briefly and suitably characterize the ICTMT series of biennial international conferences – the International Conference on Technology in Mathematics Teaching. Being the twelfth of a series which began in Birmingham, UK, in 1993, under the influential enterprise of Professor Bert Waits from Ohio State University, this conference was held in Portugal for the first time. The 12th International Conference on Technology in Mathematics Teaching was hosted by the Faculty of Sciences and Technology of the University of Algarve, in the city of Faro, from 24 to 27 June 2015, and was guided by the original spirit of its foundation. The integration of digital technologies in mathematics education across school levels and countries, from primary to tertiary education, together with the understanding of the phenomena involved in the teaching and learning of mathematics in technological environments have always been driving forces in the transformation of pedagogical practices. The possibility of joining at an international conference a wide diversity of participants, including school mathematics teachers, lecturers, mathematicians, mathematics educators and researchers, software designers, and curriculum developers, is one facet that makes this conference rather unique. At the same time, it seeks to foster the sharing of ideas, experiences, projects and studies while providing opportunities to try-out and assess tools or didactical proposals during times of hands-on work. The ICTMT 12 had this same ambition, when embracing and welcoming just over 120 delegates who actively and enthusiastically contributed to a very packed program of scientific proposals and sessions on various topics

The EU as a region-builder beyond its borders? An analysis of the EU's promotion of regional cooperation in the Western Balkans and Mercosur

The European Union’s enduring belief in the virtues of integration as an instrument for peace and prosperity has nurtured policies that seek to promote cooperation and integration in almost every other region of the world. This thesis investigates whether, how and to what extent these policies have been successful in promoting regional cooperation beyond the EU’s own borders. Among all regions towards which the EU pursues such a policy, the study selects two with diverse dependency on the EU for the empirical analysis: the Western Balkans and Mercosur. In contrast to previous studies, often characterised by a systemic argumentation, this analysis develops a micro-level approach. This approach focuses on the traceability of specific EU influences and allows to empirically assess the EU’s impact. Building upon diffusion theories, the analytical approach spells out stylised paths of EU influence and tests these on individual instances of institutional change in the two regions selected. Using original data acquired in interviews with policy-makers and through document analysis, the study traces whether and to what extent EU activities and influences played a role in seven cases of institutional change across the two regions. Building on the results of the case studies, a cross-case analysis examines the prevalence of different EU influences and the role of local conditions. The study finds that EU influence on regional cooperation beyond its borders is strongest when it operates with a mixture of (technical) assistance and the proactive provision of lessons and experiences that are taken up by its partners. Its track record is generally positive in terms of influencing institutional change, but it often lacks political influence (or will) to shape the contexts in which such institutions operate. Quite surprisingly, EU impact does not necessarily depend on the degree of economic or political influence upon the region concerned. In fact, the EU was – on average – more effective in the Mercosur region than in the Western Balkans. Instead, the EU’s success in promoting its preferred institutional change is most often contingent on a congruence between domestic incentives in the region, the EU’s ability and/or willingness to accommodate these and its patience to rely on political windows of opportunity