1 Table of Contents: “... in Why3, Frama-C and SPARK 2014 -- Considering Type-State Verification for Quantified Event Automata...”

2 Table of Contents: “... and Human Expertise in Healthcare Delivery -- Semantic Heterogeneity in the Formal Development of Complex...”

3 Table of Contents: “...A modular design framework to assess intelligent trains -- Formal Modelling and Verification of a...”

4 Table of Contents: “... with DyWA.,- Domain-Specific Languages for Enterprise Systems -- Introduction to “Rigorous Engineering...”

5 Table of Contents: “... in formal design models: An ontology based approach -- A retrospective of the past four years with Industry...”

6 Subjects: “...Formal Languages and Automata Theory...”

7 Table of Contents: “...TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019...”

8 Table of Contents: “... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”

9 Table of Contents: “...-E Automotive System with the Timing Augmented Description Language.- Formal Analysis of TESLA...”

10 Table of Contents: “... and Programming -- Definition of Modeling vs. Programming Languages -- A Non-unified View of Modelling...”

11 Table of Contents: “... Predicates for Runtime Checking and Formal Verification -- Runtime Assertion Checking and Static Verification...”

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

13 Table of Contents: “... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”

14 Table of Contents: “... systems automatically -- Using the constraint language toupie for “Software Cost Reduction” specification...”