Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

member of the organizing committee

Dongming Wang was involved in the organization of the following conferences

• Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2014) (Vienna, Austria, July 17-18, 2014).

• Software for Geometry at the 4th International Congress on Mathematical Software (ICMS 2014) (Seoul, Korea, August 5-9, 2014).

Scientific events selection

member of the conference program committee

Ludovic Perret was member of the program committee of the following conference:

• Eurocrypt 2014 is the 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques (11 ? 15 May 2014 Copenhagen, Denmark)

Mohab Safey El Din was member of the program committee of the following conferences:

• 39-th Symposium on Symbolic and Algebraic Computation (ISSAC 2014) (Kobe, Japan, July 23-25, 2014)

• ACM Symbolic-Numeric Computation Conference (SNC 2014) (Shangai, China, July 28-31, 2014)

Jean-Charles Faugère and Ludovic Perret were involved in a special Issue of the Journal Of Symbolic Compuation (JSC) devoted to Mathematical and Computer Algebra Techniques in Cryptology.

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

• 39-th Symposium on Symbolic and Algebraic Computation (ISSAC 2014) (Kobe, Japan, July 23-25, 2014)

• The IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC'2015)

• The thirteenth conference MEGA (University of Trento, Italy)

Elias Tsigaridas was member of the program committee of the following conferences:

• ACM Symbolic-Numeric Computation Conference (SNC 2014) (Shangai, China, July 28-31, 2014)

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

• 6th International Symposium on Symbolic Computation in Software Science (SCSS 2014) (Gammarth, Tunisia, December 7-11, 2014),

• 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014) (Timisoara, Romania, September 22-25, 2014),

• 12th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2014) (Sevilla, Spain, December 11-13, 2014),

• 10th International Workshop on Automated Deduction in Geometry (ADG 2014) (Coimbra, Portugal, July 9-11, 2014).

Journal

member of the editorial board

Ludovic Perret is member of the editorial board of Designs, Codes and Cryptography published by Springer.

Mohab Safey El Din is member of the editorial board of Journal of Symbolic Computation (published by Academic Press/Elsevier, London).

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),

  • Book Series on Mathematics Mechanization (published by Science Press, Beijing),

  • Book Series on Fundamentals of Information Science and Technology (published by Science Press, Beijing).

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

• Editor for the Book Series in Computational Science (published by Tsinghua University Press, Beijing).

Invited Talks

Jean-Charles Faugère was invited talk at:

• Workshop on Polynomials over Finite Fields - Barcelona - Centre de Recerca Matemàtica (CRM) - Spain

• Computational Nonlinear Algebra - Computational Nonlinear Algebra (ICERM) - Providence - USA

• Main lecture - Journées Nationales de Calcul Formel

Guénaël Renault was invited speaker for the following international conferences:

• Espaces de modules effectifs et application à la cryptographie (June 10-13, 2014, Rennes, France)

• 18th Workshop On Elliptic Curve Cryptography (October 8-10, 2014, Chennai, India)

Mohab Safey El Din was invited talk at:

• Workshop Solving Polynomial Equations as part of the Algorithms and Complexity in Algebraic Geometry program, Simons Institute, Berkeley, Oct. 2014.

• Special track on Algebraic techniques in polynomial optimization, IFORS, Barcelona, Spain, July, 2014.

• Real Algebraic Geometry With A View Toward Systems Control and Free Positivity, Oberwolfach, Germany, April, 2014.