The 10 full papers were and 5 short papers included in this volume were carefully reviewed and selected from 27 submissions.The wide range of topics in this volume reflects the current state of research in the field. The universality of computer programs and their importance in so many areas of our lives means that automating these tasks is an exceptionally ambitious challengewith far-reaching implications.