1 Table of Contents: “...-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between...”

2 Table of Contents: “... -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia -- ASERE: Assuring...”

3 Subjects: “...Theory of Computation...”

4 Subjects: “...Theory of Computation...”

5 Subjects: “...Theory of Computation...”

6 Table of Contents: “... in Finite State Space Computations --...”

7 Table of Contents: “... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”

8 Table of Contents: “...-Based Self-Adaptive Computing Systems -- A Calculus for Open Ensembles and Their Composition -- Logic...”

9 Subjects: “...Theory of Computation...”

10 Table of Contents: “...Methodology -- Theories of programming: Top-Down and Bottom­up and Neeting in the Middle -- A...”

11 Subjects: “...Theory of Computation...”

12 Subjects: “...Theory of Computation...”

13 Subjects: “...Theory of Computation...”

14 Table of Contents: “... Approach to Support Large-Scale Deductive Program Verification -- Type Theory as a Framework for Modelling...”

15 Subjects: “...Theory of Computation...”

16 Table of Contents: “...RV-TheToP: Runtime Verification from the Theory To the industry Practice (Track Introduction...”

17 Subjects: “...Electronic digital computers / Evaluation...”

18 Subjects: “...Computer Communication Networks...”

19 Subjects: “...Theory of Computation...”

20 Table of Contents: “...-Sports: The Challenge of Small Margin Healthcare Accounting.- Timing Constraints: Theory Meets Practice...”