Section: Dissemination

Animation

• Ilaria Castellani is a member of the editorial board of Technique et Science Informatiques. She is a member of the IFIP WG 1.8 on Concurrency Theory. She is a member of the Management Committee of the BETTY Action, and the chair of the BETTY working group on Security. She was a member of the programme committee of the workshop EXPRESS/SOS 2013.

• Tamara Rezk was a member of the programme committees of JAIIO'13, CIBSI'13, TGC'13, LATIN'14, TIBETS'13, SOFSEM'14. She was invited to be in the PC of CSF'14. She was invited by the Estonian Research Council as an external expert to the evaluation of a research project. She is part of the organizing committee for the Labex Security day with Nataliia Bielova.

• Manuel Serrano is a member of the editorial board of the Journal of Functional Languages. He is the coordinator of the ANR DEFIS project PWD . He served on the program committee of the 16th Practical Aspects of Declarative Languages (PADL'14) conference. He was a referee for the Lisp in Summer Projects. He was the co-program chair of the European Lisp Symposium (ELS'13).