1 Table of Contents: “... subtype inequalities in polynomial space -- Static analyses of congruence properties on rational numbers...”

2 Table of Contents: “... computation -- Finding fixpoints in finite function spaces using neededness analysis and chaotic iteration...”

3 Table of Contents: “... Cryptographic Protocols with Tree Automata -- State Space Reduction Based on Live Variables Analysis -- Static...”

4 Table of Contents: “... Abstractions -- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra -- Inference of Well...”

5 Table of Contents: “... Transformations for Reducing Data Space Requirements of Resource-Constrained Applications -- Code Compaction...”

6 Table of Contents: “... -- Study of Primary Stability of Hip Implant for Semi Hip Replacement by using Finite Element Analysis...”

7 Table of Contents: “... of terms with term-indexed variables -- Back-forth equivalences for design of concurrent systems...”

8 Table of Contents: “... Geometry of Image on Eye’s Back -- Cortical Mechanism of Vision -- Independent Encoding of Position...”

9 Table of Contents: “... Based Approach for Non-Destructive Bumps Characterization in Metallic Plates -- The Back Reconstruction...”

10 Table of Contents: “...Investigating types of information from WEEE take-back systems in order to promote Design...”

11 Table of Contents: “... for Analyzing Adaptive Autonomous Aerial Vehicles -- Co-simulation of semi-autonomous systems: the Line Follower...”