[Om-announce] Call for papers DATE 2014

[Schmaltz, Julien]

DATE 2014 Call for Papers – D7 Topic

Formal Methods and Verification Design Methods and Tools Track @ DATE 2014


ICC, Dresden, Germany -March 24-28, 2014

The Design, Automation and Test in Europe conference and exhibition is the main 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. The Design Methods and Tools Track is devoted to design automation and design tools for electronic and embedded systems. Emphasis is
on methods and tools related to the use of computers in designing products. This includes designer feedback on existing design methods and tools as
well as to initiate discussions on requirements of future system architectures, design flows and environments The Formal Methods and Verification topic
(D7) is one of the fifteen topics foreseen in the Design Methods and Tools Track.
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. The scientific conference is complemented by a 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.

TOPIC DESCRIPTION
The Formal Methods and Verification Track (D7) is devoted to the presentation and discussion of state-of-the-art advances in the
theory and practice of formal verification methods. Topics of interest include, but are 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.
- Applications of formal and semi-formal techniques to verify functional and non-functional aspects of hardware and software systems.
This includes practical applications and case-studies about verification of IPs, SoCs, cores and real-time/embedded systems.
- Verification in practice, namely the integration of verification into the design flow.
- Applications of formal and semi-formal techniques into new and challenging areas, like multi-core and parallel architectures,
asynchronous designs, analog and mixed-signal designs, power modelling and analysis, hardware and software security, etc.

TOPIC TECHNICAL COMMITEE
Jason Baumgartner, IBM Corporation Armin Biere, Universitaet Linz
Per Bjesse, Synopsys Gianpiero Cabodi, Politecnico di Torino
Alessandro Cimatti, Fondazione Bruno Kessler Barbara Jobstmann, EPFL, Jasper DA
Fahim Rahim, Atrenta Julien Schmaltz, Open University of the Netherlands
Christoph Scholl, Albert-Ludwigs-University Freiburg Thomas Wahl, Northeastern University

SUBMISSION INSTRUCTIONS
All manuscripts must be submitted electronically before Friday September 13, 2013, following the instructions on the conference Web page:

www.date-conference.com

The accepted file format is PDF. Any other format and manuscripts received in hard-copy form will not be processed.

Papers can be submitted for either formal oral presentation or for interactive presentation. Oral presentations require novel and complete research work
supported by experimental results. Interactive presentations are expected to articulate emerging and future design, verification and test problems
including work in progress and identify open problems that merit innovative future research. These presentations are given on a laptop in a face-to-face
discussion area.

Submissions should not exceed 6 pages in length for oral-presentation papers and 4 pages in length for interactive-presentation papers, and should be
formatted as close as possible to the final format: A4 or letter sheets, double column, single spaced, Times or equivalent font of minimum 10pt (templates
are available on the DATE Web site for your convenience). To permit blind review, submissions should not include the author names. Any submission not
in line with the above rules will be discarded.

All papers will be evaluated with regard to their suitability for the conference, originality, and technical soundness. The Programme Committee reserves
the right to reorient oral-presentation papers to interactive-presentation and vice versa, to obtain the most suitable presentation format.

TOPIC CHAIRS

Jason Baumgartner
IBM Corporation
e-mail: jason.r.baumgartner at gmail.com

Julien Schmaltz
Open University of the Netherlands
e-mail: Julien.Schmaltz at ou.nl


Deze e-mail is uitsluitend bestemd voor de geadresseerde(n). Verstrekking aan en gebruik door anderen is niet toegestaan. Open Universiteit sluit iedere aansprakelijkheid uit die voortvloeit uit elektronische verzending. Aan de inhoud van deze e-mail en/of eventueel toegevoegde bijlagen kunnen geen rechten worden ontleend.

This e-mail is intended exclusively for the addressee(s), and may not be passed on to, or made available for use by any person other than the addressee(s). Open Universiteit rules out any and every liability resulting from any electronic transmission. No rights may be derived from the contents of this message.