Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

• Alin Bostan is part of the Scientific advisory board of the conference series Effective Methods in Algebraic Geometry (MEGA).

• Alin Bostan was a member of the Scientific advisory board of the conference Algèbre, arithmétique et combinatoire des équations différentielles et aux différences, CIRM (Luminy, France); $\sim 60$ participants.

• Alin Bostan is part of the scientific committee of the GDR EFI (“Functional Equations and Interactions”) dependent on the mathematical institute (INSMI) of the CNRS. The goal of this GDR is to bring together various research communities in France working on functional equations in fields of computer science and mathematics.

• Frédéric Chyzak is member of the steering committee of the Journées Nationales de Calcul Formel (JNCF), the annual meeting of the French computer algebra community.

• Frédéric Chyzak is elected member (and current chair) of the steering committee of the International Symposium on Symbolic and Algebraic Computation (ISSAC, 3-year term, 2016–2018).

• Georges Gonthier is a member of the steering committee of the Certified Programs and Proofs Conference (CPP).

Member of the Organizing Committees

• Alin Bostan co-organizes, with Lucia Di Vizio, the Séminaire Différentiel between U. Versailles and Inria Saclay, with a bi-annual frequency ($\sim 30$ participants per event).

• Alin Bostan co-organizes, with Lucia Di Vizio, the working group Marches dans le quart de plan, at Institut Henri Poincaré (Paris), with a bi-monthly frequency ($\sim 15$ participants per event).

Scientific Events Selection

Reviewer

• Frédéric Chyzak has served as reviewer for the selection of the international conference ISSAC 2018.

Journal

Member of the Editorial Boards

• Alin Bostan is on the editorial board of the Journal of Symbolic Computation.

• Georges Gonthier is on the editorial board of the Journal of Formalized Reasoning.

Reviewer - Reviewing Activities

• Alin Bostan has served as a reviewer for the journals: Journal of Symbolic Computation, Journal of Combinatorial Theory, Series A, Applicable Algebra in Engineering Communications and Computing, Minnesota Journal of Undergraduate Mathematics.

• Frédéric Chyzak has served multiple times as a reviewer for the Journal of Symbolic Computation.

• Pierre Lairez has served as a reviewer for the Journal of Symbolic Computation, Journal of the ACM and Journal of Physics A.

Invited Talks

• Alin Bostan has been invited to give a talk at the Workshop on algebraic and analytic aspects of power series, Universidade Lisboa, Lisbonne, Portugal, Jan. 2018.

• Alin Bostan has been invited to give a talk at the conference Algebra, Arithmetic and Combinatorics of Differential and Difference Equations, CIRM (Luminy), France, May 2018.

• Alin Bostan has been invited to give a talk at the conference Grands réseaux aléatoires et marches contraintes, in honor of the 75th birthday of Guy Fayolle, Dijon, France, Aug. 2018.

• Alin Bostan has been invited to give a talk at the conference Combinatorics and Arithmetic for Physics: special days, IHES, Bures-sur-Yvette, France, Oct. 2018.

• Frédéric Chyzak was invited invited speaker at the conference Rencontres Arithmétiques du GDR Informatique Mathématique (RAIM 2018), Gif-sur-Yvette, France, Nov. 2018.

• Georges Gonthier was a plenary keynote speaker at the Federated Logic Conference (FLoC 2018) in Oxford, July 2018.

• Georges Gonthier was invited speaker at the Workshop on Modular Knowledge (Tetrapod) during FLoC 2018, Oxford, July 2018.

• Georges Gonthier ws the keynote speaker of the Future of Mathematical Proofs workshop at the Heidelberg Laureate Forum, September 2018.

Leadership within the Scientific Community

Regular Research Seminar

The team organizes a regular seminar, with roughly 15–20 talks a year. The topics reflect the team's interests: computer algebra, combinatorics, number theory, formal proofs, and related domains. This year, we reduced a bit the number of talks in our seminar, as we have invested much time in setting up a working group with a talk every second week (see 9.1.5.2).

Research Working Group

This year we have set up a working group Marches dans le quart de plan around the study of walks in the quarter plan, a very active research topic in probability theory and enumerative combinatorics in recent years. The working group is organized at Institut Henri Poincaré, with a regularity of two sessions per month. The original purpose was to read the article “On the Nature of the Generating Series of Walks in the Quarter Plane” by T. Dreyfus, C. Hardouin, J. Roques, M. Singer, published in Invent. Math. this year. But the reality exceeded expectations: the working group attracted a dozen of people, working either in computer science or pure mathematics, who began to interact and a very good dynamic was created. Altogether, sixteen sessions have taken place so far, and we have decided to continue in 2019. From the team, Alin Bostan, Frédéric Chyzak, Guy Fayolle, and Pierre Lairez have given a total of 9 talks to this working group.

Scientific Expertise

• Georges Gonthier participated in a review of the software and algorithms of the Tezos blockchain conducted by the Inria Foundation during Spring 2018.

Research Administration

• Georges Gonthier serves on the Conseil de l'École Doctorale de Mathématiques Hadamard.