Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

Nazim Fatès was a co-organiser of ACA'16 (Fourth International Workshop on Asynchronous Cellular Automata and Asynchronous Discrete Models), a workshop which was held during the ACRI 2016 conference, Fez (Morocco), September 8, 2016.

Scientific Events Selection

Member of the Conference Program Committees

• Nazim Fatès was member of the Program Committees of ANTS'16 (10th International Conference on Swarm Intelligence), AUTOMATA'16 (22nd International Workshop on Cellular Automata and Discrete Complex Systems) and ACRI'16 (12th International conference on Cellular Automata for Research and Industry).

• Emmanuel Hainry was member of the Program Committee of Developments in Implicit Computational Complexity (DICE) 2016.

• Mathieu Hoyrup was member of the Program Committee of Computability and Complexity in Analysis (CCA) 2016.

• Romain Péchoux was member of the Program Committee of Ressource Aware Computation (RAC) 2016.

• Simon Perdrix was member of the Program Committees of QPL’16 Quantum Physics and Logic, and IQFA’16 7th IQFA’s Colloquium.

Reviewer

• Emmanuel Hainry reviewed articles for DICE and ICALP.

• Mathieu Hoyrup reviewed articles for ICALP and STACS.

• Emmanuel Jeandel reviewed articles for STACS and MFCS.

• Romain Péchoux reviewed articles for FOSSACS, ISMVL, RAC, LFA and STACS

Journal

Member of the Editorial Boards

• Nazim Fatès is a member of the editorial board of the Journal of cellular automata.

• Emmanuel Jeandel is member of the editorial board of RAIRO-ITA

Reviewer - Reviewing Activities

• Nazim Fatès reviewed articles for Natural Computing, the Journal of statistical physics, Advanced in Complex systems, the Journal of cellular automata.

• Emmanuel Hainry reviewed an article for Applicable Analysis and Discrete Mathematics.

• Mathieu Hoyrup reviewed articles for Bulletin of Symbolic Logic, Memoirs of the American Mathematical Society, Transactions of the American Mathematical Society.

• Emmanuel Jeandel reviewed articles for Advances in Mathematics, Journal of Discrete Algorithms and Ergodic Theory and Dynamical Systems.

• Romain Péchoux reviewed articles for AMS Mathematical Review, Information & Computation.

• Simon Perdrix reviewed articles for Quantum Information and Computation.

Invited Talks

• Mathieu Hoyrup was invited to give a talk in the special session “Constructive and computable analysis” of the conference Computability in Europe (CiE) in Paris, June 2016.

• Emmanuel Jeandel gave a talk for the national days of GDR-IM.

Leadership within the Scientific Community

• Nazim Fatès is the vice-chair of the IFIP working group 1.05 on Cellular Automata and Discrete Complex Systems.

• Simon Perdrix co-organised the quantum software workshop during the one-day event on quantum Technologies at the french Ministry of Research (July 5, 2016).

Scientific Expertise

• Emmanuel Jeandel reviewed projects for Agence Nationale de la Recherche

Research Administration

Isabelle Gnaedig is:

• vice-leader of the team CARTE,

• member of the scientific mediation committee at Inria Nancy Grand-Est.

Emmanuel Hainry is:

• member of the CNU (Conseil National des Universités), Section 27.

• organizer of the CARTE Seminar.

• examiner for the admission exam of ENS and École Polytechnique.

Mathieu Hoyrup is:

• principal investigator of a PHC Imhotep with Walid Gomaa (Alexandria E-Just University).

• organizer of the Formal Methods Seminar at Loria.

Simon Perdrix:

• is responsible of GT IQ (groupe de travail Informatique quantique) at the CNRS GdR IM (groupe de recherche Informatique Mathématique).

• has been elected member and scientific secretary at CoNRS (Comité National de la Recherche Scientifique) section 6.