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
  • Jérôme Feret is a guest member of the Steering Committee of the Conference on Computational Methods in Systems Biology (CMSB).

  • Jérôme Feret is a member of the Steering Committee of the Workshop on Static Analysis and Systems Biology (SASB).

  • Xavier Rival organized the 60th meeting of the IFIP Working Group 2.4 held in Dijon, in July 2018.

  • Xavier Rival is a member of the Steering Committee of the Static Analysis Symposium (SAS).

  • Xavier Rival is a member of the Steering Committee of the Workshop on Tools for Automatic Program Analysis (TAPAS).

Scientific Events Selection

Chair of Conference Program Committees
  • Xavier Rival served as Chair of the Artifact Evaluation Committee of SAS 2018 (Static Analysis Symposium).

Member of the Conference Program Committees
  • Jérôme Feret served as a Member of the Program Committee of LICS 2018 (Logic in Computer Science).

  • Jérôme Feret served as a Member of the Program Committee of VEMDP 2018 (Verification of Engineered Molecular Devices and Programs).

  • Jérôme Feret served as a Member of the Program Committee of SASB 2018 (Static Analysis and Systems Biology Workshop).

  • Jérôme Feret served as a Member of the Program Committee of SAS 2018 (Static Analysis Symposium).

  • Jérôme Feret served as a Member of the Program Committee of CMSB 2018 (Computational Methods in Systems Biology).

  • Jérôme Feret served as a Member of the Program Committee of VMCAI 2019 (Verification, Model Checking, and Abstract Interpretation)

  • Jérôme Feret is serving as a Member of the Program Committee of CIBCB 2019 (Computational Intelligence in Bioinformatics and Computational Biology).

  • érôme Feret is serving as a Member of the Program Committee of HSB 2019 (Hybrid Systems and Biology).

  • Jérôme Feret is serving as a Member of the Program Committee of CMSB 2019 (Computational Methods in Systems Biology).

  • Xavier Rival served as a Member of the Program Committee of SAS 2018 (Static Analysis Symposium).

  • Xavier Rival served as a Member of the Program Committee of Web Design, Analysis, Programming and Implementation of the WWW'18 Conference.

  • Xavier Rival served as a Member of the Extended Review Committee of PLDI 2018 (Programming Languages Design and Implementation).

  • Xavier Rival served as a Member of the Program Committee of APLAS 2018 (Asian Programming Languages And Systems Symposium).

  • Xavier Rival is serving as a Member of the Committee of POPL 2020 (Principles of Programming Languages).

  • Cezara Drăgoi served as a member of the Program Committee of Computer Aided Verification CAV'18.

  • Cezara Drăgoi served as a member of the Program Committee of VMCAI 2019 (Verification, Model Checking, and Abstract Interpretation).

  • Cezara Drăgoi served as a member of the Program Committee of NETYS 2018.

Reviewer
  • Jérôme Feret served as Reviewer for ARSBM 2018 (Automated Reasoning for Systems Biology and Medicine).

Journal

Member of the Editorial Boards
  • Jérôme Feret serves as a Member of the Editorial Board of the Frontiers in Genetics journal and the Open Journal of Modeling and Simulation.

  • Jérôme Feret serves as co-Editor of an Issue of the Theoretical Computer Science journal, that is composed of papers from SASB 2016, and is expected to appear in 2019.

  • Jérôme Feret serves as co-Editor of an Issue of the IEEE/ACM Transactions on Computational Biology and Bioinformatics, that is composed of papers from CMSB 2017, and is expected to appear in 2019.

  • Xavier Rival serves as Editor of an Issue of the Formal Methods in System Design Journal, that is composed of a selection of papers from SAS 2016, and appeared in 2018.

Reviewer - Reviewing Activities
  • Jérôme Feret served as a Reviewer for NACO (Natural Computing).

  • Jérôme Feret served as a Reviewer for ACS Synthetic Biology.

  • Jérôme Feret served as a Reviewer for TCS (Theoretical Computer Sciences).

  • Jérôme Feret served as a Reviewer for TCBB (IEEE/ACM Transactions on Computational Biology and Bioinformatics).

  • Jérôme Feret served as a Reviewer for IEEE Transactions on Reliability.

  • Xavier Rival served as a Reviewer for ACM TOPLAS (Transactions On Programming Languages and Systems).

  • Xavier Rival served as a Reviewer for ACM TOPS (Transactions On Privacy and Security).

Invited Talks

  • Cezara Drăgoi was invited to give a talk at the workshop on Verification of Distributed Systems, Essaouira, Morocco, 2018.

  • Cezara Drăgoi was invited to give a talk at the Dagstuhl workshop no 18211 on Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance.

Leadership within the Scientific Community

Xavier Rival is a member of the IFIP Working Group 2.4 on Software implementation technology.

Scientific Expertise

  • Cezara Drăgoi has participated to the recruitment committee for an assistant professor in the Department of Computer Science of École normale supérieure 2018.

  • Jérôme Feret served as a external Reviewer for research program PRIM 2017 (funded by MIUR, the Italian Ministry for Education, University and Research).

  • Jérôme Feret has participated to the recruitment committee for an assistant professor in Paris-Diderot University 2018.

  • Xavier Rival chaired the Hiring Committee for an Assistant Professor position (Tenure track position, Gaspard Monge Chair) at École Polytechnique in 2018.

Research Administration

  • Jérôme Feret and Xavier Rival are members of the Laboratory Council of DIENS.

  • Jérôme Feret is member of PhD Review Committee (CSD) of Inria Paris.

  • Jérôme Feret is deputy head of study of the Department of Computer Science of École normale supérieure.