Nous étudierons dans ce groupe de travail les outils mathé
Dans ce groupe de travail, nous proposons une introduction d
Ce groupe de travail s’intéressera à la formalisation et
L'objectif de ce groupe de travail est de montrer cette conn
La première tâche de ce groupe de travail sera de définir
