Toutes les séances commencent à 14h. L’exposé dure une heure et est suivi d’une discussion avec la salle.
Les séances ont lieu dans la salle 24-25/405 du LIP6 (rotonde 25, 4e étage), au sein de l’université Pierre et Marie Curie (UPMC), métro Jussieu (lignes 7 et 10). Voir un plan du campus de Jussieu avec la numérotation des rotondes.
Jeudi 24 janvier 2019
Oriane PIQUER-LOUIS (Université Lumière Lyon 2, ELICO), « Informatique et présentation de soi : la ligne de commande, une esthétique de l’efficacité ? Retour sur un mémoire de Master »
Jeudi 7 février 2019
Assia MAHBOUBI (Inria, LS2N, Université de Nantes), « Démonstrations assistées par ordinateur »
Jeudi 28 mars 2019
Bastien GUERRY, « Code source et/ou documentation ? Réflexions autour de l’éditeur Emacs, du langage Emacs Lisp et du module Org-mode »
Jeudi 11 avril 2019
Marie-José DURAND-RICHARD (Paris 8, SPHERE), « Les diagrammes de fonctionnement de The Analytical Engine, de Charles Babbage 1791-1877) à Ada Lovelace (1815-1852) »
Jeudi 23 mai 2019
Gauthier van den HOVE (Centrum Wiskunde & Informatica), « L’invention des liens statiques »
Jeudi 13 juin 2019
Guillaume MUNCH-MACCAGNONI (Inria, Gallinette), « Curry-Howard et méthode en recherche en langages de programmation : l’exemple de l’objet comme valeur linéaire »