Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Member of the organizing committees

• Guillaume Bonfante and Jean-Yves Marion participated to the organisation of the partnership meeting between JAIST and LORIA in Nancy, October 2015

• Simon Perdrix has been member of the organizing committee of the Workshop of the Groupe de Travail informatique Quantique in Grenoble 26-27 November 2015.

• Simon Perdrix has been member of the organizing committee of the Workshop of the Groupe de Travail GeoCal-LAC-LTP in Nancy 12-14 October 2015.

Scientific events selection

Member of the conference program committees

• Guillaume Bonfante was co-chair of the 8th international symposium on foundation and practice of security 2015.

• Guillaume Bonfante was in the Program Committee of Protection and Reverse Engineering Workshop 2015.

• Guillaume Bonfante was in the Program Committee of the workshop on Logic and Computational Complexity (LCC) 2015.

• Emmanuel Jeandel was in the Program Committee of Computability in Europe (CiE) 2015.

• Jean-Yves Marion was in the Program Committee of the 8th international symposium on foundation and practice of security 2015.

• Jean-Yves Marion was in the Program Committee of Protection and Reverse Engineering Workshop 2015.

• Romain Péchoux was in the Program Committee of FOundational and Practical Aspects of Resource Analysis (FOPARA) 2015.

• Simon Perdrix was in the Program Committee of Asian Quantum Information Science Conference (AQIS) 2015.

• Simon Perdrix is in the Program Committee of Quantum Physics and Logic (QPL), forthcoming: QPL’16 in Glasgow in June 2016.

Reviewer

Mathieu Hoyrup reviewed articles for:

• MFCS 2015

• STACS 2015

Emmanuel Jeandel reviewed articles for:

• MFCS 2015

• STACS 2015

Romain Péchoux reviewed articles for:

• FOPARA 2015

• ISMVL 2015

• FOSSACS 2016

Simon Perdrix reviewed articles for:

• AQIS 2015

• ICALP 2015

• LICS 2015

• QPL 2016

Journal

Reviewer - Reviewing activities

Emmanuel Hainry reviewed articles for:

• Theoretical Computer Science

• Applicable Analysis and Discrete Mathematics

Mathieu Hoyrup reviewed articles for:

• Journal of Symbolic Logic

• Information and Computation

• Mathematical Structures in Computer Sciences

• Logical Methods in Computer Science

• Theory of Computing Systems

Emmanuel Jeandel reviewed articles for:

• Discrete Mathematics and Theoretical Computer Science

• Ergodic Theory and Dynamical Systems

Romain Péchoux reviewed articles for:

• Computability - Journal of the association Computability In Europe

• Information and Computation

Simon Perdrix reviewed articles for:

• Quantum Information and Computation

Invited talks

• Guillaume Bonfante was invited to give a talk on implicit complexity within NC at the Shonan Meeting on Low Level Code Analysis and Application to Computer Security.

• Mathieu Hoyrup was invited to give a talk at the annual workshop Continuity, Computability, Constructivity (CCC 2015) in Kochel am See, Germany, September 2015.

• Simon Perdrix was invited to give a talk:

  • “The ZX Calculus is incomplete for Clifford+T quantum mechanics”, at "Quantum Theory: from foundations to technologies – QTFT", Vaxjo, Sweden, June 2015,

  • “Supplementary of Interacting Frobenius Algebras” at the Workshop on “Higher topological quantum field theory and categorical quantum mechanics” Erwin Schrödinger International Institute, Vienna, October 2015

  • “Informatique quantique et théorie des graphes” at Journées Graphes et Algorithmes 2015, Orléans, Novembre 2015.

Scientific expertise

Romain Péchoux is external expert for the European commission Horizon 2020 program.

Research administration

Isabelle Gnaedig is:

• vice-leader of the team Carte.

Emmanuel Hainry is:

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

• organizer of the Carte Seminar.

Mathieu Hoyrup is:

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

• organizer of the Formal Methods Seminar at Loria.

Romain Péchoux is:

• responsible of the Project-team Carte activity report 2015.

• principal investigator of the Inria associate team Acra proposal.

Simon Perdrix is:

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