The 7th NASA Formal Methods Symposium THEME The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.

12th International Workshop on Formal Engineering approaches to Software Components and Architectures Satellite event of ETAPS WORKSHOP AIM

The 26th Nordic Workshop on Programming Theory, NWPT '14 =Introduction= The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). =Scope= Topics of interest include (but are not limited to)

3rd Workshop on High-performance and Real-Time Embedded Systems (HiRES 2015) http://www.cister.isep.ipp.pt/hires2015 To be held in conjunction with the 10th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2015) Goal of the Workshop

Symposia dedicated to promising research in resilient systems that will protect critical cyber-physical infrastructures from unexpected and malicious threats--securing our way of life. There are five co-located symposia: Resilient Control Systems Resilient Cyber Systems Resilient Cognitive Systems Resilient Communication Systems Resilient Critical Infrastructure

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events. The eighteenth edition, ETAPS 2015, will take place in London, UK. The venue will be Queen Mary University of London. Unifying speakers:

The HiPEAC conference is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for embedded and general-purpose systems. The 10th HiPEAC conference will take place in Amsterdam, The Netherlands from Monday, January 19 to Wednesday, January 21, 2015. Associated workshops, tutorials, special sessions, several large poster session and an industrial exhibition will run in parallel with the conference. The three day event attracts about 500 delegates each year.

Call for Extended Abstracts - IDEA 2015 1st International Workshop on Investigating Dataflow in Embedded computing Architecture   In conjunction with HiPEAC 2015 http://www.hipeac.net/2015/amsterdam Important Dates

Overview Computing systems are rapidly evolving into heterogeneous machines featuring many processor cores. This leads to a tremendous complexity with an unprecedented number of available design and optimization choices for architectures, applications, compilers and run-time systems. Using outdated, non-adaptive technology results in an enormous waste of expensive computing resources and energy, while slowing down time to market.

28th GI/ITG International Conference on Architecture of Computing Systems The ARCS series of conferences has over 30 years of tradition reporting high quality results in computer architecture and operating systems research. The focus of the 2015 conference will be on reconciling parallelism and predictability in mixed-critical systems. Like the previous conferences in this series, it continues to be an important forum for computer architecture research, including also workshops and tutorials within its technical scope.