EN FR
Homepage Inria website


Section: Dissemination

Scientific Animation

L. Perret was a PC member of Inscrypt'13, PKC'13 and Eurocrypt'14. L. Perret joined the editorial board of Designs, Codes and Cryptography.

L. Perret was invited speaker in the workshop “Computer algebra and polynomials” held on November 25-29, 2013 at the Research Institute for Symbolic Computation, Linz, Austria.

M. Safey El Din was invited speaker at

  • the Polynomial Optimisation Program at Newton Institute in Cambridge (UK);

  • the conference “Numerical Methods and Efficient Computations” in honor of J.-P. Dedieu, CIRM, France, 2013.

  • the International Symposium on Symbolic and Algebraic Computation (ISSAC) [21] .

C. Eder and E Tsigaridas were invited speakers in the workshop “Gröbner Bases, Resultants and Linear Algebra” held on 3-6 September 3-6, 2013 at the Research Institute for Symbolic Computation, Hagenberg, Austria.

G. Renault was invited speaker in the Minisymposium On Coppersmith's Heuristic Algorithm for Finding Roots of Multivariate Polynomials in the SIAM Conference on Applied Algebraic Geometry at Colorado State University, USA (August 1–4, 2013) (http://meetings.siam.org/sess/dsp_programsess.cfm?SESSIONCODE=16747 ).

M. Safey El Din co-organized (with P. Boito, G. Chèze and C. Pernet) the Journées Nationales de Calcul Formel in CIRM, France (May, 13-17, 2013) (http://jncf2013.imag.fr/ ).

M. Safey El Din co-organized (with E. Kaltofen and L. Zhi) the Minisymposium on Exact Certificates in Nonlinear Global Optimization in the SIAM Conference on Applied Algebraic Geometry at Colorado State University, USA (August 1–4, 2013) (http://meetings.siam.org/program.cfm?CONFCODE=AG13 ).

J.-C. Faugère was invited speaker in the Computer algebra and polynomials International Workshop at Linz, Austria (Dec 2013).

J.-C. Faugère was invited speaker in the Multivariate Polynomial Workshop at Fukuoka, Japan (Fev 2013).

J.-C. Faugère was invited speaker in the Groebner bases, resultants and linear algebra Workshop at Linz, Austria (Sep 2013).

M. Safey El Din and E. Tsigaridas organized the Minisymposium Algorithms in Real Algebraic Geometry and its Applications in the SIAM Conference on Applied Algebraic Geometry at Colorado State University, USA (August 1–4, 2013) (http://meetings.siam.org/program.cfm?CONFCODE=AG13 ).

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

E. Tsigaridas (in collaboration with O. Devillers, M. Karavelas, M. Teillaud) organized the Workshop on Geometric Computing, Heraklion, in Greece, January 21 – 25 2013 (http://www.acmac.uoc.gr/GC2013/ ).

E. Tsigaridas participated in the International Symposium on Symbolic and Algebraic Computation (ISSAC) which was held in June 26-29, 2013 at Northeastern University, Boston, Massachusetts, USA and presented the paper [32] .

C. Eder participated in the International Symposium on Symbolic and Algebraic Computation (ISSAC) which was held in June 26-29, 2013 at Northeastern University, Boston, Massachusetts, USA and presented the paper [27] .

C. Eder was invited in University of Mississippi, Hattiesburg Mississippi (USA) on 25 June 2013 and gave a talk on Improved Gröbner Basis computation with applications in cryptography.

J.-C. Faugère has the following editorial activities:

  • Associate Editor of Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences (SPRINGER).

  • Guest Editor of a special issue of the Journal Of Symbolic Computation (2013) (with L. Perret).

D. 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).

D. Wang was involved in the organization of the following conferences

  • General Co-chair of the

    5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013) (Nanning, China, December 11-13, 2013).

  • Member of the Program Committee

    • 2nd International Workshop on Hybrid Systems and Biology (HSB 2013) (Taormina, Italy, September 2, 2013),

    • 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013) (Timisoara, Romania, September 23-26, 2013).

  • Co-organizer and Program Co-chair

    Second International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013) (Beijing, China, October 23-25, 2013).

  • Member of the Steering Committee

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

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