Intégrales orbitales sur GL(N,Fq((t))) ... Date(s) : 26/04/2016 iCal14h00 - 15h00 ––Webpage“>Webpage– Catégories Pas de Catégories Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system26 April 2016Annulé27 April 2016