This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference
on Reliable Software Technologies Ada-Europe 2015 held in Madrid Spain in June 2015. The
revised 12 full papers presented together with two keynotes were carefully reviewed and
selected from 36 submissions. They are organized in topical sections on language technology
real-time applications critical systems and multicore and distributed systems.
