[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(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