[ATHENA] Séminaire Codes Sources : annulation de la séance du 8 mars

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

Chers collègues,

Soumis à des obligations professionnelles de dernière minute, Bastien
Guerry a été contraint d'annuler sa participation au séminaire
Codes Sources, initialement prévue pour le jeudi 8 mars 2018. La séance
sur Org-mode sera donc reportée à une date ultérieure.

Nous vous présentons toutes nos excuses pour cette annulation de
dernière minute.

Très cordialement,

Baptiste Mélès.


Le samedi 17 févr. 2018 à 11:33:38 (+0100), Baptiste Mélès a écrit :
> 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 8 mars 2018 (14h-16h) :
> 
>   Bastien Guerry, « Code source et/ou documentation ? Réflexions autour
>   de l’éditeur Emacs, du langage Emacs Lisp et du module Org-mode »
> 
> Résumé :
> 
>   Cette présentation est un jalon le long d’une réflexion plus large sur
>   la documentation logicielle. Une fois illustrés quelques problèmes
>   généraux, nous explorerons la documentation de l’éditeur GNU Emacs et
>   du langage Emacs Lisp d’un point de vue « utilisateur ». Puis nous
>   aborderons cette question de la rédaction de la documentation du point
>   de vue « développeur » à partir de notre expérience de la maintenance
>   d’org-mode, un module d’Emacs. Un temps important sera consacré aux
>   échanges pour que chacun puisse contraster ces expériences à l’aide
>   d’autres expériences particulières.
> 
> 
> Lieu :
> 
>   Salle 24-25/405 du LIP6 (rotonde 25, 4e étage)
> 
> 
> Adresse :
> 
>   4 place Jussieu, 75005 Paris
>   métro Jussieu (lignes 7 et 10)
> 
> 
> ------------------------------------------------------------------------
> 
> Prochaines séances du séminaire Codes sources :
> 
> - jeudi 12 avril 2018 : Sandrine Boissel (Académie de Grenoble),
>   « Mall&t' Algo en Main/AccessiDVScratch - Manipulate Learn
>   Look&Touch : l'algo pour tous grâce à la manipulation »
> 
> - jeudi 3 mai 2018 : Assia Mahboubi (Inria, LS2N, Université de Nantes),
>   « Preuves assistées par ordinateur »
> 
> - jeudi 14 juin 2018 : Camille Paloque-Berges (CNAM, HT2s), « Le poisson
>   d’avril "kremvax.0001" »
> 
> 
> 
> Sauf mention contraire, toutes les séances ont lieu de 14 heures
> à 16 heures au LIP6, dans la salle 24-25/405 (rotonde 25, 4e étage).
> 
> Laboratoire d'Informatique de Paris 6 (LIP6)
> 4 place Jussieu
> 75005 Paris
> métro Jussieu (lignes 7 et 10)
> 
> 
> 
> ------------------------------------------------------------------------
> 
> /* ***************************************
>    * À 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
> 
> Youtube : https://www.youtube.com/channel/UCjlWpJhknF2fUxNUF-we9ww
> 
> Liste de diffusion : https://groups.google.com/forum/#!forum/codes-sources
> 
> ------------------------------------------------------------------------

-- 
Baptiste Mélès
CNRS (Chargé de recherche / Researcher), Université de Lorraine,
Archives Henri-Poincaré — PReST (UMR 7117)
91 avenue de la Libération, 54000 Nancy, France
/Philosophia Scientiæ/ (Rédacteur en chef adjoint / Managing editor)
http://baptiste.meles.free.fr/