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.