Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Member of steering committees

Jérôme Feret is member of the Steering Committee of the international Workshop on Static Analysis and Systems Biology (SASB). Xavier Rival is member of the Steering Committee of the international workshop on Tools for Automatic Program Analysis (TAPAS).

Scientific events selection

Chair of conference program committees

Xavier Rival is Co-Chair of the Program Committee of the Workshop on State Of the Art Program Analysis (SOAP'16), to be held in Santa Barbara (USA), June 2016. Xavier Rival is the Chair of the Program Committee of the 23rd Static Analysis Symposium (SAS'16), to be held in Edinburgh (UK), September 8–10, 2016.

Member of the conference program committees

Jérôme Feret was member of the Program Committee of the 2nd workshop on Verification of Engineered Molecular Devices and Programs (VEMDP'15), of the Program Committee of the 7th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO'15), of the Program Committee of the 6th International Workshop on Static Analysis and Systems Biology (SASB'15), of the Program Committee of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'15), and of the Program Committee of the 11th International Workshop on Developments in Computational Models (DCM'15). Jérôme Feret is a member of the Program Committee of the 8th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO'16), of the Program Committee of the 23rd Static Analysis Symposium (SAS'16), and of the Program Committee of the 14th International Conference on Computational Methods in Systems Biology (CMSB'16).

Xavier Rival was member of the Extended Review Committee (ERC) of the 41st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2015 PC), and of the Program Committee of the 13th Asian Programming Languages And Systems (APLAS'15), Pohang, Korea, November 30–December 2, 2015. Xavier Rival is a member of the Program Committee of the 1st International Conference on Functional Structures and Computational Deduction (FSCD'16), to be held in Porto, Portugal, June 2016, and of the Program Committee of the European Symposium On Programming (ESOP'17), 2017.

Cezara Drăgoi was a member of 15th International Conference on Application of Concurrency to System Design (ACSD'15), 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'15), and 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNACS'15).

Vincent Danos was a member of the Program Committee of workshop on Integrative Cell Models, Lorentz Workshop, Leiden, and of the 7th Conference on Reversible Computation (RC'15), Grenoble.

Reviewer

Jérôme Feret was a reviewer for the 41st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2015), the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'15), POPL 2015, the 27th International Conference on Computer Aided Verification (CAV'15), for the 26th International Conference on Concurrency Theory (CONCUR 2015), the International Conference on Embedded Software (EMSOFT'15).

Cezara Drăgoi was a reviewer for 27th International Conference on Computer Aided Verification (CAV'15), 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), and 30th Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'15).

Journal

Member of the editorial boards

Jérôme Feret is a member of the editorial board of the Frontiers in Genetics journal and the Open Journal of Modeling and Simulation .

Vincent Danos is a member of the editorial board of Mathematical Structures in Computer Science journal (MSCS) and Logical Methods in Computer Science journal (LMCS).

Reviewer - Reviewing activities

Jérôme Feret was a reviewer for Information and Computation, Theoretical Computer Science, and Science of Computer Programming.

Xavier Rival was a reviewer for ACM TOPLAS (Transactions On Programming Languages and Systems).

Invited talks

Jérôme Feret was invited to give a talk on “the ANASTASEC project” at a joint meeting between Inria and CISCO, on “Model reduction of differential systems” at the working group “Model Reduction of Discrete models” (GDT BIOSS), at “La demi-heure de science” (Inria Paris-Rocquencourt), and at the Seminar of the Computer Science Department of the École normale supérieure, on “An algebraic approach for inferring and using symmetries in rule-based models” at the Seminar of the team PLUME (ENS Lyon).

Jérôme Feret was invited to give a speed talk on the ÁSTRÉE analyzer at the joint workshop between École normale supérieure and SAGEM, a speed talk on rule-based modeling in the international workshop on “Integrative Cell Models” (Leiden, Netherlands) and at the joint seminar between École normale supérieure and Pasteur Institute, and a speed talk on “An algebraic approach for inferring and using symmetries in rule-based models” at the first meeting of the Working group on Symbolic Systems Biology (GDT BIOSS).

Xavier Rival was invited to give a talk on “Modular design of static analyzers for program verification” at the KAIST Colloquium (KAIST, Daejeon, Korea), on May 4th, 2015.

Xavier Rival participated to the 56th Meeting of the IFIP Working Group 2.4 in Bopphard (Germany), and gave a talk on “Non contiguous array abstraction”.

Xavier Rival was invited to give a talk on “Construction of abstract domains for heterogeneous memory properties” in October 2015.

Cezara Drăgoi gave an invited talk on “PSync: A partially synchronous language for fault-tolerant distributed algorithms" at Dagstuhl Seminar 15191, “Compositional Verification Methods for Next-Generation Concurrency", in May 2015, at LIAFA, University Paris 7 in the Verification seminar, and at the workshop on “The Chemistry of Concurrent and Distributed Programming II”", in June 2015.

Cezara Drăgoi gave an invited talk on “A Logic-based Framework for Verifying Consensus Algorithms" at Dagstuhl Seminar 15451 “Verification of Evolving Graph Structures".

Cezara Drăgoi gave a tutorial on “Static analysis for data structures" at DACS in July 2015, and an invited talk at "La demi-heure de la science" on “Logic-based static analysis for the verification of programs with dynamically allocated data structures".

Vincent Danos was invited to talk about “Computational Systems Biology” at Alan Turing Institute Scoping Workshop on networks, London, on Dec 14th, 2015.

Vincent Danos was invited to talk about “Design, optimization, and control in systems and synthetic biology" at Paris, ENS, on Nov 12th 2015.

Vincent Danos was invited to talk about “Models of growth" and the challenge of modelling processes which are embedded in a bigger adaptive system, keynote at the 16th International Workshop on Static Analysis and Systems Biology (SASB'15).

Vincent Danos was invited to talk about “Moment Semantics for Reversible Rule-Based Systems", keynote at 7th Conference on Reversible Computation (RC'15), Grenoble.

Leadership within the scientific community

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