posted by system || 3599 views || tracked by 5 users: [display]

FDL 2012 : Forum on Specification & Design Languages

FacebookTwitterLinkedInGoogle


Conference Series : Forum on specification and Design Languages
 
Link: http://www.ecsi.org/fdl
 
When Sep 18, 2012 - Sep 20, 2012
Where Vienna, Austria
Submission Deadline Apr 2, 2012
Notification Due May 30, 2012
Final Version Due Jul 30, 2012
Categories    specification   design   languages   FDL
 

Call For Papers

Forum on specification & 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 2012 will be held in Vienna, Austria, in September 2012 and will be the fifteenth 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, Southampton, and Oldenburg. FDL is organized in technical cooperation with the the IEEE. FDL papers will be available online via IEEEXplore after the conference.

Vienna is the capital and largest city of the Republic of Austria and one of the nine states of Austria. Vienna is Austria's primary city, with a population of about 1.723 million (2.4 million within the metropolitan area, more than 25% of Austria's population), and is by far the largest city in Austria, as well as its cultural, economic, and political centre. It is the 9th-largest city by population in the European Union. Vienna is host to many major international organizations, such as the United Nations and OPEC.

Vienna lies in the east of Austria and is close to the borders of the Czech Republic, Slovakia, and Hungary. These regions work together in a European Centrope border region. Along with nearby Bratislava, Vienna forms a metropolitan region with 3 million inhabitants, and this region is referred to as Twin City.In 2001, the city centre was designated a UNESCO World Heritage Site.

Vienna is often said to be "The City of Dreams" because it was home to one of the world's greatest interpreters of dreams, Professor Sigmund Freud.

Vienna has its roots in early Celtic and Roman settlements that transformed into a Medieval and Baroque city, the capital of the Austro-Hungarian Empire. The city is well known for playing an essential role as a leading European Music Centre, from the great age of Viennese Classicism through the early part of the 20th century. The Historic centre of Vienna is rich in architectural ensembles, including Baroque castles and gardens, as well as the late-19th-century Ringstrasse lined with grand buildings, monuments and parks. Analytically, the city was ranked 1st globally for a culture of innovation in 2007 and 2008.

Related Resources

FDL 2024   Forum on specification and Design Languages
IJME 2024   International Journal of Microelectronics Engineering
ISDEA 2024   2024 3rd International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2024)
BAMC 2024   The 5th Barcelona Conference on Arts, Media & Culture (BAMC2024)
VLSICS 2024   International Journal of VLSI design & Communication Systems
Social Sustainability 2025   Twenty-first International Conference on Environmental, Cultural, Economic & Social Sustainability
Constructed Environment 2024   Fourteenth International Conference on The Constructed Environment
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
IEEE AIxVR 2024   IEEE International Conference on Artificial Intelligence & extended and Virtual Reality