posted by system || 3276 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 2022   25th Forum on specification & Design Languages
MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
EAI DLI 2022   7th EAI International Conference on Design, Learning & Innovation
ICAS 2022   10th International Conference on Asian Studies 2022
PROLE 2022   XXI Jornadas sobre Programación y Lenguajes
SERD 2022   2022 International Conference on Software Engineering Research & Development
SOCC 2022   IEEE International System-on-Chip Conference (Extended)
AHIT 2022   2022 OkIP International Conference on Advances in Health Information Technology
IJME 2022   International Journal of Microelectronics Engineering
AISA 2022   2022 OkIP International Conference on Advances in Information Security and Assurance