[ATHENA] [Codes Sources] Dix ans de séminaire Codes sources, 23 janvier 2025

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

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.

Dix ans et un jour après la séance inaugurale du séminaire, nous vous
convions à une journée d'études complète

                        le jeudi 23 janvier 2025
                            de 9h15 à 17h30

                 inscription gratuite mais obligatoire
                     avant le mercredi 22 janvier :
https://framaforms.org/inscription-a-la-journee-du-23-janvier-2025-des-10-ans-du-seminaire-codes-sources-1732891327

en chair et en os :
    4 place Jussieu, 75005 Paris
    métro Jussieu (lignes 7 et 10)
    bâtiment Esclangon
    amphithéâtre Durand

ou par vidéoconférence :
    https://galene.irill.org/group/irill/codessources/


Programme :

- 9h15-9h30 : accueil
- 9h30-10h : Stefano Zacchiroli, « Software Heritage: 10 years of
  archiving, sharing, and studying source code at the ultimate scale »
- 10h-11h : Clarisse Herrenschmidt
- 11h-12h : Guillaume Munch-Maccagnoni, « L'hypothèse de l'évolution
  naturelle des langages de programmation »

- 12h-13h30 : pause déjeuner

- 13h30-14h30 : Antoine Miné, « Vérification de code par analyse
  statique sûre »
- 14h30-15h30 : Baptiste Mélès, « Programmer dans d'"autres" langues »
- 15h30-16h30 : Charlotte Truchet, « Programmer une structure
  backtrackable en programmation par contraintes »
- 16h30-17h30 : discussion générale : « À quoi ressembleront les codes
  sources des dix prochaines années ? »


Organisation :

- Emmanuel Chailloux (LIP6, IRILL, Sorbonne Université)
- Raphaël Fournier-S’niehotta (SCAI, LIP6, Sorbonne Université)
- Baptiste Mélès (CNRS, Archives Henri-Poincaré)
- Lionel Tabourier (LIP6, Sorbonne Université)


Le programme du séminaire Codes Sources 2025 sera communiqué
prochainement.

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

/* ***************************************
   * À 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 :

- Emmanuel Chailloux (LIP6, IRILL, Sorbonne Université)
- Raphaël Fournier-S'niehotta  (SCAI, LIP6, Sorbonne Université)
- Baptiste Mélès (CNRS, Archives Henri-Poincaré, ambassadeur Software 
Heritage)

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/
Université de Lorraine, Université de Strasbourg, CNRS, AHP-PReST UMR 7117
91 avenue de la Libération, 54000 Nancy, France
Secrétaire des Amis de Jean Cavaillès | https://cavailles.hypotheses.org/
Ambassadeur Software Heritage | https://www.softwareheritage.org/
                                   -
Pour une réponse rapide, n'hésitez pas à me téléphoner | For a quick 
response, please call me.

Attachment: signature.asc
Description: PGP signature