Au début des années 2000, Ehrhard et Regnier ont introduit des extensions différentielles du λ-calcul et de la logique linéaire: celles-ci offrent un pendant syntaxique à la sémantique quantitative, c’est-à-dire de l’interprétation des preuves de la logique linéaire comme des applications linéaires et continues, et des programmes fonctionnels comme des applications analytiques, sujettes au développement de Taylor.
Ces résultats séminaux ont marqué le début d’une quantité considérable de contributions scientifiques à la jonction de l’informatique théorique, de la logique et de la théorie des catégories. Ils ont permis de mettre au jour une théorie de l’approximation des programmes fonctionnels, raffinant avec des informations quantitatives les approches basées sur les ordres partiels. Ils ont guidé la mise au point de méthodes formelles pour la programmation probabiliste, et la programmation différentiable. Ils ont contribué de manière importante à l’étude catégorique de la différentiation, en révélant la structure algébrique derrière ses différents aspects. Ils ont participé au développement rapide de l’approche bicatégorique de la sémantique dénotationnelle, qui fournit au niveau 2-dimensionnel une abstraction des chemins d’exécution des
programmes.
Cette conférence sera structurée autour d’exposés de chercheuses et chercheurs invités, présentant les avancées obtenues depuis l’invention du λ-calcul différentiel et de la logique linéaire différentielle, jusqu’aux plus récentes. L’accent sera mis sur la diversité des objets, des techniques et des champs d’application. Le programme comprendra également des créneaux pour que les participants présentent leurs  ravaux, dans des exposés courts.