[TYPES/announce] DATE'14, E3: Model-based design and verification of embedded systems

[Alain Girault]

(apologies if you receive multiple copies)

=======================================================================
                 CALL FOR PAPERS DATE 2014

                          TOPIC E3:
        Model-Based Design and Verification for Embedded Systems

            DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE
                        ICC, DRESDEN, GERMANY
                         24TH-28TH MARCH 2014
                    http://www.date-conference.com
=======================================================================

DEADLINES
- Paper Submissions           September 13, 2013
- Special Session Proposals   September 13, 2013
- Tutorial Proposals          September 13, 2013
- Notification of Acceptance  November 17, 2013
- Camera-Ready Paper          December 15, 2013

=======================================================================

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.

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.

  You are invited to submit your research contributions to the Topic

      E3: Model-Based Design and Verification for Embedded Systems

Areas of interests include (but not limited to):
Verification techniques for embedded systems ranging from simulation,
testing, model-checking, SAT and SMT-based reasoning, compositional
analysis  and analytical methods. Modeling, analysis and optimization
of non-functional and performance aspects such as timing, memory usage,
QoS and reliability. Model-based design of software architectures,
and system integration and deployment. Theories, languages and tools
supporting model-based design flows covering software, control and
physical components; Case studies and industrial applications of model-based
methods and tools for embedded systems design.

=======================================================================

TPC MEMBERS of DATE'14, topic E3

Saddek Bensalem, Verimag, France
Petru Eles, Linköping University, Sweden
Alain Girault, INRIA, France
Kim Larsen, Aalborg University, Denmark
Linh Thi Xuan Phan, University of Pennsylvania, USA
Abhik Roychoudhury, National University of Singapore
Wang Yi, Uppsala University

=======================================================================

QUICK LINKS
- Conferencehttp://www.date-conference.com
- Call for Papershttp://www.date-conference.com/call-for-papers
- Instructionshttp://www.date-conference.com/submission-instructions