Conferences

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.

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 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.

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.

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.

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.

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 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.

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 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.

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.

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.

The ERTS2 congress is a unique cross-sector event that mixes industry and research. It has become the conference of reference in France and Europe for embedded systems and software. The 6th edition will take place in Toulouse from the 1st to the 3rd of February 2012. It will show case state-of-the-art achievements and progress from industrial and academic experts in embedded systems and cover a wide range of industries (automotive, aeronautics, railway, space,etc).

RTSS 2011 will hold the following related events on November 29:

4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS) 2nd Workshop on Analytical Virtual Integration of Cyber-Physical Systems (AVICPS 2011) 1st International Workshop on Worst-case Traversal Time (WCTT) Workshop on Synthesis and Optimization Methods for Real-time Embedded Systems (SOMRES) Real-Time SystemS at Work - *the* Open Demo Session of Real-Time Techniques and Technologies (RTSS@Work)

Embedded Systems Week is an exciting event which brings together conferences, tutorials, and workshops centered on various aspects of embedded systems research and development. Three leading conferences in the area - CASES, CODES+ISSS, and EMSOFT - will take place at the same time and location, allowing attendees to benefit from a wide range of topics covered by these conferences and their associated tutorials and workshops.

This jointly organised event will be held at the European Parliament in Brussels. The active JTI’s; ARTEMIS Joint Undertaking, IMI, FCH, Clean Sky and ENIAC will work together to present themselves in Brussels.

Timing aspects of systems from a variety of computer science domains have been treated independently by different communities. Researchers interested in semantics, verification and performance analysis study models such as timed automata and timed Petri nets, the digital design community focusses on propagation and switching delays, while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment.

The aim of the event is to provide public visibility over technical aspects raised and solved by ARTEMIS partners in the field of Smart Environments. Exchange of ideas will increase R&D results’ effectiveness. This implies empowering the impact on industry and on society at large. In this sense, four ARTEMIS projects, SOFIA, SMARCOS, CHIRON and iLAND will present their intermediate results during the conference.

CONCUR 2011, the 22nd International Conference on Concurrency Theory, will take place in Aachen, Germany, from 5-10 September 2011. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications (in a broad sense).

The conference will sponsor at least two prize categories, each with a significant cash award. We awarded a $1000 prize in each of the two categories in 2010. Each team that submits a complete and working entry will be invited to submit for review a 2-page abstract for the formal conference proceedings and present a poster at the conference; winning teams will be invited to contribute a 4-page short paper and present their work at the conference. Each team submitting a completed and working entry will also receive a commemorative plaque with their name and results.

The EuroSys conference series brings together professionals from academia and industry. It has a strong focus on systems research and development: operating systems, data base systems, real-time systems and middleware for networked, distributed, parallel, or embedded computing systems. EuroSys has become a premier forum for discussing various issues of systems software research and development, including implications related to hardware and applications.

Embedded Systems Week is an exciting event which brings together conferences, tutorials, and workshops centered on various aspects of embedded systems research and development. Three leading conferences in the area - CASES, CODES+ISSS, and EMSOFT - will take place at the same time and location, allowing attendees to benefit from a wide range of topics covered by these conferences and their associated tutorials and workshops.

Computational modeling has become the norm in industry to remain competitive and be successful. As such, Model-Based Design of embedded software has enterprisewise implications and modeling is not limited to isolated uses by a single engineer or team. Instead, it has reached a proliferation much akin to large software design, with requirements for infrastructure support such as version control, configuration management, and automated processing.

The biennial ICT Event (formerly called the "IST Event") is the most important forum for discussing research and public policy in information and communication technologies at European level. The Event brings together researchers and innovators, policy and business decision-makers working in the field of digital technologies.

FORMATS 10 is the 8th International Conference on Formal Modelling and Analysis of Timed Systems.

The goal of MEMOCODE 2010, the eighth in a series of successful international conferences, is to gather researchers and practitioners in the field of the design of modern hardware and software system to explore ways in which future design methods can benefit from new results on formal methods.

The twenty-second EUROMICRO Conference on Real-Time Systems (ECRTS’10) is a forum aimed at covering state-of-the-art research and development in real-time computing. Papers on all aspects of real-time systems are welcome.

RTSS provides a forum for the presentation of high-quality, original research covering all aspects of real-time systems design, analysis, implementation, evaluation, and case-studies. RTSS’09 continues the trend of making RTSS an expansive and inclusive symposium, looking to embrace new and emerging areas of real-time systems research.

The aim of this workshop is to bring together people from different multimedia-related research communities (e.g, software, architectures, real-time systems, DSP, compilers, multimedia applications) who have worked separately, but did not interact sufficiently to address the challenges facing the design of hardware and software for multimedia systems.

Embedded Systems Week is an exciting event which brings together conferences, tutorials and workshops centered on various aspects of embedded systems research and development. Three leading conferences in the area - CASES, CODES+ISSS, and EMSOFT - will take place at the same time and location, allowing attendees to benefit from a wide range of topics covered by these conferences and their associated tutorials and workshops.

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.

The 21st EUROMICRO Conference on Real-Time Systems (ECRTS’09) is a forum aimed at covering state-of-the-art research and development in real-time computing. Papers on all aspects of real-time systems are welcome, including: applications (consumer electronics; multimedia and entertainment; process control; avionics, aerospace; automotive; telecommunications), infrastructure and hardware, software technologies, system design and analysis.

CAV 2009 is the 21th 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 its leadership in hardware verification, maintain its recent momentum in software verification, and consider new domains such as biological systems. 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.

LCTES 2009 solicits papers presenting original work on programming languages, compilers, tools, and architectures that help meet these challenges. Research papers — which propose innovative techniques — and experience papers — which report experimentation with and lessons learned from real-world systems and applications — are both welcome.

The 12th 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.

Cyber Physical Systems (CPS) are the ones that integrate computation, communication and storage capabilities with the monitoring and/or control of the physical and engineering systems. Such systems must be operated safely, dependably, securely, efficiently and in real-time. It has been well-recognized that CPS will have great technical, economic and societal impacts in the near future.

The embedded world Conference 2009 will once again spark off a real fireworks of knowledge. Well known as the only European event for the embedded community covering all areas of embedded systems design, the conference will again feature many classes on hardware, software and tools. And its program reacts on current challenges for the designer like Green Electronics or the management of design projects.

Outstanding experts from the Embedded Community will present answers to the most urgent questions arising for embedded systems designers and will enable them to face tomorrow’s challenges. With 24 Sessions and 20 Classes the program of the embedded world Conference program again promises to be an interesting and vital event tailored exactly to the needs of design engineers.

POPL is the ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages.

CiberMouse@DCOSS2008 competition, based on the CiberMouse Simulation Environment.

Embedded Systems Week brings together three leading conferences in the area - CASES, CODES+ISSS, and EMSOFT. Attendees to benefit from a wide range of topics covered by these conferences and their associated tutorials and workshops.

16th International Conference on Real-Time and Network Systems Rennes, France, October 16-17, 2008

Triennial Event of International Federation of Automatic Control (IFAC)

20th anniversary edition of Euromicro conference on real-time systems, Prague, Czech Republic, July 2-4, 2008

ACM SIGPLAN/SIGBED 2008 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2008)

13th IEEE Real-Time and Embedded Technology and Applications Symposium, covering infrastructure and theory; applications; development, verification, and debug tools; and embedded systems hw/sw interaction/co-design.

Three leading conferences - RTAS, IPSN and HSCC - will take place at the same time and location during the CPS week.

Originally in the area of design automation, the DATE conference and exhibition has developed a very active embedded software track with 13 sessions on software topics and 2 special days on automotive and on dependable systems in 2008.

4th European Congress ERTS EMBEDDED REAL TIME SOFTWARE 2008

ASP-DAC 2008 is the thirteenth in a series of annual international　conferences on VLSI design automation. Asia and South Pacific region is one of the most active regions of design and fabrication of silicon chips in the world.

RTSS remains the premier conference in the area of real-time computing, presenting innovations in the field with respect to theory and practice.

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems.

EMSOFT aims at covering all aspects of embedded software with focus on principles of embedded software development.

The CASES conference provides a forum for emerging technology in embedded computing systems, with an emphasis on compilers and architectures for embedded systems.

Embedded Systems Week brings together conferences, tutorials and workshops centered on various aspects of embedded systems research and development.

International Conference on Hardware-Software Codesign and System Synthesis

The ETFA conference series is the prime, and largest, IEEE event dedicated to factory automation and emerging technologies in industrial automation.

FDL is the European forum to exchange experiences and learn new trends in the application of languages and their associated design methods and tools for the design of electronic systems.

The sixth joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

The 13th IEEE RTCSA will bring together researchers and developers from academia and industry for advancing the technology of embedded and real-time systems and ubiquitous computing applications.

SAMOS is a premier and well-established symposium on embedded systems organized annually since 2001. It provides an environment where collaboration rather than competition is fostered.

The 19th EUROMICRO Conference on Real-Time Systems (ECRTS’07) is a forum aimed at covering state-of-the-art research and development in real-time computing.

CAV’07 is the 19th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.

ECC’07 aims at stimulating contacts among academic and industrial professionals in the area of systems and control, and promoting scientific exchanges.

ECMDA-FA is dedicated to furthering the state of knowledge and fostering the industrialisation of the MDA methodology. Its focus is on producing more reliable software on the basis of state-of-the-art research results.

DAC features over 50 technical sessions covering design methodologies and EDA tool development, and an Exhibition/Demo area with over 250 of EDA, silicon and IP Providers.

The goal of MEMOCODE’07, the fifth in a series of successful international conferences, is to gather together researchers and practitioners in the field of the design of modern hardware and software systems to explore ways in which future design methods can benefit from new results on formal methods.

This symposium aims to cover the state of the art, actual research results, and future trends in the field of embedded systems. Contributors and participants from both industry and academia are encouraged to take part.

The NOC symposium brings together academic and industrial researchers and developers addressing issues of NoC-based systems at all levels, from the physical on-chip link level through the network level, and ranging up to system architecture and application software.

Design Automation and Test in Europe. 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 conference, tenth in a series of succesful annual meetings, is dedicated to research in embedded reactive systems involving the interplay between symbolic/switching and continuous dynamical behaviors.

ESC is a truly global technical conference bringing together the world’s technology experts (faculty) from over 16 different countries.

15th International Conference on Real-Time and Network Systems

ARCS 2007 will cover basic technology, architecture, and application of computing systems. Autonomic or Proactive computing may help to manage the increasing complexity of computing systems.

The RTS (Real-Time Solutions) exhibition covers the latest innovations (components, boards, operating systems, embedded software) and technological developments.

The Real-Time Systems Symposium RTSS’06 continues the trend of making RTSS an expansive and inclusive symposium, looking to embrace new and emerging areas of real-time systems research.

IST 2006 includes a high-level conference, an Exhibition of cutting edge research results from across Europe and a programme of networking sessions and workshops, with the exhibition and networking programmes.

The International Conference on Hardware-Software Codesign and System Synthesis is the premier event in design of embedded systems hardware, software and tools.

The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems.