Forum for Design Languages (FDL) is a well established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Modelling and specification concepts push the development of new design and verification methodologies to system level thus providing a 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.
This years FDL will be held at the OFFIS - Institute for Information Technology in Oldenburg, Germany, from 13 to 15 September 2011 and will be the fourteenth FDL conference following a series of highly successful events that took place in Lausanne, Lyon, Tübingen, Marseille, Frankfurt am Main, Lille, Darmstadt, Barcelona, Stuttgart, Sophia Antipolis, and Southampton. FDL is organized in technical cooperation with the the IEEE. FDL papers will be available online via IEEEXplore after the conference.
FDL 2011 is organized with the technical co-sponsorship of IEEE Council on Electronic Design Automation (CEDA)