Retour Méthodes constructives en algèbre homologique, implémentations et applications
du 24/01/2011 au 28/01/2011
Organisateurs
Thierry COQUAND Chalmers University
Computing Science Department
SE-412 96 Göteborg, SUEDE
Tel : 46 31 772 10 30
coquand@cs.chalmers.se Alban QUADRAT INRIA Saclay - Ile-de-France
Projet DISCO
91192 Gif-sur-Yvette cedex, FRANCE
Tel : 01-69-85-17-75
Alban.Quadrat@sophia.inria.fr Liste des participants