EN FR
EN FR


Section: Dissemination

Scientific Animation

Jean-Christophe Bach:

  • Member of the LORIA laboratory council

  • Member of the organizing committee of the “Journées GDR–GPL” colocated with the AFADL and CIEL conferences

Christophe Calvès

  • Member of the organizing committee of the “Journées GDR–GPL” colocated with the AFADL and CIEL conferences

Horatiu Cirstea:

  • PC member of RuleML 2013 (International RuleML Symposium on Rule Interchange and Applications).

  • PC member of SCSS 2013 (International Symposium on Symbolic Computation in Software Science).

  • Steering committee of RULE.

  • Responsible for the Master speciality “Logiciels: Théorie, méthodes et ingénierie”.

  • Member of the organizing committee of the “Journées GDR–GPL” colocated with the AFADL and CIEL conferences

Sergueï Lenglet:

  • Member of the organizing committee of the “Journées GDR–GPL” colocated with the AFADL and CIEL conferences

  • Invited speaker at the “Journées LAC”

  • Reviewer for the TCS (Theoretical Computer Science) journal

Pierre-Etienne Moreau:

  • Member of the GDR–GPL (CNRS Research Group on Software Engineering) board.

  • Member of the national committee for Inria “Médiation Scientifique”.

  • Head of the local committee for Inria “détachements” and “délégations”.

  • Head of the Computer Science department at Ecole des Mines de Nancy.

  • President of the organizing committee of the “Journées GDR–GPL 2013” colocated with the AFADL and CIEL conferences

  • PC member of SLE 2013 (6th International Conference on Software Language Engineering), SCSS 2013 (5th International Symposium on Symbolic Computation in Software Science),

  • Member of the organizing committee of WASDeTT 2013 (4th International Workshop on Academic Software Development Tools and Techniques)

Sorin Stratulat:

  • Member of the LITA Laboratory Council.

  • Member of the program committee of the 9th International Conference on Information Assurance and Security (IAS ’13)

  • Member of the program committee of the 6th International Conference on Computational Intelligence in Security for Information Systems (CISIS'13)

  • Member of the program committee of the 5th International Symposium of Symbolic Computation in Software Science (SCSS '13)

  • Tutorial speaker at the Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013)

  • Speaker at

    • Workshop on Inductive Theorem Proving 23-24 November 2013, Imperial College London, UK

    • LIX Colloquium on the Theory and Application of Formal Proofs, 5-7 November 2013, Ecole Polytechnique, Palaiseau, France

    • Workshop on Proof Search in Axiomatic Theories and Type Theories (PSATTT), 8 November 2013, Ecole Polytechnique, Palaiseau, France