Section: Dissemination
Scientific Animation
Jean-Christophe Bach:
-
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).
-
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
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 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)
-
-
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
-