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