FR

EN

Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies


Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

Dongming Wang was the General Chair of International Conference on Automated Deduction in Geometry (ADG 2018) (Nanning, China, September 11-14, 2018).

Dongming Wang was the General co-Chair of the 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019) , Beijing, China, July 15-18, 2019), and the 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018) (Suzhou, China, September 16-19, 2018).

Scientific Events Selection

Member of the Conference Program Committees

Elias Tsigaridas was a member of the program committees of the 20th International Workshop on Computer Algebra in Scientific Computing (CASC) 2018.

Mohab Safey El Din was member of the program committee of the 43rd International Symposium on Symbolic and Algebraic Computation (ISSAC) 2018.

Emmanuel Prouff was a member of the programm committee of the Conference on Cryptographic Hardware and Embedded Systems 2018 (CHES), Smart Card Research and Advanced Application Conference (CARDIS) 2018, and Constructive Side-Channel Analysis and Secure Design (COSADE) 2018.

Dongming Wang was a member of the program committee of 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018) (Suzhou, China, September 16-19, 2018) and the 4th International Conference on Numerical and Symbolic Computation (SYMCOMP 2019) (Porto, Portugal, April 11-12, 2019).

Reviewer

Mohab Safey El Din was reviewer of the M. Skomra's Phd (CMAP, École polytechnique).

Journal

Member of the Editorial Boards

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

Mohab Safey El Din (with Chee Yap, Courant Inst. NYU) is guest editor of the Journal of Symbolic Computation Special Issue on the 2017 International Symposium on Symbolic and Algebraic Computation.

Dongming Wang is a member of the editorial board of

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

Dongming Wang is a member of the Advisory Board for the journal SCIENCE CHINA Information Sciences (published by Science China Press, Beijing and Springer, Berlin).

Dongming Wang is the Editor-in-Chief for the journal Mathematics in Computer Science (published by Birkhäuser/Springer, Basel).

Invited Talks

Elias Tsigaridas was invited speaker at

  • IBM T.J. Watson Research Center, (Invited talk) 28 Nov 2018.

  • Applied Algebra Day. MIT, 17 Nov 2018.

  • ICERM, University of Brown, Main seminar, Nov, 2018.

Mohab Safey El Din was invited speaker at

  • Key Lab on Math. Mechanization, Chinese Academy of Sciences, Invited talk.

  • Dep. of Math. of Univ. of Tromso, Invited talk.

  • ICERM, Semester Prog. on Non-linear Algebra, Workshop on Real algebraic geometry and optimization, Plenary talk.

Emmanuel Prouff was an invited speaker at

  • PANDA 2018 Conference (China) and talked on "Deep Learning for Embedded Security Evaluation".

  • COSADE 2018 Conference (Singapur) and talked on "Deep Learning for Embedded Security Evaluation".

Scientific Expertise

Mohab Safey El Din is Chargé de Mission for Computer Science at Sorbonne Univ. (Faculté des Sciences et Ingéniérie).