Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

General chair, scientific chair

Guénaël Renault and Emmanuel Prouff were both General Co-chairs of CHES 2015.

Member of the organizing committees

Dongming Wang was involved in the organization of the following conferences

• Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2015) (Beijing, China, October 21-23, 2015);

• Dagstuhl Seminar 15471: Symbolic Computation and Satisfiability Checking ((SC)² 2015) (Dagstuhl, Germany, November 15-20, 2015);

• International Seminar on Geometric Computation (GC 2015) (Nanning, China, February 2-4, 2015).

Scientific events selection

Chair of conference program committees

Dongming Wang was Program Co-chair of the following conferences

• Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2015) (Beijing, China, October 21-23, 2015);

• Dagstuhl Seminar 15471: Symbolic Computation and Satisfiability Checking ((SC)² 2015) (Dagstuhl, Germany, November 15-20, 2015);

• International Seminar on Geometric Computation (GC 2015) (Nanning, China, February 2-4, 2015).

Member of the conference program committees

Jean-Charles Faugère was member of the program committees of the following conferences

• PKC 2015

• Eurocrypt 2016

Ludovic Perret was member of the program committees of the following conferences

• The 7th International Workshop on Parallel Symbolic Computation (PASCO'15)

• The 41th International Symposium on Symbolic and Algebraic Computation (ISSAC'16)

Emmanuel Prouff was member of the program committees of the following conferences

• Workshop on Cryptographic Hardware and Embedded Systems (CHES 2015);

• 14th Smart Card Research and Advanced Application Conference (CARDIS 2015);

• 6th International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE);

• Indocrypt 2015.

Guénaël Renault was member of the program committees of the following conferences

• International Symposium on Symbolic and Algebraic Computation (ISSAC 2015)

Mohab Safey El Din was was member of the program committees of the following conference

• International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) 2015;

Dongming Wang was member of the program committees of the following conferences

• International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS);

• International Symposium on Symbolic Computation in Software Science (SCSS).

Journal

Member of the editorial boards

Ludovic Perret is Member of the Editorial Board of Designs, Codes and Cryptography.

Mohab Safey El Din is member of the editorial board of Journal of Symbolic Computation.

Dongming Wang has the following editorial activities:

• Editor-in-Chief and Managing Editor for the journal

  Mathematics in Computer Science (published by Birkhäuser/Springer, Basel).

• Executive Associate Editor-in-Chief for the journal

  SCIENCE CHINA Information Sciences (published by Science China Press, Beijing and Springer, Berlin).

• Member of the Editorial Boards for the

  • Journal of Symbolic Computation (published by Academic Press/Elsevier, London),

  • Frontiers of Computer Science (published by Higher Education Press, Beijing and Springer, Berlin),

  • Texts and Monographs in Symbolic Computation (published by Springer, Wien New York),

• Member of the International Advisory Board for the Communications of JSSAC (Japan Society for Symbolic and Algebraic Computation) (published by JSSAC).

Invited talks

Jean-Charles Faugère was invited speaker at

• Workshop on “Grobner bases techniques for post-quantum cryptography”, March 27, 2015 Washington (USA)

• Workshop on Algebra, Geometry and Proofs in Symbolic Computation Thematic Program on Computer Algebra, Fields Inst. Toronto, Dec. 2015.

• Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) Nov 11–13, 2015 Zuse Institute Berlin (ZIB), Germany.

• Journées Nationales de Calcul Formel (3 hours lecture) Oct 2015, Cluny France

Daniel Lazard was special invited talk at Effective Methods in Algebraic Geometry 2015 - Università di Trento, Trento, June 2015.

Emmanuel Prouff was invited talk at Workshop on Constructive Side-Channel Analysis and Secure Design 2015, Mövenpick Hotel, Berlin, Apr. 2015.

Mohab Safey El Din was invited speaker at

• Workshop on Algebra, Geometry and Proofs in Symbolic Computation Thematic Program on Computer Algebra, Fields Inst. Toronto, Dec. 2015.

• Workshop on Linear Computer Algebra and Symbolic-Numeric Computation, Thematic Program on Computer Algebra, Fields Inst. Toronto, Oct. 2015.

• Workshop Algebraic Vision, TU Berlin, October 2015.

• Dagstuhl seminar on Complexity of Symbolic and Numeric Procedures, Dagstuhl, Germany, June 2015.

• Czech workshop on applied mathematics in engineering Prague, Czech, February, 2015.

Mohab Safey El Din was also invited to give talks at

• Minisymposium on Maximum Likelihood Degrees and Critical Points, SIAM Conference on Applied Algebraic Geometry, Daejoon, Aug. 2015, South-Korea.

• Minisymposium on Real algebraic geometry and Optimization, SIAM Conference on Applied Algebraic Geometry, Daejoon, Aug. 2015, South-Korea.

• Minisymposium on Polynomial Optimization and Moments, SIAM Conference on Applied Algebraic Geometry, Daejoon, Aug. 2015, South-Korea.

Elias Tsigaridas was invited speaker at

• Workshop on Algebra, Geometry and Proofs in Symbolic Computation Thematic Program on Computer Algebra, Fields Inst. Toronto, Dec. 2015.

• Structured Matrices Days 2015 June 4–5, 2015 XLIM-DMI, Université de Limoges, France.

• Computer Algebra in Scientific Computing (CASC) September 14–18, 2015 RWTH Aachen University, Aachen, Germany.

Scientific expertise

Guénaël Renault had the following scientific expertise activities :

• member of jury de selection du concours CR2 Inria Saclay

• participating to the panel for research proposals selection in the field of theoretical computer science, Finland Academy.