Call for Papers

                    Formal Methods and Verification Track
                     Design, Automation & Test in Europe

                              Dresden, Germany
			      March 8-12, 2010


The Design, Automation and Test in Europe conference and exhibition is  the
premiere European event bringing together designers and  design  automation
users, researchers and vendors, as well as specialists in the hardware  and
software design, test and manufacturing of electronic circuits and systems.
This five-day event consists of a conference with plenary keynotes, regular
papers,  interactive  presentations,   panels   and   hot-topic   sessions,
tutorials, master courses and workshops.  DATE  is  also  Europe's  leading
commercial exhibition showing  the  state-of-the-art  in  design  and  test
tools, methodologies, IP and design services.  Both the conference and  the
exhibition, together with the many user group  meetings,  fringe  meetings,
university booth and social events offer a wide variety of opportunities to
meet and exchange information.

The Formal Methods and Verification Track (D8) is devoted to the
presentation and discussion of state-of-the-art advances in a variety of
focus areas, including but not limited to:

    * Formal verification and specification techniques including equivalence
      checking, model checking, symbolic simulation, theorem-proving,
      abstraction and refinement techniques, and real time verification
    * Technologies supporting formal verification, including SMT, SAT, BDD,
      ATPG, and related work
    * Semi-formal verification techniques
    * Applications and case studies, including formal verification of IPs,
      SoCs, cores and real-time/embedded systems
    * Verification in practice, namely the integration of verification into
      the design flow

Jason Baumgartner  (Chair)     IBM Corporation, jason.r.baumgartner@gmail.com
Joao Marques-Silva (Co-Chair)  University College Dublin, jpms@ucd.ie
Armin Biere                    Johannes Kepler University
Per Bjesse                     Synopsys Inc.
Roderick Bloem                 Graz University of Technology
Gianpiero Cabodi               Politecnico di Torino
Alessandro Cimatti	       FBK-IRST
Daniel Kroening                Oxford University
Wolfgang Kunz                  University of Kaiserslautern
Panagiotis (Pete) Manolios     Northeastern University

All manuscripts must be submitted electronically by  September  6th,  2009,
following the instructions on the conference Web page:

                           www.date-conference.com