Upcoming Workshops and Conferences

As the field of wireless sensor networks matures, new design concepts, experimental and theoretical findings, and applications have continued to emerge at a rapid pace. Being one of the leading international conferences in this area, the European Conference on Wireless Sensor Networks (EWSN) has played a substantial role in the dissemination of innovative ideas from researchers all over the globe. For EWSN 2012, the ninth meeting in this series, we invite papers describing original, previously unpublished research results pertaining to wireless sensor networks, broadly conceived.

Pervasive and embedded computing and communication is a paradigm that aims at providing trustworthy computing solutions and communication services all the time and everywhere. This entails the need for an interdisciplinary field of R&D that combines signal processing with computer hardware and software technologies, and utilizes and integrates pervasive, wireless, embedded, wearable and/or mobile systems.

The ARCS series of conferences has over 30 years of tradition reporting top notch results in computer architecture and operating systems research. The focus of the 2012 conference will be on platforms for embedded computer systems. Like the previous conferences in this series, it continues to be an important forum for computer architecture research.

ASPLOS is a multi-disciplinary conference for research that spans the boundaries of hardware, computer architecture, compilers, languages, operating systems, networking, and applications. It has captured some of the major computer systems innovations of the past two decades (e.g., RISC and VLIW processors, small and large-scale multiprocessors, clusters and networks-of-workstations, optimizing compilers, RAID, and network-storage system designs).

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. It puts strong emphasis on ICs/SoCs, reconfigurable hardware and embedded systems, including embedded software. 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 showing the state-of-the-art in design and test tools, methodologies, IP and design services, reconfigurable and other hardware platforms, embedded software, and (industrial) design experiences from different application domains, e.g. automotive, wireless, telecom and multimedia applications. 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 on relevant issues for the design and test community. Special space will also be allocated for EU-funded projects to show their results.

Smart spaces, pervasive computing and ambient intelligence are different terms to allude to the capabilities of systems to ’adapt’ and ’respond’, in order to provide the right service in a timely, unobtrusive and friendly manner. When conceiving a smart system, it is key to define how to seamlessly, effectively and securely it will interact with the user, both to gather the appropriate information to work and to provide the required service. To date, most practical interaction strategies in smart spaces have relied in the use of mobile devices as mediators (e.g. mobile augmented reality). Recently also a number of methods based on natural interfaces (such as tangible ones in smart objects) have been proposed and demonstrated. This workshop focuses on advances in technologies and concepts enabling novel interaction models to link the physical and virtual world layers in smart spaces, to create innovative applications which make intensive use of ambient and personal information to deliver value to their users. Our goal is to organize a forum for attendees to share experiences and discuss novel ideas for easy, friendly and effective interaction and applications in smart spaces.

The technology fair held annually in Parisina exhibition center Porte de Versailles, France. RTS Embedded Systems features from mobile phones to brake adjustment systems of automobiles, medical equipment and portable architecture MTOM (machine to machine); integrated electronic systems, integrated software serve a vital role in our everyday life. RTS Embedded Systems the show is ideal for reaching your goals with technical conferences and presentations to discover and learn about the latest technological developments.

The workshop on Software and Compilers for Embedded Systems (SCOPES) and the workshop on Mapping of Applications to MPSoCs (Map2MPSoC) will organize a joint Map2MPSoC/SCOPES workshop in 2012.

The Map2MPSoC/SCOPES workshop will feature a combination of research papers and research presentations (details see below). The research papers will also be published in the ACM digital library. The workshop will be held in cooperation with ACM SIGBED and EDAA.

The workshop structure (presentations followed by intensive discussions) allows for an interactive atmosphere in which industrial and academic representatives can exchange new ideas and trends in the area multi-processor mapping and code generation.

The 17th International Conference on Reliable Software Technologies (Ada-Europe 2012) will take place in Stockholm, Sweden, from June 11 to June 15. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibition from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday.

LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems, but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact.

ICE 2012 – 5th Interaction and Concurrency Experience Topic: Distributed coordination, execution models, and resilient interaction

Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to researchers in various fields of theoretical computer science. The timeliness and novelty of these events relies both on the variety of the topics that will be treated on each event and on the adopted paper selection mechanism.

The purpose of the conference is to bring together leading researchers from the adaptive hardware and systems community to exchange experiences and share new ideas in the field. The conference expands the topics addressed by the precursor series of NASA/DoD Conference on Evolvable Hardware, held between 1999 and 2005, with a broader scope. This includes a variety of hardware and system adaptation methods and targeting more industry participation. The NASA/ESA series started with the AHS-2006 conference held in Istanbul, Turkey, and continued annually with AHS-2007 conference held in Edinburgh, UK, AHS-2008 conference held in Noordwijk, The Netherlands, AHS-2009 conference held in San Francisco, USA, AHS-2010 conference held in Anaheim, USA, and AHS-2011 conference held in San Diego, USA.

Adaptation reflects the capability of a system to maintain or improve its performance in the context of internal or external changes, such as uncertainties and variations during fabrication, faults and degradations, modifications in the operational environment, incidental or intentional interference, different users and preferences, modifications of standards and requirements, trade-offs between performance and resources.

The objective of this workshop is to present ongoing industrial/academic current work on the modelling and analysis of real time and embedded systems. A particular attention will be given on successful stories in the integration and assessment on the exploitation of R&D improvements on industrial designs. Partners from collaborative projects are solicited to present industrial experiences of collaborations with tools providers and academics.

The conference on Computer Aided Verification (CAV), 2012, is the 24th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.

ReCoSoC is an informal workshop aiming to encourage technical and scientific exchanges between senior academics and young researchers in the area of reconfigurable and communication-centric systems-on-chip.

In 2012, ReCoSoC will be held at the historic city of York, United Kingdom. Workshop sessions will be held at the newly inaugurated Heslington East campus of the University of York.

Reliable WCET bounds are a necessary component for the construction and verification of dependable real-time systems. They are an input for doing task CPU allocation, creating task schedules, and performing schedulability analysis.

The aim of the symposium is to bring together researchers and practitioners from industry and academia and provide them with a platform to report on recent developments, deployments, technology trends and research results, as well as initiatives related to embedded systems and their applications in a variety of industrial environments. Topics include: *) Embedded Systems *) System-on-Chip and Network-on-Chip Design+Testing *) Networked Embedded Systems *) Embedded Applications.

FM 2012 is the eighteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development.

The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users as well as researchers.

FM 2012 will be held at the Conservatoire National des Arts et Métiers (Le Cnam) in the center of Paris with the support of the Cnam Computer Science Department and the MeFoSyLoMa group (Méthodes Formelles pour les Systèmes Logiciels et Matériels). Submissions are welcomed in the form of original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work.

The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed hardware/software system engineering, down to microarchitectures, digital circuits and VLSI techniques. It is a discussion forum for researchers and engineers from academia and industry working on state-of-the-art investigations, development and applications.