EN FR
Homepage Inria website





Bilateral Contracts and Grants with Industry
Bibliography


Section: Dissemination

Scientific Animation

Elias Tsigaridas visited the Computer Science Department of Aarhus University, Denmark (28 May - 3 June) and gave a talk on random polynomials. He participated in ISSAC 2012 (July 22-25, 2012) in Grenoble, France and gave a talk on real solving polynomials with coefficients in multiple extension fields. He visited (23 Oct – 4 Noe) the Chinese Academy of Sciences, Beijing, China, as an invited speaker for the workshop Computational Geometry of the Asian Symposium on Computer Mathematics (ASCM), where he gave a talk on “Univariate Real Root Isolation in Extension Field and Applications to Topology of Curves”. During his stay in China, he was also invited to give a talk at Institute of Software of the State Key Lab of Computer Science, about random polynomials. He was invited at the Department of Applied Mathematics, Univ. of Crete, Greece (15 Jun – 2 Jul) and gave a talk at the department's seminar about random polynomials. He participated and gave a talk in 7th Athens Colloquium on Algorithms and Complexity (ACAC) in Athens, Greece (27–28 July) on solving polynomials with coefficients on an extension field. He participated in the conference Computer Algebra in Scientific Computing (CASC) that was held in September 3 - 6, at Maribor, Slovenia. He visited in the North Carolina State University, USA (15 – 20 Oct) where he gave a talk at the Department's Symbolic Computation seminar with title “Real algebraic geometry and stochastic games”. He participated in the Mathematics, Algorithms and Proofs 2012 (MAP) workshop of the GEOLMI ANR project (Univ. Konstanz, Germany, September 17 - September 21, 2012). Finally, he was invited to give a talk in the X-mas seminar of the ERGA lab of the Dept. of Informatics, Univ. of Athes, Greeece (27 December 2012) on real solving polynomials in the presence of logarithms.

J.C. Faugère was invited to give an invited talk in the international workshop on efficient linear algebra for Gröbner basis computation in Kaiserslautern. J.C. Faugère visited the Mathematics Department of the North Carolina State University and give a talk at the Computer Science Department of Duke University (USA). J.-C. Faugère, is member of the MEGA Advisory Board.

D. Wang is member of the editorial board of:

  • 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 in China (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).

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

L. Perret co-organized with C. Cid the Ecrypt II Summer School on Tools (Mykonos, Greece, 28 May - 1 June 2012 https://www.cosic.esat.kuleuven.be/ecrypt/courses/mykonos12/ ).

J.-C Faugère, and G. Renault delivered an invited talk at the Ecrypt II Summer School on Tools (Mykonos, Greece, 28 May - 1 June 2012 https://www.cosic.esat.kuleuven.be/ecrypt/courses/mykonos12/ ).

J.-C Faugère was the programm chair of third international conference on Symbolic Computation and Cryptography (SCC 2012) ( International Centre for Mathematical meetings (CIEM), Castro Urdiales, 11-13 July 2012, http://scc2012.unican.es/ ).

L. Perret was in the programm comittee of SCC'12.

J.-C Faugère and L. Perret were in P.C. of the YACC'12 conference (September 24 – September 28, 2012, Porquerolles Island, France, http://yacc.univ-tln.fr/category/yacc-2012/ ).

L. Perret was in the programm comittee of International Conference on Practice and Theory in Public-Key Cryptography (PKC'2013) (Nara, Japan, February 26 - March 1, 2013, http://ohta-lab.jp/pkc2013/

J.-C Faugère and L. Perret are in the programm comittee of Symbolic Computations and Post-Quantum Cryptography Online Seminar organised by the Stevens Institute (USA, http://www.stevens.edu/algebraic/SCPQ/ )

J.-C Faugère and L. Perret are guest editors of a Special issue of Journal of Symbolic Computation on “Mathematical and Computer Algebra Techniques in Cryptology" (in progress)

M. Safey El Din is member of the editorial board of Journal of Symbolic Computation. He was member of the Programm committee of CASC 2012. He visited the department of Computer Science at the Univ. of Western Ontario in February 2012 and Sept. 2012. With J.-C. Faugère, L. Perret and E. Tsigaridas, he visited the Symbolic Computation Group at North Carolina State University in October 2012. He was member of the National Council of Universities until Sept. 2012. Since Nov. 2012, he is the head of the Scientific Computing Department of LIP6. He has been nominated at the Institut Universitaire de France.