Section: Scientific Foundations

Context

As set forth in Section 2.1 , Licit is by nature not only interdisciplinary but also transversal in the sense that a wide variety of computer science areas are potentially relevant to its activities (security, formal methods, verification, automated reasoning, natural language processing, software engineering...). Encompassing this variety of competences within the action itself is obviously out of reach: the objective of Licit is rather to establish partnerships with research groups (in ICT and law) providing complementary backgrounds in order to ensure that the highest level of expertise is available to reach the objectives of the action. As far as the legal background is concerned, the relevant domains include individual rights (privacy right, personal data protection, free speech...), contract law, legal evidence, intellectual property, legistics...

In this section, we focus on the computer science area which plays a central role in Licit , namely formal methods, which serve as a link between ICT and law. We motivate its significance in the context of Licit in the first subsection before outlining the relevant techniques in the second subsection.