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 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).

• Caterina Urban is a member of the Executive Board of ETAPS (European Joint Conferences on Theory & Practice of Software).

Member of the Organizing Committees

Caterina Urban serves as Chair of the Award Committee of the ETAPS Doctoral Dissertation Award 2020.

Event organization

• Cezara Drăgoi co-organize “VDS: Workshop on Verification of Distributed Systems” https://goto.ucsd.edu/vds/ with Klaus v. Gleissenthall from Univerisity of California, San Diego. This is a workshop that brings together two communities: verification and distributed systems by having participants from the two communities.

Scientific Events: Selection

Member of the Conference Program Committees

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

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

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

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

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

• Jérôme Feret is serving as a member of the Program Committee of HSB 2020 (Hybrid Systems Biology).

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

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

• Caterina Urban served as a member of the Program Committee of VMCAI 2019 (Verification, Model Checking, and Abstract Interpretation).

• Caterina Urban served as a member of the Artifact Evaluation Committee of POPL 2019 (Symposium on Principles of Programming Languages).

• Caterina Urban served as a member of the Program Committee of CAV 2019 (Computer Aided Verification).

• Caterina Urban served as a member of the Artifact Evaluation Committee of PLDI 2019 (Programming Languages Design and Implementation).

• Caterina Urban served as a member of the Program Committee of NSV 2019 (International Workshop on Numerical Software Verification).

• Caterina Urban served as a member of the Program Committee of LOPSTR 2019 (Logic-based Program Synthesis and Transformation).

• Caterina Urban served as a member of the Program Committee of TAPAS 2019 (Workshop on Tools for Automatic Program Analysis).

• Caterina Urban served as a member of the Program Committee of EMSOFT 2019 (Embedded Software).

• Caterina Urban served as a member of the Program Committee of iFM 2019 (integrated Formal Methods).

• Caterina Urban serves as a member of the Program Committee of VMCAI 2020 (Verification, Model Checking, and Abstract Interpretation).

• Caterina Urban serves as a member of the Program Committee of ESOP 2020 (European Symposium on Programming).

• Caterina Urban serves as a member of the Program Committee of CAV 2020 (Computer Aided Verification).

• Caterina Urban serves as a member of the Program Committee of SOAP 2020 (Workshop on the State Of the Art in Program Analysis).

• Cezara Drăgoi served as a member of the Program Committee of POPL 2020 (Symposium on Principles of Programming Languages)

• Cezara Drăgoi served as a member of the Program Committee of PLDI 2020 (Symposium on Programming Languages Design and Implementations)

• Cezara Drăgoi served as a member of the Program Committee of CAV 2019 (Computer Aided Verification).

• 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 2019 (Conference on Networked Systems).

Reviewer

• Marc Chevalier served as Reviewer for SAS 2019 (Static Analysis Symposium).

• Marc Chevalier served as Reviewer for VMCAI 2020 (Verification, Model Checking, and Abstract Interpretation).

• Jérôme feret served as Reviewer for CAV 2019 (computer aided verification).

• Xavier Rival served as Reviewer for ESOP 2020 (European Symposium on Programming).

• Caterina Urban served as Reviewer for NFM 2019 (NASA Formal Methods).

• Caterina Urban served as Reviewer for POPL 2020 (Symposium on Principles of Programming Languages).

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 served as co-Editor of an Issue of the Theoretical Computer Science journal, that is composed of papers from SASB 2016 and VEMP 2016, and appeared in 2019.

• Jérôme Feret served 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 appeared in 2019.

Reviewer - Reviewing Activities

• Jérôme Feret served as a Reviewer for Fundamenta Informaticæ.

• Jérôme Feret served as a Reviewer for Theoretical Computer Science.

• Jérôme Feret served as a Reviewer for Transactions on Computational Biology and Bioinformatics.

Invited Talks

• Caterina Urban was invited to give a talk at the Gran Sasso Science Institute, L'Aquila, Italy.

• Caterina Urban was invited to give a talk at SAS 2019 (Static Analysis Symposium) [13].

Leadership within the Scientific Community

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

Scientific Expertise

• Jérôme Feret reviewed 5 proposals for the Prin 2017 (Research Projects of National Relevance) Program (Italian Ministry of Education and Research)

Research Administration

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

• Jérôme Feret is member of the 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.