This page has been moved to https://core-math.gitlabpages.inria.fr/.