Catala: Moving towards the future of legal expert systems
L Huttner, D Merigoux - Artificial intelligence and law, 2022 - Springer
Around the world, private and public organizations use software called legal expert systems
to compute taxes. This software must comply with the laws they are designed to implement …
to compute taxes. This software must comply with the laws they are designed to implement …
Rapport d'avancement sur la vérification formelle des algorithmes de ParcourSup
B Becker, JC Filliâtre, C Marché - 2020 - inria.hal.science
ParcourSup est le système informatique national français utilisé pour l'orientation des
nouveaux bacheliers dans les établissements d'enseignement supérieur. Ce système utilise …
nouveaux bacheliers dans les établissements d'enseignement supérieur. Ce système utilise …
rgpdos: Gdpr enforcement by the operating system
A Tchana, R Colin, A Le Berre, V Berger… - 2023 53rd Annual …, 2023 - ieeexplore.ieee.org
Currently, it is very hard for companies driven by personal data to make their applications
GDPR-compliant, especially if those applications were developed before the GDPR was …
GDPR-compliant, especially if those applications were developed before the GDPR was …