François Charton is appointed at the Scientific Advisory Board of ICARM. ICARM is one of the seven Mathematical Scientific Research Institutes (MSRI) of the NSF, together with IAS at Princeton, IPAM at UCLA, IMSI at Chicago, or SLMath at Berkeley (formerly known as MSRI at Berkeley).
ICARM is located at Carnegie Mellon University and its mission is to support the use of new technologies for computer-aided reasoning and discovery in mathematics.