Molecular scale computing, Nanotechnology, as well as Quantum computing are trends in future computing that might offer the way to circumvent the approaching bottom of Moore's law for traditional silicon based technologies. For synthesis and design new types of representations are required to exploit the full potential of these new technologies. In the past, e.g. AND-EXOR based representations have proven to be simpler than standard AND-OR representations for switching functions, while on the other hand showing many different properties. Decision diagrams have been extensively studied and have provided powerful new techniques for verification and synthesis.
The goal of the symposium is to bring together researchers in these and related fields to discuss new approaches and results. This year the symposium took place in Trier, Germany. Previous workshops have been held in Starkville, Mississippi (USA) in 2001, in Victoria, BC (Canada) in 1999, in Oxford(UK) in 1997, in Tokyo (Japan) in 1995, and in Hamburg(Germany) in 1993.
