Business meeting des journées inaugurales du GT Scalp

26 novembre 2018 au LRI

Ordre du jour

Point logistique

Plan pour le dîner

Création du GT Scalp

Préparation et participation aux Journées

Discussion sur le périmètre du GT

L’objectif du GT Scalp (Structures formelles pour le CALcul et les Preuves) du GdR IM est d'animer la communauté des chercheurs français travaillant sur les structures mathématiques permettant de modéliser preuves et programmes, avec une attention particulière (mais non exclusive) à l'interface entre les deux.

Le spectre du groupe, qui s'insère dans un éventail de disciplines allant de la théorie de la démonstration à la théorie des langages de programmation, couvre notamment

Les méthodes employées sont à la fois de nature

Le groupe Scalp est susceptible d’avoir des interactions fécondes avec les groupes

Actions à conduire dans le GT

Journées annuelles 2019

Questions diverses