[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP DATE'12,Topic E3: Model-Based Design and Verification for Embedded Systems

~~~~~~ please disseminate widely to your students, teams, colleagues & contacts ~~~~~~]  
                                      (apologies for multiple postings)
                       CALL FOR PAPERS DATE 2012

                TRACK E: "Embedded Systems Software"
               TOPIC E3: Model-Based Design and Verification for Embedded Systems

                       ICC, DRESDEN, GERMANY
                        12TH-16TH MARCH 2012
- Paper Submissions           September 11, 2011
- Special Session Proposals   September 11, 2011
- Tutorial Proposals          September 11, 2011
- Notification of Acceptance  November 14, 2011
- Camera-Ready Paper          December 12, 2011
- Conference           http://www.date-conference.com
- Call for Papers      http://www.date-conference.com/final-call-for-papers
- Author Instructions  http://www.date-conference.com/authors-instructions_cfp
The 15th DATE 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 five-day event consists of a conference with plenary invited papers,
regular papers, panels, hot-topic sessions, tutorials and workshops, two
special focus days and a track for executives. The scientific conference is
complemented by a commercial exhibition. The organisation of user group
meetings, fringe meetings, a university booth, a PhD forum, vendor
presentations and social events offers a wide variety of extra opportunities
to meet and exchange information. Special space will also be allocated for
EU-funded projects to show their results.

You are invited to submit your research contributions to the Topic

         E3 Model-Based Design and Verification for Embedded Systems

which is devoted to Model-based methods for embedded system design; 
verification of embedded systems; model-based software architectures; 
model-based design for control applications; model-based software testing, 
software/system integration and deployment; tools for model-based embedded 
system design; software verification;

Detailed descriptions of all other topics and submission information are
found on the conference web page:

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.

Submissions should not exceed 6 pages in length for oral-presentation papers
and 4 pages in length for interactive-presentation papers. Submission of 2
page papers in topic A7 (Industrial Experiences Brief Papers) will also be

Saddek Bensalem, UniversitÚ Joseph Fourier/Verimag Laboratory, France
Axel Legay, INRIA, France
Marc Pouzet, UniversitÚ Pierre et Marie Curie, France
Abhik Roychoudhury, National University of Singapore,
Oleg Sokolsky, University of Pennsylvania, United States of America
Helmut Veith, Technische Universitńt Wien, Austria
Wang Yi, Uppsala Unversity, Sweden
Sharygina Natasha (University of Lugano, Switzerland


Wang Yi - Topic Chair E3
Uppsala University, Sweden, 
email: yi@it.uu.se

Saddek Bensalem - Topic Co-Chair E3
UniversitÚ Joseph Fourier/Verimag, France
e-mail: saddek.bensalem@imag.fr

Lothar Thiele - DATE Program Chair
Swiss Federal Institute of Technology (ETH) Zurich, Switzerland
email: thiele@ethz.ch