More details here
Forum on specification and Design Languages
Submission deadline 09/10/201309/24/2013 to 09/26/2013The 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 brings together four related thematic areas and gives an opportunity to gain up-to-date knowledge in many broad areas of the fast evolving field of system design and verification.
Marie-Minerve.Louerat (at) null