2015

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.

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)

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

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.