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, 3-year 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 co-chair or the organising committee of the Big Proof thematic program held at the Newton Institute (Cambridge, UK) in June-August 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

• 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; 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/5-day-workshops/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 Computer-Aided 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 Computer-aided 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 Computer-aided 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.

Research Administration

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

• Assia Mahboubi has been a member of the Commission Scientifique of Inria Saclay — Île-de-France, until September 2017.