Front Matter, Table of Contents, Preface, Conference Organization. TYPES 2016: 0:i-0:x