This project has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 690974.

The MIREL project will create an international and inter-sectorial network to define a formal framework and to develop tools for
MIning and REasoning with Legal texts, with the aim of translating these legal texts into formal representations that can be used
for querying norms, compliance checking, and decision support.
MIREL addresses both conceptual challenges, such as the role of legal interpretation in mining and reasoning, and computational challenges,
such as the handling of big legal data, and the complexity of regulatory compliance. It bridges the gap between the community working on
legal ontologies and NLP parsers and the community working on reasoning methods and formal logic. Moreover, it is the first project of its
kind to involve industrial partners in the future development of innovative products and services in legal reasoning and their deployment
in the market.
MIREL promotes mobility and staff exchange between SMEs to academies in order to create an inter-continental interdisciplinary
consortium in Law and Artificial Intelligence areas including Natural Language Processing, Computational Ontologies, Argumentation,
and Logic & Reasoning.