Publié le 18-01-2022 dans cafés
Un certain nombre d'administrations et d'entreprises maintiennent des programmes informatiques afin de calculer des montants d'impôt, allocations, cotisations, pensions, etc. à partir de données de leurs usagers. Transformer les textes de loi qui régissent ces calculs en code est une tâche très difficile, car elle requiert une double expertise juridique et informatique.
De plus, la complexité inhérente des textes de loi et leur style de rédaction empêche activement la constitution d'une base de code saine et maintenable. En s'inspirant des travaux de Sarah Lawsky, professeure de droit fiscal et titulaire d'un doctorat en logique, le langage dédié Catala propose un nouveau processus de transformation de la loi en code, basé sur la programmation littéraire et en binôme.
Le compilateur de Catala, basé sur une sémantique formelle du langage, permet également l'intégration du code dans virtuellement n'importe quelle architecture legacy grâce à la compilation. Le projet est soutenu par une équipe interdisciplinaire comprenant notamment Denis Merigoux, doctorant en informatique à l'Inria et Liane Huttner, doctorante en droit à Paris I.
La présentation sera assurée par Denis Merigoux, doctorant en informatique à l'Inria. Vous pourrez la suivre depuis votre navigateur web avec BigBlueButton (lien ci-dessous), ou en présentiel (plus d'infos ci-dessous), le 8 février 2022, de 13h à 14h comme d'habitude.
Liens :
- Pour revoir le café.
- Page générale sur les cafés LoOPS.
- Si vous souhaitez assister au café en présentiel, il se tiendra en salle Grace Hopper (17 personnes maximum) au bâtiment Turing de l'INRIA Saclay. Merci de bien vouloir vous inscrire pour le présentiel et vous munir d'une pièce d'identité. (Pour information, les parkings gratuits les plus proches sont la cour des cérémonies et le parking visiteur de Polytechnique)