Frontmatter

The Forum on specification & Design Languages (FDL) is a well-established international forum devoted to the dissemination of research results, practical experiences, and new ideas in the application of specification, design, and verification languages to the design, modeling, and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Modeling and specification concepts push the development of new design and verification methodologies to the system level thus providing means for model-driven design of complex information processing systems in a variety of application domains. One of the principal advantages of FDL is that it combines different perspectives on system level languages in a single-track program and gives an opportunity to gain up-to-date knowledge in many areas of the fast evolving field of design and verification.