Email Gateway (Aug 22 2022 at 11:02): Email Gateway (Aug 22 2022 at 11:02):From: "Schmaltz, J." <j.schmaltz@tue.nl>
***** DATE 16 Call for Papers – D4 Topic Formal Methods and System Verification ****
Formal Methods and System Verification
Design Methods and Tools Track @ DATE 2016
Dresden, Germany - March 14-18, 2016
IMPORTANT DATES:
Submission by Sunday September 13, 2015 23:59:59 CET
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 System Verification topic (D4) is one of the twelve 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 System Verification Track (D4) 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:
TOPIC TECHNICAL COMMITTEE
Armin Biere, Universitaet Linz
Per Bjesse, Synopsys
Christoph Scholl, Albert-Ludwigs-University Freiburg (co-chair)
Gianpiero Cabodi, Politecnico di Torino
Alessandro Cimatti, Fondazione Bruno Kessler
Marijn Heule, The University of Texas at Austin
John O’Leary, Intel Corporation
Julien Schmaltz, Eindhoven University of Technology (chair)
Anna Slobodova, Centaur Technology
Daryl Stewart, ARM
Markus Wedler, Synopsys
SUBMISSION INSTRUCTIONS
To be a valid submission, a full paper must be submitted before Sunday September 13, 2015 23:59:59 CET. Submission instructions can be found on the conference Web page:
www.date-conference.com<http://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.
Last updated: Apr 25 2024 at 12:23 UTC