[ATHENA] [Codes Sources] Coder la loi (Denis Merigoux, 10 mars 2022, hybride)

[Baptiste Mélès <baptiste.meles AT gmail.com>]

Séminaire « Codes sources »

L'objectif du séminaire Codes sources est de présenter la pensée
informatique là où elle s'exprime le plus concrètement : dans les textes
que sont les codes sources.


Séance du jeudi 10 mars 2022, 14h-16h :

Denis Merigoux (Prosecco, Inria) :

  « Transformer la loi en code grâce au langage de programmation Catala »
  (Lien Zoom : https://univ-tlse3-fr.zoom.us/j/92068251758)


Résumé :

  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.

Lieu :

  Par Zoom à l'adresse https://univ-tlse3-fr.zoom.us/j/92068251758
ou
  En chair et en os en salle 15-16/101 de l'IRILL (rotonde 15, 1er étage)
  4 place Jussieu, 75005 Paris
  métro Jussieu (lignes 7 et 10)


------------------------------------------------------------------------

Prochaines séances du séminaire Codes sources :

- jeudi 7 avril 2022 : Thierry Dumont (Institut Camille Jordan,
  Villeurbanne), « Algol, 60 ans après »

- jeudi 12 mai 2022 : Lucie Conjard (titre à déterminer)

- jeudi 9 juin 2022 : Jean Rohmer (sur les 50 ans de PROLOG)

Sauf mention contraire, toutes les séances ont lieu de 14 heures à
16 heures à l'IRILL.



------------------------------------------------------------------------

/* ***************************************
   * À propos du séminaire Codes sources *
   *************************************** */

À celui seul qui prend la peine de les lire effectivement, les codes
sources révèlent leur richesse. On y découvre que l'élégance d'un
algorithme réside parfois hors de sa complexité, dans l'usage virtuose
des idiomes du langage de programmation ou dans la connaissance fine de
la machine à laquelle il est destiné. Bien souvent des codes sources
comportent davantage de lignes de commentaires que de code. Tous ces
trésors de pensée informatique fondent à la compilation comme neige au
soleil — preuve qu'un programme n'est pas seulement écrit pour être
compilé.

Le but du séminaire est de décrire ces œuvres de l'esprit comme des
textes à part entière. Nous espérons ainsi contribuer à la constitution
d'une culture générale en programmation. En informatique comme en
littérature, cela suppose la familiarisation progressive avec un corpus
de grands textes.

À chaque séance, un intervenant — jeune chercheur ou chercheur confirmé
en informatique, en histoire ou en philosophie — présente, en moins
d'une heure, un code source de son choix : un fragment de système
d'exploitation, de pilote, de compilateur, de bibliothèque... Le code
peut avoir été écrit par l'orateur ou par quelqu'un d'autre, dans
quelque langage que ce soit. Le commentaire peut être algorithmique,
stylistique, historique ou philosophique, et porter sur tous les aspects
du code, commentaires compris. Le code est ensuite discuté avec
l'auditoire.


Organisateurs : 

- Raphaël Fournier (CNAM)
- Baptiste Mélès (CNRS, Archives Henri-Poincaré)
- Lionel Tabourier (LIP6).

Site : http://codesource.hypotheses.org/

Contact : Baptiste Mélès (baptiste.meles AT univ-lorraine.fr)

Twitter : https://twitter.com/SemCodesSources

Liste de diffusion : https://groups.google.com/forum/#!forum/codes-sources

------------------------------------------------------------------------


-- 
Baptiste MÉLÈS
CNRS, Chargé de recherche / Researcher | http://baptiste.meles.free.fr/
Archives Henri-Poincaré—PReST (CNRS UMR 7117, Université de Lorraine)
91 avenue de la Libération, 54000 Nancy, France
Secrétaire des Amis de Jean Cavaillès | http://cavailles.hypotheses.org/
                                   -
Pour une réponse rapide, n'hésitez pas à me téléphoner | Do not hesitate
to call me for a sooner response.