FR

EN

Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies



Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair
  • Robert de Simone organized the Scientific Program for the yearly Synchron seminar, held in November in Saint-Raphaël. He is also Steering Committee member of IEEE/ACM EmSoft a conference part of Embedded System Week.

  • Eric Madelaine is chair of the steering committee of the Int. Symposium on Formal Aspects of Component Software (FACS: http://sevlab.postech.ac.kr/facs18/committees/)

  • Frédéric Mallet was track co-chair for DATE 2018.

  • Julien Deantoni was track co-chair for IEEE-RIVF (http://rivf2019.udn.vn/).

Member of the Organizing Committees

M-A. Peraldi-Frati and R. de Simone organized the Open Workshop Synchron 2018 in Saint-Raphaël.

Scientific Events Selection

Member of the Conference Program Committees
  • M.A Peraldi-Frati is member of the IEEE-RIVF 2019 Program Committee.

  • E. Madelaine is member of the PC of FACS'2018, VECoS'2018.

  • R. de Simone is PC member for the conference MeMoCode, FDL, and EmSoft.

  • Frédéric Mallet. Member of program committee for DATE'18, Euromicro DSD'18, FTSCS'18, FDL'18, TASE'18, Modelsward'18.

  • Julien Deantoni is PC member RIVF'19, EXE'18, GEMOC'18, MDebug'18, DSD'18, MoMo'18.

Journal

Member of the Editorial Boards
  • Eric Madelaine is Guest Editor of the Science of Computer Programming special issue for selected papers of the FACS'2014 symposium.

  • Frédéric Mallet. Managing Guest Editor for a special issue of Elsevier Science of Computer Programming (SCP).

Reviewer - Reviewing Activities
  • Eric Madelaine is reviewer for the journals: Science of Computer Programming (SCP), and Journal of Logical and Algebraic Methods in Programming (JLAMP).

  • Marie-Agnès Peraldi-Frati : ACM Transactions on CPS, Forte2018.

  • Luigi Liquori. Journal reviewer : Fundamenta Informaticae. Conference TPC: NICS'18, ICCE'18

  • Frédéric Mallet. Journal reviewer for IEEE Transactions on Computer Aided Design of Integrated Circuits (TCAD), ACM Transactions on Embedded Computing Systems (TECS), ACM Transactions on Design Automation of Electronic Systems (TODAES), Elsevier Computers In Industry.

  • Julien Deantoni. Journal reviewer for Software and Systems Modeling ( http://www.i3s.unice.fr/~deantoni/SoSyM-review-certificate-Julien-DeAntoni.pdf ) and for Computer Languages, Systems & Structures.

Research Administration

  • F. Mallet is Deputy Director of UMR I3S Laboratory and as such, member of the `comité de direction', 'conseil de laboratoire', 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