posted by user: tkrilavicius || 2679 views || tracked by 4 users: [display]

FDL 2011 : Forum on Specification & Design Languages

FacebookTwitterLinkedInGoogle


Conference Series : Forum on specification and Design Languages
 
Link: http://www.ecsi.org/fdl
 
When Sep 13, 2011 - Sep 15, 2011
Where Oldenburg, Germany
Submission Deadline May 1, 2011
Notification Due Jul 30, 2011
 

Call For Papers

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.

FDL 2011 will be held 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.

The OFFIS Institute for Information Technology, founded in 1991, is an application-oriented non-profit research and development institute with close links to the Computer Science department of the University of Oldenburg in Lower Saxony, north-western Germany. Its primary mission is to adopt the findings from university basic research in computer science and other relevant disciplines, to stay in touch with new market demands through its many years of experience in co-operation projects with the industry, and to bridge the gap between “basic research” and “application demands” through application-oriented research. OFFIS staff currently counts about 250 employees. More than 150 scientists (in their vast majority computer scientists, but also engineers, economists, physicists and from other disciplines as well) work in interdisciplinary teams. OFFIS focuses its R&D activities in three challenging application areas: Energy, Health, and Transportation.

Related Resources

PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
OPODIS 2020   CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
CCNC 2021   IEEE Consumer Communications & Networking Conference
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
17th ICTEL Rome 2021   17th ICTEL 2021 – International Conference on Teaching, Education & Learning, 06-07 September, Rome
4th Rome ICSSH 2021   4th Rome – International Conference on Social Science & Humanities (ICSSH), 07-08 September 2021