Forum on specification & Design Languages
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 2010 will be held in Southampton, UK, from 14 to 16 September 2010 and will be the thirteenth 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 and Sophia Antipolis. FDL is organized in technical cooperation with the the IEEE and IEEE Computer Society Technical Committee on Design Automation (TCDA) and IET in the UK. FDL papers will be available online via IEEEXplore after the conference.
The University of Southampton is a British public university located in the city of Southampton, in the South of England. The origins of the University can be dated back to the founding of the Hartley Institution in 1862 by Henry Robertson Hartley. In 1902 the Institution developed into the Hartley University College, with degrees awarded by the University of London and in 1952 it was granted a Royal Charter to give the University of Southampton full University status. This was the first Royal Charter granted by HM Queen Elizabeth II on her accession to the throne. The university is a member of the Russell Group of research universities and the Worldwide Universities Network. It currently has over 17,000 undergraduate and 7,000 postgraduate students, making it the largest university by higher education students in the South East region.
Electronics and automotive industries in the region centre around Bracknell, Maidenhead, Reading, Slough, Southampton and Portsmouth with a major concentration of electronics in Milton Keynes . Northern parts of the region are known for engineering, mostly at St Albans, Hatfield, Letchworth and Watford and the Oxford suburb of Cowly which has huge car factories and was the birthplace of the classic Morris Minor. The South East is one of the most beautiful parts of England, home to a range of top tourist attractions: enchanting castles, impressive cathedrals, inspiring museums and historic houses. There is Windsor Castle in Berkshire, Canterbury Cathedral in Kent, Portsmouth Historic Dockyard and impressive Winchester Cathedral in Hampshire, near Southampton. Salisbury Cathedral and prehistoric Stonehenge in Wiltshire, although technically outside the South East region, lie within easy reach from Southampton. South East Englandís climate also makes the region perfect for breweries, vineyards and beautiful gardens. Finally, London - the largest urban zone in Europe by most measures - is only 75 miles away.
FDL 2010 General Chair