Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

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.

Member of the Organizing Committees

Jérôme Feret organized the 40th of Abstract Interpretation at POPL2017 January 21, 2017, Paris, France (co-organizer).

Scientific Events Selection

Chair of Conference Program Committees

Xavier Rival was chair of Static Analysis Symposium SAS 2016, Edinburgh.

Jérôme Feret co-chaired the fifteenth Conference on Computational Methods in Systems Biology - CMSB 2017, September 27–29, 2017, Darmstadt, Germany.

Member of the Conference Program Committees

Vincent Danos served on the PC of Computational Methods in Systems Biology, CMSB'16, Cambridge and Complexis'17.

Xavier Rival served on the PC of the 26th European Symposium on Programming (ESOP 2017).

Cezara Drăgoi served on the PC of

• 28th International Conference on Computer-Aided Verification (ERC), CAV 2016,

• 37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, ACSD 2016,

• 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017,

• 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017,

• ACM SIGPLAN Symposium on Programming Language Design & Implementation, PLDI 2017.

Jérôme Feret served on the PC of

• the 8th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies - BIOTECHNO 2016,

• the 26th International Symposium on Logic-Based Program Synthesis and transformation - LOPSTR 2016,

• the 23rd Static Analysis Symposium Sept 8-10 2016, Edinburgh,

• 7th International Workshop on Static Analysis and Systems Biology - SASB 2016,

• 14th International Conference on Computational Methods in Systems Biology - CMSB 2016 Sept 21-23 2016, Cambridge, UK,

• Fourth International Conference on Tools and Methods for Program Analysis - TMPA 2017 March 3–4, 2017, Moscow, Russia, JOBIM 2017 July 2-6 2017, Lille, France.

Reviewer

Vincent Danos was a reviewer for the 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2017, the ​26th European Symposium on Programming (ESOP 2017) 2017, LMCS, MSCS​.

Cezara Drăgoi was a reviewer for 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2017, the 27th International Conference on Concurrency Theory CONCUR 2016, and ​the 26th European Symposium on Programming (ESOP 2017) 2017.

Xavier Rival was a reviewer for 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 and ACM SIGPLAN Symposium on Programming Language Design & Implementation, PLDI 2017.

Jérôme Feret was a reviewer for the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, the 27th International Conference on Concurrency Theory CONCUR 2016, the 43rd International Colloquium on Automata, Languages and Programming 2016, the 31st ACM/IEEE Symposium on Logic in Computer Science, LICS 2016.

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 .

Reviewer - Reviewing Activities

Xavier Rival was a reviewer for ACM Transactions on Programming Languages and Systems TOPLAS.

Jerome Feret was a reviewer for Theoretical Computer Science 2016.

Invited Talks

Jérôme Feret gave “An overview of the Astrée/AstréeA analyzer. " at Journées scientifiques Inria Rennes, 20-22 june 2016 and at the workshop « Verified Trustworthy Software Systems » Imperial College, 6-7 April 2016.

Vincent Danos talked about `Residence: Simons Institute Program Logical Structures and Computations" at CONCUR 2016, Quebec, Aug 25-2 and at Berkeley, Aug 17-Dec 16. He also gave invited talks at SysMod SIG 2016, ISMB, Orlando, Jul 9, Xenobiology 2, XB2, May 24-26, Berlin, IPM Formal Methods Day, Teheran, Jan 10.