Saison 2018-2019

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 »