Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

general chair, scientific chair

• EJCP 2014 (École jeunes chercheurs en programmation): Thomas Jensen, Alan Schmitt.

member of the organizing committee

• PLMW 2014 (Programming Languages Mentoring Workshop): Alan Schmitt.

Scientific events selection

responsible of the conference program committee

• GraMSec 2014 (International Workshop on Graphical Models for Security): Barbara Kordy.

member of the conference program committee

• ESOP 2014 (European Symposium on Programming): David Pichardie.

• ITP 2014 (Interactive Theorem Proving): David Pichardie.

• CC 2014 (Compiler Construction): Sandrine Blazy

• VSTTE 2014 (Verified Software: Theories, Tools and Experiments): Sandrine Blazy

• AFADL 2014 (Approches Formelles dans l'Assistance au Développement de Logiciels) : Sandrine Blazy

• WASMAS (Active Security Through Multi-Agent Systems): Barbara Kordy.

reviewer

• ESOP 2014 (European Symposium on Programming): Delphine Demange, Alan Schmitt, Thomas Jensen.

• FLOPS 2014 (Symposium on Functional and Logic Programming): Alan Schmitt.

• ICFP 2014 (International Conference on Functional Programming): Alan Schmitt.

• IFIP SEC 2014 (International Information Security and Privacy Conference): Frédéric Besson, Thomas Jensen.

• ITP 2014 (Interactive Theorem Proving): Delphine Demange.

• LICS 2014 (Logic In Computer Science): Delphine Demange.

• POPL 2014 (Symposium on Principles of Programming Languages): David Pichardie

• PPDP 2014 (Principles and Practice of Declarative Programming): Alan Schmitt.

• PEPM 2015 (Partial Evaluation and Program Manipulation): Thomas Jensen.

• CC 2014 (Compiler Construction): Sandrine Blazy

• VSTTE 2014 (Verified Software: Theories, Tools and Experiments): Sandrine Blazy

• AFADL 2014 (Approches Formelles dans l'Assistance au Développement de Logiciels) : Sandrine Blazy

• POST 2014 (Conference on Principles of Security and Trust): Barbara Kordy.

• TACAS 2014 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems): Barbara Kordy.

• GraMSec 2014 (International Workshop on Graphical Models for Security): Barbara Kordy.

• WASMAS 2014 (Active Security Through Multi-Agent Systems): Barbara Kordy.

• FORTE 2014 ( International Conference on Formal Techniques for Distributed Objects, Components and Systems): Barbara Kordy.

• PRDC 2014 (IEEE Pacific Rim International Symposium on Dependable Computing): Barbara Kordy.

• STM 2014 (International Workshop on Security and Trust Management): Barbara Kordy

Journal

reviewer

• Logical Methods in Computer Science: Alan Schmitt.

• Science of Computer Programming: Alan Schmitt.

• Journal of Computer Security: Sandrine Blazy

• Journal of Formalized Reasoning: Frédéric Besson, Sandrine Blazy.