Section: Dissemination
Promoting Scientific Activities
Scientific Events Organisation
General Chair, Scientific Chair

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

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 of the steering committee of the International Symposium on Symbolic and Algebraic Computation (ISSAC, 3year term, 2016–2018).

Assia Mahboubi has served on the scientific committee of the Journées Scientifiques Inria and of the EUTypes summer school.
Member of the Organizing Committees

Georges Gonthier was cochair or the organising committee of the Big Proof thematic program held at the Newton Institute (Cambridge, UK) in JuneAugust 2017.

Assia Mahboubi has organized the TTT workshop, satellite of the POPL'17 conference.
Other
The team organizes a regular seminar(https://specfun.inria.fr/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.
Scientific Events Selection
Member of the Conference Program Committees

Assia Mahboubi has served as member of the conference program committees of the international conferences CPP 17, CADE 17, ITP 17, and on the program committee of the international workshops TYPES 17, TyDe 17, HoTT/UF 17.
Reviewer

Alin Bostan has served as reviewer for the selection of the international conferences ISSAC 2017 and MEGA 2017.

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

Assia Mahboubi has served as external reviewer for the international conference LICS 17.
Journal
Member of the Editorial Boards
Reviewer  Reviewing Activities

Alin Bostan has served as a reviewer for the journals: Journal of Symbolic Computation; Linear Algebra and its Applications; Journal of Algebra and its Applications; Journal of Complexity; Advances in Applied Mathematics; Journal of Combinatorial Theory, Series A.

Assia Mahboubi has served as reviewer for the journals: Annals of Mathematics and Artificial Intelligence; Journal of Automated Reasoning.
Invited Talks

Alin Bostan has been invited to give a series of three lectures at the JNCF – Journées Nationales de Calcul Formel (CIRM, Luminy, France), January 16–18, 2017, http://jncf2017.lip6.fr.

Alin Bostan has been invited to give a talk at the workshop EDATE – Equations différentielles : aspects théoriques et effectifs, Grenoble, March 13–15, 2017, http://edate2017.sciencesconf.org/.

Alin Bostan has been invited to give a talk at the workshop ANT – Automata in Number Theory, île de Porquerolles, May 30–June 2, 2017, http://indico.math.cnrs.fr/event/2347/.

Alin Bostan has been invited to give a talk at the workshop Lattice walks at the Interface of Algebra, Analysis and Combinatorics, BIRS, Banff, Canada, September 17–22, 2017, http://www.birs.ca/events/2017/5dayworkshops/17w5090.

Alin Bostan has been invited to give a series of introductory lectures at the Workshop on Computer Algebra in Combinatorics, Erwin Schrödinger Institut (ESI), Vienna, Austria, November 13–17, 2017, http://www.mat.univie.ac.at/~kratt/esi4/workshop2.html.

Frédéric Chyzak has been invited to give a talk at the Second International Conference “Computer Algebra in Moscow”, Plekhanov Russian University of Economics, Moscow, Russia, October 30 to November 30, 2017, http://www.ccas.ru/ca/conference.

Frédéric Chyzak has been invited to give a talk at the Workshop on Computer Algebra in Combinatorics, Erwin Schrödinger Institut (ESI), Vienna, Austria, November 13–17, 2017, http://www.mat.univie.ac.at/~kratt/esi4/workshop2.html.

Georges Gonthier gave an invited talk at the Special Session on ComputerAided Proofs of the Association for Symbolic Logic 2017 North American Meeting, Boise, Idaho, USA, March 20–23, 2017.

Georges Gonthier gave an invited talk at the Second Conference on Artificial Intelligence and Theorem Proving (AITP'17), Obergürgl, Austria, March 26–30, 2017.

Georges Gonthier gave a talk at the ERCIM Workshop on Blockchains, Paris, May 23, 2017.

Georges Gonthier gave an invited talk at the Workshop Computeraided Mathematical Proof, part of the Big Proof Program, Isaac Newton Institute, Cambridge, U.K.

Pierre Lairez gave an invited talk at Effective Methods in Algebraic Geometry (MEGGA 2017), Nice.

Pierre Lairez gave an invited talk at the Conference on Foundations of Computational Mathematics (FoCM 2017), Barcelona, Spain.

Assia Mahboubi has been invited to give a talk at the General Mathematics Colloquium of the VU Amsterdam, The Netherlands.

Assia Mahboubi has been invited to give a talk at the Workshop Computeraided Mathematical Proof, part of the Big Proof Program, Isaac Newton Institute, Cambridge, U.K.
Leadership within the Scientific Community

Assia Mahboubi leads the working group Type theory based tools inside the EUTYPES COST project. She is also a member of the management committee for France for this project and a member of its core management group.