Section: Dissemination

Promoting Scientific Activities

Scientific animation

• Guillaume Hanrot is director of the LIP laboratory (Laboratoire de l'Informatique du Parallélisme) since April 1, 2014. He was deputy director of the LIP before;

• Jean-Michel Muller is co-director of the Groupement de Recherche (GDR) Informatique Mathématique of CNRS;

• Gilles Villard has been director of the LIP laboratory until April 1, 2014.

Scientific events organisation

general chair, scientific chair

Damien Stehlé is a member of the steering committee of the PQCrypto conference series. He is also a member of the steering committee of the Cryptography and Coding French research grouping (C2).

Claude-Pierre Jeannerod is a member of the scientific committee of JNCF (Journées Nationales de Calcul Formel).

member of the organizing committee

Bruno Salvy was one of the organizers of a workshop “Challenges in 21st Century Experimental Mathematical Computation”, at ICERM, Providence, Rhode Island.

Nicolas Brisebarre and Jean-Michel Muller organized a one week workshop “Formal Proof, Symbolic Computation and Computer Arithmetic” which took place from February 3 to February 7 (50 participants), in the framework of a whole month devoted to “Mathematical Structures of Computation” in Lyon.

Scientific events selection

member of the conference program committee

Jean-Michel Muller was a member of the program committees of ASAP'2014 and ARITH'2015.

Damien Stehlé was a member of the program committees of LATINCRYPT'14, PQCrypto'14, and ACISP'14.

Bruno Salvy was a member of the program committee of AofA'2014.

Fabien Laguillaumie was a member of the program committee of Africacrypt'14.

Benoît Libert was a member of the program committee of ACM-CCS'14.

Journal

member of the editorial board

• Jean-Michel Muller is a member of the editorial board of the IEEE Transactions on Computers. He is a member of the board of foundation editors of the Journal for Universal Computer Science. He was co-guest editor of a special issue of the journal Science of Computer Programming [32] .

• Bruno Salvy is a member of the editorial boards of the Journal of Symbolic Computation, of the Journal of Algebra (section Computational Algebra) and of the collections Texts and Monographs in Symbolic Computation (Springer) and Mathématiques et Applications (SMAI-Springer).

• Gilles Villard is a member of the editorial board of the Journal of Symbolic Computation.