Orateur
Baptiste Mélès
(CNRS, Archives Henri-Poincaré)
Description
Le Code des Impôts est aujourd'hui, grâce au projet Catala, reformulé dans un langage de programmation permettant à la fois de produire un code informatique lisible par les juristes et un programme certifié sans bogue. En étudiant ce projet, nous reprendrons le programme philosophique mis en œuvre par Jean Ray dans l'/Essai sur la structure logique du Code civil français/ en 1926 : celui de révéler et de formaliser la logique et la linguistique sous-jacentes aux textes de loi.
