Sébastien Gouëzel nous parle de sa contribution au développement de l’assistant de preuves LEAN.
Depuis 10 ans, le Centre Henri Lebesgue dynamise les laboratoires de mathématiques du grand ouest. Nous célébrons la diversité de ses…
Comme chaque année, l'IRMAR participe activement aux manifestations et animations dans le cadre de la Fête de la Science
Nos collègues font parti des 29 personnels de l’Université de Rennes 1 nommés et promus dans l’ordre des palmes académiques au titre des…
La journée de rentrée du laboratoire et de l'UFR mathématiques de l'université de Rennes 1 a eu lieu mardi 10 mai.
L'European Research Council (ERC) a sélectionné le projet "Groupes de transformations algébriques" porté par Serge Cantat,…