Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

General Chair, Scientific Chair

• F. Mallet was Track Scientific Chair for DATE2019 organized in Firenze in March 2019.

• E. Madelaine is Chair of the Steering Committee of the Formal Aspects of Component Systems (FACS) conference.

• J.Deantoni was Chair of the first international workshops on “Multi-Paradigm Modeling for Cyber-Physical Systems” and “Modeling Language Engineering and Execution”.

• J.Deantoni was Chair of “Computational Science” track of the RIVF 2019 conference.

Scientific Events: Selection

Chair of Conference Program Committees

• F. Mallet was Program Co-Chair of the 10th Workshop on Formal Techniques for Safety Critical Systems (FTSCS), organized as a satellite event of ICFEM 2019, in Shenzhen, Chine, in November 2019.

• F. Mallet was Program Co-Chair of ICTERI 2019 organized in Kherson, Ukraine, in May 2019.

Member of the Conference Program Committees

• J.Deantoni was in the program committee of: CoSim-CPS'19 and DSD'19

• F. Mallet was in the program committees of SEFM'19, DATE'19, FDL'19, DSD'19, Modelsward'19.

• D. Potop-Butucaru was in the program committee of FDL'19 and ACSD'19

Reviewer

• E. Madelaine is reviewer for the Formal Aspects of Component Systems (FACS), and industrial Formal Methods (iFM) conferences.

• L. Liquori and Claude Stolze reviewed for the conference FOSSACS/ETAPS.

Journal

Member of the Editorial Boards

• F. Mallet is now in the editorial board of Springer journal Software-Intensive Cyber-Physical Systems (SICS) dedicated to all topics around software in embedded and cyber-physical systems.

• F. Mallet was guest editor for a special issue of Elsevier Science of Computer Programming dedicated to the Theoretical Aspects of Software Engineering.

Reviewer - Reviewing Activities

• E. Madelaine was reviewer for the Journal of Systems and Software (JSS), and for Science of Computer Programming (SCP).

• L. Liquori and Claude Stolze reviewed for Fundamenta Informaticae.

• F. Mallet was reviewer for IEEE Transactions on Software Engineering (TSE) and Elsevier Journal on Microprocessors and Microsystems (MICPRO).

Invited Talks

• J.Deantoni was invited for a talk in the Danang University during the RIVF conference.

• J.Deantoni was invited for a talk during the “Computer Automated Multi-Paradigm Modelling 2019” meeting in Bellairs.

• F. Mallet was invited as a keynote speaker to the 11th IEEE TASE 2019 organized in Guilin, Chine (July 2019).

• L. Liquori is invited for a talk at the Bamberg University, Jan 2020.

Scientific Expertise

• F. Mallet is an elected member of the Conseil National des Universités (CNU) for section 27.

• F. Mallet has made an expertise of projects for the Belgium Agency of Research (FNRS).

Research Administration

• F. Mallet is Deputy Director of UMR I3S Laboratory and as such, member of its "comité de direction" and "conseil de laboratoire", together with the steering committee of the graduate school (EUR) DS4H.

• Sid Touati is member of the direction committee of I3S laboratory.

• M.A Peraldi-Frati is member of the I3S Laboratory council. She has been recently appointed member of UCA Academic Council.

• Luigi Liquori is member of the IFIP working group WG1.6 on Rewriting.