Front Matter, Table of Contents, Preface, Conference Organization. TYPES 2018: 0:1-0:10