1 Table of Contents: “... Engineering -- Workshop on Engineering Processes and Practices for Quantum Software (PPQS’22) -- Classical...”

2 Table of Contents: “... in Contemporary Information Systems and Their Architectures, ISTREND 2018 -- Doctoral Consortium...”

3 Table of Contents: “... systems and applications -- Automata learning in practice -- ISoLA 2014 Doctoral Symposium...”

4 “... presents 22 papers accepted for four workshops (ATCS, SSS, SLSS, DAPRO) in conjunction with the conference...”

5 “... presents 22 papers accepted for four workshops (ATCS, SSS, SLSS, DAPRO) in conjunction with the conference...”

6 Table of Contents: “... and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral...”

7 “... doctoral symposium papers, and 6 tutorials were carefully reviewed and selected from 82 submissions...”

8 Table of Contents: “... -- Doctoral Symposium Papers -- Knowledge Management and Reflective Practice in Daily Stand-up...”

9 Table of Contents: “...1. Introduction -- 1.1 Motivation -- 1.2 Overview -- 2. Data Model -- 2.1 Object Semantics -- 2.2...”

10 Table of Contents: “... Demonstration -- Doctoral Consortium Presentations -- Declarative Problem Solving Using Answer Set Semantics...”

11 Table of Contents: “... What Is Not VR? -- 1.11 The Internet -- 1.12 Summary -- 2 The Benefits of VR -- 2.1 Introduction -- 2.2...”

12 Table of Contents: “... for Doctors and Knowledge Discovery about Patients...”

13 Table of Contents: “... Simple Choice -- 2.1 If Statements -- 2.2 String Comparison -- 2.3 The Type Boolean -- 2.4 Structured...”

14 Table of Contents: “... Technology For Ethical Use Of Water -- Doctoral Consortium -- Towards a system for data transparency...”

15 Table of Contents: “... Neural Networks for Biomedical Named Entity Recognition -- DRGAN: A GAN-based Framework for Doctor...”