Survol
Le développement d’algorithmes efficaces (en temps polynômial) pour le calcul du nombre de points de variétés sur les corps finis représente un domaine d’application très attrayant, en partie parce qu’il se base sur des théories mathématiques sophistiquées comme la cohomologie étale et les théories de cohomologie p-adique dont le développement a été une pierre angulaire de la théorie des nombres dans la seconde moitié du 20e siècle. L’atelier sera consacré aux progrès récents dans ce domaine.