Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• Eric Madelaine was General Chair of the 11th IEEE International conference on Theoretical Aspects of Software Engineering (TASE'2017), which was held in Sophia-Antipolis, september 2017. The whole conference was organized by the services of Inria Sophia Méditerranée Center.

• Marie-Agnès Peraldi-Frati and Frédéric Mallet organized the Workshop InS3Pect System engineering for Secured Services for Connected Objects. The workshop gathered approximately thirty researchers and industrials to explore a transdisciplinary approach for Connected Objects Secured Services modeling and validation https://www.i3s.unice.fr/ins3pect/fr/node/8/.

Member of the Organizing Committees

Frederic Mallet was a member of the organizing committee of COMPAS 2017, organized in Antibes from June 27th to 30th 2017 https://compas2017.sciencesconf.org/.

Scientific Events Selection

Chair of Conference Program Committees

• Robert de Simone: was Program Chair of EMSOFT 2017, part of the federated "superconference" ESWEEK 2017 (Seoul, Korea, October).

• Frédéric Mallet was Program Chair for TASE 2017.

• Eric Madelaine was Steering Committee Chair for the Int. Symposium on Formal Aspects of Component Software (FACS 2017).

• Frederic Mallet was steering committee member of ETR 2017

Member of Conference Program Committees

• Robert de Simone: FDL 2017, MEMOCODE 2017.

• Frederic Mallet: DATE 2017, Euromicro DSD 2017, FDL 2017, ModelsWard 2017, DHS 2017, ICTERI 2017.

• Julien Deantoni: Models 2017, DSD 2017, TASE 2017, Momo 2017, GEMOC 2017, EXE 2017, MDEbug 2017.

• Marie-Agnès Peraldi-Frati: national French Conférence en Ingénierie du Logiciel (CIEL).

Journal

Member of the Editorial Boards

Eric Madelaine was Guest Editor for the Science of Computer Programming journal, of a special issue on FACS 2016 selected papers.

Invited Talks

Sid Touati gave an Invited Tutorial entitled "Parametric statistics for program performance analysis, comparison and evaluation" at the 2017 International Conference on High Performance Computing and Simulation (HPCS 2017, Genova, Italy).

Eric Madelaine gave an invited seminar at ECNU Shanghai in Nov. 2017.

Frederic Mallet gave an invited talk on the "Model-Based System Engineering for Cyber-Physical Systems" at ECNU in Shanghai and in Suzhou University in December 2017. He also gave an invited talk together with Julien DeAntoni in the GT OVSTR of the Labex Digicosme in Telecom ParisTech in April 2017.

Julien Deantoni was invited speaker on the fourteenth Bellairs CAMPaM workshop on multi-paradigm modeling and simulation, in Barbados (http://msdl.cs.mcgill.ca/conferences/CAMPaM/2017/).

Leadership within the Scientific Community

Robert de Simone is Prime Investigator for the FM4CPS Associated-Team (with ECNU Shanghai); he is also Inria contact coordinator for the DESIR collaborative programme from SAFRAN on embedded system design.

Eric Madelaine is member of the Council Board of the International Joint Lab of Trustworthy Software (IJLTS), from ECNU Shanghai.

Research Administration

Robert de Simone was Deputy Director of the EDSTIC Doctoral School until September 2017.

Frederic Mallet is the deputy director of the I3S Laboratory (UMR 7271 CNRS UNS) and he is in charge of the relationships with LEAT and of the research formations. He is also a member of the Steering Committee of the Pôle de Compétitivité Solutions Communicantes Sécurisées (SCS) and of its board. He is the head of the first Year of the International Track of the Master on Foundations of Computer Sciences.