[ATHENA] Programme du séminaire Codes sources 2015-2016

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

Chers amis, chers collègues,

Vous trouverez ci-dessous le programme de l'année 2015-2016 du séminaire
Codes Sources.

L'objectif de ce séminaire 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.

Une nouveauté de cette année : les sujets de plusieurs séances
(notamment celles du 20 janvier, du 13 avril et du 18 mai) se situeront
à l'intersection de l'informatique et de l'histoire des mathématiques.

Les historiens et philosophes des mathématiques y seront
particulièrement bienvenus, même — et surtout ! — s'ils n'ont aucune
expérience de la programmation : les concepts de l'informatique
permettent d'éclairer certains aspects de leur discipline. Les
informaticiens découvriront, quant à eux, certaines applications parfois
inattendues de leurs méthodes : une informatique d'avant l'ordinateur.


Attention : le séminaire Codes Sources possède désormais un nouveau
site :

  http://codesource.hypotheses.org/


Adresse et horaire :

  4 place Jussieu, 75005 Paris
  métro Jussieu (lignes 7 et 10)
  salle 24-25/405 (campus de Jussieu, rotonde 25, 4e étage)

  14h-15h30 (sauf mention contraire)


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

Séances 2015-2016 du séminaire Codes sources :

- Mercredi 14 octobre 2015 : Georges Gonthier (Microsoft Research/
  INRIA), « Le génie logiciel des mathématiques formelles »

- mercredi 18 novembre 2015 : Julian Rohrhuber (Institut für Musik und
  Medien, Robert-Schumann Hochschule Düsseldorf) : Le langage
  SuperCollider

- mercredi 16 décembre 2015 : Stefano Zacchiroli (PPS, IRILL, Université
  Paris-Diderot) : L'archivage du logiciel libre

- mercredi 20 janvier 2016 : Christine Proust (CNRS, SPHERE, Université
  Paris-Diderot) et Baptiste Mélès (CNRS, Archives Henri-Poincaré,
  Université de Lorraine) : « MesoCalc, la calculatrice mésopotamienne
  en JavaScript »

- mercredi 17 février 2016 : Nicolas George, « La négociation de format
  dans libavfilter »

- mercredi 23 mars 2016 : Yann Régis-Gianas (PPS, IRIF, Université
  Paris-Diderot, Pi.R2, INRIA) : « CallCC, un coup d'état sur le
  contrôle »

- mercredi 13 avril 2016 : Karine Chemla (Projet ERC SAW & SPHERE, CNRS
  Université Paris-Diderot) : « Calculer avec des positions, calculer
  avec des tables en Chine ancienne »

- mercredi 18 mai 2016 (matin) : Éric Vandendriessche (SPHERE)

- mercredi 22 juin 2016 : Liesbeth De Mol (CNRS, STL, Université de
  Lille 3) : « Code source sans code ? Le cas de l'ENIAC »



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

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

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