## Section: Dissemination

### Scientific Animation

The team started a seminar, first on an irregular basis, but with the view of running more regular sessions. It attracted researchers from teams in the neighbouring environment and had 8 sessions in 2013.

F. Chyzak is part of the scientifique committee of the *Journées
Nationales de Calcul Formel*, the annual meeting of the French
computer algebra community.

A. Mahboubi and E. Tassi have organized the 5th edition of the Coq international workshop (satellite of the Itp 2013 conference, Rennes, July 2013).

A. Mahboubi has participated to the organization of the Lix Colloquium (November 2013) and of the satellite PSATT international workshop.

A. Mahboubi has served in the program committee of the 5th edition of the Coq international workshop.

A. Mahboubi has served in the program committee of the ITP 2013 international conference.

A. Bostan has served as the Poster Committee Chair for the ISSAC 2013 international conference.

A. Bostan has served in the program committee of the MEGA 2013 international conference.

A. Bostan has served in the program committee of the FPSAC 2013 international conference.

A. Bostan has served in the program committee of the SYNASC 2013 international conference.

A. Bostan is part of the Scientific advisory board of the MEGA conference series.

A. Mahboubi and E. Tassi have given an invited tutorial at the ITP 2013 international conference (Rennes, France).

A. Mahboubi has given an invited talk at the Calculemus 2013 conference (Bath, United Kingdom).

A. Mahboubi has given an invited talk at the Colloquium of the Institute of Mathematics at the University of Nantes (France).

A. Mahboubi has given an invited talk, joint with G. Gonthier at the Dutch Mathematical Congress 2013 (Nijmegen, Netherlands).

A. Mahboubi has given an invited talk at the British Colloquium for Theoretical Computer Sciences (Bath, United Kingdom).