Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

member of the steering program committee

Jérôme Feret is member of the Steering Committee of the international Workshop on Static Analysis and Systems Biology (SASB).

member of the organizing committee

Tie Cheng was a member of the Organizing Committtee of EuSpRIG 2014.

Antoine Miné was a member of the Organizing Committtee of the 5th Workshop on Tools for Automatic Program Analysis (TAPAS 2014), Munich, Germany, 10 September, 2014.

Scientific events selection

responsable of the conference program committee

Xavier Rival was Co-Chair of the Program Committee of the 15th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2014), San Diego, USA, January 19-21, 2014, [32] ).

member of the conference program committee

Jérôme Feret was member of the Program Committee of the 15th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2014), San Diego, USA, January 19–21, 2014; of the Program Committee of the Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2014), CHamonix, France, April 20–24, 2014; of the Program Committee of the 10th International Workshop on Developments in Computational Models (DCM 2014), Vienna, Austria, July 13 2014; of the Program Committee of the International Workshop on Verification of Engineered Molecular Devices and Programs (VEMDP 2014), Vienna, Austria, July 17, 2014; of the Program Committee of the 3rd International Conference on Biomedical Engineering and Biotechnology (iCBEB 2014), Beijing, China, August 18–20, 2014. of the Program Committee of the 8th IFIP International Conference on Theoretical Computer Science (TCS 2014), Rome, Italy, September 1–3, 2014; of the Program Committee of the 5th International Workshop on Static Analysis and Systems Biology (SASB 2014), München, Germany, September 10, 2014; of the Program Committee of the 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014), Florence, Italy, September 11–12, 2014; Jérôme Feret is member of the Program Committee of of the Program Committee of 11th International Workshop on Developments in Computational Models (DCM 2015), Cali, Colombia, October 28, 2015; of the Program Committee of the 7th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2015), Rome, Italy, May 24–29, 2015; of the Program Committee of the 24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015), Siena, Italy, July 13–15, 2015.

Xavier Rival was member of the Program Committee of the 41st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2014 PC), San Diego, USA, January 22-24, 2014; of the Program Committee of the 21st International Static Analysis Symposium (SAS 2014), München, Germany, September 11–13, 2014; of the Extended Review Committee of the 42nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2015 ERC), Mumbai, India, January 15-17, 2015.

Antoine Miné was member of the Program Committee of the 5th International Workshop on Polyhedral Compilation Techniques (IMPACT'5), Amsterdam, The Netherlands, the 11th International Conference on Integrated Formal Methods (iFM'14), Bertinoro, Italy, 9–11 September 2014, the 11th School on MOdelling and VErifying parallel Processes (MOVEP'14), Nantes, France, 7–11 July 2014, and the 8th International Symposium on Theoretical Aspects of Software Engineering (TASE'14), Changsha, China, 1–3 September 2014. Antoine Miné was member of the External Review Committee of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'14), Mumbai, India, 11-18 January 2015. Antoine Miné is member of the Program Committee of the 22nd International Static Analysis Symposium (SAS'15), Saint-Malo, France, 9–11 September 2015, and the 9th International Symposium on Theoretical Aspects of Software Engineering (TASE'15), Nanjing, China, 12–14 September 2015.

Caterina Urban is member of the Competition Jury for the 4th Competition on Software Verification (SV-COMP 2015) to be held at TACAS 2015 in London, UK.

reviewer

Arlen Cox was a reviewer for the 21st International Static Analysis Symposium (SAS 2014), München, Germany, September 11–13, 2014.

Jérôme Feret was a reviewer for the 42nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2015), Mumbai, India, January 15–17, 2015, and for the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015), London, UK, April 11–18, 2015.

Xavier Rival was a reviewer for the Symposium on Programming Languages Design and Implementation (PLDI 2014), Edimburgh, UK, June 9–11, 2014, and for the AVICPS Workshop, Rome, Italy, December 2, 2014.

Antoine Miné was a reviewer for the 12th Asian Symposium on Programming Languages and Systems (APLAS 2014), Singapore, November 17-19, 2014, the 35th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2015), Edinburgh, UK, 9–11 June 2014, and the 21st International Static Analysis Symposium (SAS 2014), Munich, Germany, September 11–13, 2014.

Caterina Urban was reviewer for the conference Theoretical Computer Science (TCS), Roma, Italy, 1–3 September 2014, and the 26th International Conference on Computer Aided Verification (CAV 2014), Vienna, Austria, 18–22 July, 2014.

Journal

member of the editorial board

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

Antoine Miné is member of the editorial board of The Scientific World Journal and of Conference Papers in Computer Science.

reviewer

In 2014, Jérôme Feret was a reviewer for BMC Systems Biology; Software, Practice and Experience; Transactions on Modeling and Computer Simulation; PLOS Computational Biology; BMC Bioinformatics; and Axioms.

Antoine Miné was a reviewr for the Computer Languages, Systems & Structures journal, the Software and Systems Modeling journal, and the Transactions on Programming Languages and Systems journal.

Grants selection

reviewer

Jérôme Feret was a reviewer for the Swiss National Science Foundation.

Participation in Conferences

CAV:

Arlen Cox and Caterina Urban attended the conference on Computer Aided Verification (Vienna, Austria, July 22, 2014). Arlen Cox gave a talk on “QUICr: A Parametric Abstraction Domain for Sets of Numbers”.

ECCB:

Wassim Abou-Jaoudé attended the European Conference on Computational Biology (Strasbourg, France, September, 2014) and gave an invited talk on [8] at the workshop on Logical Modelling and Analysis of Cellular Networks.

ESOP:

Antoine Miné and Caterina Urban attended the 23rd European Symposium on Programming (Grenoble, France); Caterina Urban presented an article [27] .

EuSpRIG:

Tie Cheng attended the Conference of the European Spreadsheet Risk Interest Group (EuSpRIG, July 2014).

ISOLA:

Xavier Rival attended the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (Corfu, Greece, October 2014), and presented an article [24] .

ITP:

Arnaud Spiwack attended the International Conference on Interactive Theorem Proving (ITP 2014, Vienna, July 2014), and presented an article [23] .

JRSIF:

Mehdi Bouaziz attended the research day of SIF “De la formation à l'innovation en Informatique”, (Paris, France, September 2014).

JSTools:

Arlen Cox attended the workshop on JavaScript Tools (Uppsala, Sweden, July 28, 2014) and gave a talk on “JSAna with HOO: Automatically Verifying JavaScript Libraries without Client Code”.

LICS:

Patrick Cousot, Jérôme Feret, and Caterina Urban attended the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2014, Vienna, July 2014). Patrick Cousot gave an invited talk on [10] .

LSB:

Jérôme Feret attended the 5th Workshop on Logic and Systems Biology (LSB 2014, Vienna, July 2014) and gave an invited talk on [16] .

NSAD:

Mehdi Bouaziz, Tie Cheng, Arlen Cox, Antoine Miné, Xavier Rival, Antoine Toubhans and Caterina Urban attended the Workshop on Numerical and Symbolic Abstract Domains (NSAD 2014, München, Germany, September 2014).

OCaml meetup:

Mehdi Bouaziz attended the OCaml meetups (Paris, France, September and December 2014). Thibault Suzanne attended an OCaml meetup and gave a talk on “Implémentation d'une structure de données : Hash Array Mapped Tries”.

POPL:

Mehdi Bouaziz, Patrick Cousot, Radhia Cousot, Arlen Cox, Jérôme Feret, Antoine Miné, Xavier Rival and Caterina Urban attended the Symposium on Principles Of Programming Languages (POPL 2014, San Diego, USA); Xavier Rival chaired a session; Caterina Urban presented a poster.

SAS:

Mehdi Bouaziz, Tie Cheng, Patrick Cousot, Arlen Cox, Jérôme Feret, Antoine Miné, Xavier Rival, Antoine Toubhans, Caterina Urban, and Thibault Suzanne attended the Static Anaysis Symposium (SAS 2014, München, Germany, September 2014); Xavier Rival chaired a session; Arlen Cox presented an article [14] ; Antoine Toubhans presented an article [25] ; Caterina Urban presented an article [26] .

SASB:

Wassim Abou-Jaoudé and Jérôme Feret attended the Workshop on Static Analysis and Systems Biology (SASB 2014, München, Germany, September 2014). Jérôme Feret presented an article [16] .

TAPAS:

Mehdi Bouaziz, Tie Cheng, Patrick Cousot, Arlen Cox, Antoine Miné, Xavier Rival, Antoine Toubhans and Caterina Urban attended the Workshop on Tools for Automatic Program AnalysiS (TAPAS 2014, München, Germany, September 2014).

TYPES:

Mehdi Bouaziz attented the Types 2014 meeting (TYPES 2014), Paris, France, May 2014).

VEMDP:

Jérôme Feret attended the International Workshop on Verification of Engineered Molecular Devices and Programs (VEMDP 2014, Vienna, Austria, July 2014).

VMCAI:

Mehdi Bouaziz, Patrick Cousot, Radhia Cousot, Arlen Cox, Jérôme Feret, Antoine Miné, Xavier Rival and Caterina Urban attended the Conference on Verification, Model-Checking and Abstract Interpretation (VMCAI 2014, San Diego, USA); Xavier Rival chaired the conference [32] ; Jérôme Feret chaired a session; Antoine Miné presented an article [21] .

WODES:

Wassim Abou-Jaoudé attended the International Workshop on Discrete Event Systems (WODES 2014, Cachan, France, May 2014).

WST:

Caterina Urban attended the 14th International Workshop on Termination and presented an article [30] .

Seminars and talks

• Wassim Abou-Jaoudé gave some talks on “Logical modeling of T-helper cell differentiation and plasticity” [8] at Instituto Gulbenkian de Ciência (Oeiras, Portugal) in June 2014 and Max Planck Institute for Molecular Genetics (Berlin, Germany) in November 2014.

• Mehdi Bouaziz attended to the Dagstuhl Seminar on Next Generation Static Analysis Tools (Wadern, Germany) in August 2014 and gave two talks on “Introduction to Abstract Interpretation: static analysis and beyond” at the séminaire des doctorants du département d'informatique de l'École normale supérieure (ENS Paris, Paris, France) in November 2014, and at the Séminaire Francilien de Sûreté de Fonctionnement, (École Centrale Paris) in November 2014.

• Arlen Cox gave a talk on “HOO: Heap with Open Objects” at the Dagstuhl Seminar for Scripting Languages and Frameworks: Analysis and Verification (Wadem, Germany) in June 2014, a talk on “Statically Analyzing Object-Manipulating JavaScipt Libraries without Client Code” at the Institute for Defense Analysis (Bowie, Maryland, USA) in September 2014, and talks on “JSAna with HOO: Automatically Verifying JavaScript Libraries without Client Code” at Facebook (London, U.K) in August 2014, at Cyberpoint Lab (Baltimore, Maryland, USA) in September 2014, at Apple (Cupertino, California, USA) in November 2014, at Draper Labs (Boston, Massachussets, USA) in November 2014, and at MathWorks (Natick, Massachussets, USA) in November 2014.

• Jérôme Feret gave a talk “An algebraic approach for inferring and using symmetries in rule-based models” at the Dagstuhl Seminar on Next Generation Static Analysis Tools (Wadern, Germany) in August 2014 and a talk on “Rule-Based Modeling” at the Dagstuhl Seminar on Multiscale Spatial Computational Systems Biology (Wadern, Germany) in November 2014

• Xavier Rival gave a talk “Towards precise and scalable static analyses” at the 54th IFIP WG 2.4 Group Meeting (Monterey, California, USA) in February 2014, a talk on “Verification of safety critical embedded software” at the Retraite du Département d'Informatique (Belleme, Normandie, France) in May 2014, talks on “Modular Construction of Shape-Numeric Analyzers” at Aarhus University (Aarhus, Denmark) in June 2014, at East China Normal University (Shanghai, China) in July 2014 and at Northern University for Defense Technology (Changsha, China) in July 2014, a talk on “Construction of abstract domains for heterogeneous memory properties” at the Dagstuhl Seminar on Next Generation Static Analysis Tools (Wadern, Germany) in August 2014, and a talk on “Type Verification of Spreadsheet Applications” at the 55th IFIP WG 2.4 Group Meeting (Stellenbosch, South Africa) in November 2014.

• Antoine Toubhans gave a talk on “Composite abstract domains for shape analysis” at the Seminar of the Gallium Group (Inria Paris-Rocquencourt), in September 2014.

• Antoine Miné gave a talk on “ A method to infer inductive numeric invariants inspired from Constraint Programming” at Decision Procedures and Abstract Interpretation (Dagstugh Seminar 14351) in August 2014, a seminar on “Mixing abstract interpretation and constraint programming techniques” at Laboratoire VERIMAG (Grenoble, France) in October 2014, a poster presentation on “The Astrée static analyzer” at Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstugh Seminar 14171) in April 2014.

• Caterina Urban gave a seminar on “Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation” at University of Udine (Italy) in December 2014, a seminar on “Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation” at ETH Zurich in November 2014, a seminar “Automatic Inference of Ranking Functions by Abstract Interpretation” at Queen Mary University of London in October 2014, a talk on “Automatic Inference of Ranking Functions by Abstract Interpretation” at Dagstuhl Seminar 14352 “Next Generation Static Software Analysis Tools” in August 2014, a seminar on “Automatic Inference of Ranking Functions by Abstract Interpretation” at University College London in June 2014, a seminar on “An Abstract Domain to Infer Ordinal-Valued Ranking Functions” at Inria Rennes, Rennes in May 2014, a seminar on “Automatic Inference of Ranking Functions by Abstract Interpretation” at Séminaire du DI ENS in May 2014, a seminar on “Automatic Inference of Ranking Functions by Abstract Interpretation” at Inria Paris-Rocquencourt in March 2014, a seminar on “Automatic Inference of Ranking Functions by Abstract Interpretation” at IBM Thomas J. Watson Research Center in January 2014.