Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• 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 has been elected member of the steering committee of the International Symposium on Symbolic and Algebraic Computation (ISSAC, 3-year term).

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

• Assia Mahboubi serves in the scientific advisory board of the Mathematics, Algorithms and Proofs community (MAP).

• Assia Mahboubi has served in the scientific advisory board of the École du GDR Informatique – Mathématiques 2016.

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

Member of the Organizing Committees

• Assia Mahboubi has co-organized the MAP'16 conference at CIRM (Marseille), with B. Spitters (Aarhus University, Denmark) and P. Schuster (University of Verona, Italy): http://scientific-events.weebly.com/1508.html.

• Assia Mahboubi has co-organized, with E. Tassi (Marelle), the workshop Mathematical Components: an introduction, satellite of the conference ITP 2016: https://itp2016.inria.fr/workshops/#mc.

• Assia Mahboubi has co-organized, with K. Nakata (FireEye, Germany), the workshop TTT, satellite of the POPL'17 conference: http://popl17.sigplan.org/track/TTT-2017.

• Suzy Maddah has co-organized the gathering Functional Equations in Limoges (FELIM 2016): https://indico.math.cnrs.fr/event/919/.

• Suzy Maddah has co-organized a session on software for the symbolic study of functional equations at the International Congress on Mathematical Software (ICMS 2016): http://icms2016.zib.de/.

• Alin Bostan has co-organized, together with Bruno Salvy (Inria and ENS Lyon) and Conrado Martinez (UPC BarcelonaTech), the conference ALEA 2016 at CIRM (Marseille): http://scientific-events.weebly.com/1406.html.

Scientific Events Selection

Chair of Conference Program Committees

• Alin Bostan has served as Symbolic Computation track chair for the international conference SYNASC 2016.

Member of the Conference Program Committees

• Assia Mahboubi has served as a member of the program committee for the international conferences with proceedings CPP 2017, ITP 2016, CSL 2016, CICM 2016 and SCSS 2016. She has also served as member of the program committee for the MAP 2016 conference and for the HaTT workshop.

• Alin Bostan has served as a member of the program committee of the ISSAC 2016 and of the SYNASC 2016 international conferences.

Reviewer

• Assia Mahboubi has served as reviewer for the proceedings of the international conferences CPP 2017, ITP 2016, CSL 2016, CICM 2016 and SCSS.

• Alin Bostan has served as reviewer for the proceedings of the international conferences FPSAC 2016, ISSAC 2016, AofA 2016 and SYNASC 2016.

Journal

Member of the Editorial Boards

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

Reviewer - Reviewing Activities

• Assia Mahboubi has served as a reviewer for the Journal of Automated Reasoning.

• Frédéric Chyzak has served as a reviewer for the journals: Applicable Algebra in Engineering, Communication and Computing; Journal of Symbolic Computation; Journal of Algebra; and Electronic Journal of Combinatorics.

• Alin Bostan has served as a reviewer for the journals: Journal of Complexity; Mathematics of Computation; Linear Algebra and its Applications; Journal of Physics A: Mathematical and Theoretical; Journal of Algebra and its Applications; Journal of Symbolic Computation; Advances in Applied Mathematics.

Invited Talks

• Assia Mahboubi has given an invited talk at the special trimester Mathematics – Computer Science – Philosophy CIPPMI in Toulouse in March 2016.

• Assia Mahboubi has given an invited lecture for the students of École Normale Supérieure Paris-Saclay in September 2016.

• Alin Bostan has been invited to give a series of five lectures at the summer school Algorithmic and Enumerative Combinatorics (RISC, Hagenberg, Austria), August 1–5, 2016.

• Philippe Dumas has given an invited lecture about divide-and-conquer recurrences at the Journées Aléa (CIRM, Marseille, France), March 7–11, 2016 [18].

Leadership within the Scientific Community

• Assia Mahboubi is leading the working group Type theory based tools inside the EUTYPES COST project. She is also M.C. for France for this project and a member of its core managment group.

Research Administration

• Assia Mahboubi is member of the Commission Scientifique of Inria Saclay — Île-de-France.

• Georges Gonthier is a member of the board of the École doctorale de mathématiques Hadamard (EDMH).