Précédent : Conférences invitéestutoriels, cours, etc. Remonter : Diffusion des résultats Suivant : Diffusion de logiciels

Animations scientifiques

Le séminaire Coq-Cristal-Para, organisé par Didier Rémy, a accueilli cette année une trentaine d'orateurs internationaux.