Toutes les séances commencent à 14h, l’exposé dure environ une heure et une discussion avec la salle est prévue ensuite. Les séances auront lieu dans la salle 24-25/405 du LIP6 (rotonde 24 ou 25, 4e étage), au sein de l’université Pierre et Marie Curie (UPMC), métro Jussieu (lignes 7 et 10). Voici un plan du campus de Jussieu avec la numérotation des rotondes.

Mercredi 14 octobre 2015

Georges Gonthier (Microsoft Research/INRIA), « Le génie logiciel des mathématiques formelles »

Mercredi 18 novembre 2015

Séance annulée suite aux attentats de Paris.

Mercredi 16 décembre 2015

Stefano Zacchiroli (PPS, IRILL, Université Paris-Diderot) : « Logiciel Libre : archivage, publication, et recherche à grande échelle avec Debsources »

Mercredi 13 janvier 2016

Julian Rohrhuber (Institut für Musik und Medien, Robert-Schumann Hochschule Düsseldorf) : « Lecture errante. The close reading of sound algorithms leads astray – through the history of understanding, technology of sensibility, and matters of thought »

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

Éric Vandendriessche (SPHERE) et Alban Da Silva (ESPE & Laboratoire LIRE, Université de la Nouvelle-Calédonie) : « Programmer les dessins sur le sable de Vanuatu : nouvelles perspectives d’une recherche ethnomathématique »

Mercredi 22 juin 2016

Liesbeth De Mol (CNRS, Savoirs Textes Langages, Université de Lille 3) : « Code source sans code ? Le cas de l’ENIAC »