Abstract is missing.
- Frontmatter, Table of Contents, Preface, Workshop OrganizationRumyana Neykova, Nicholas Ng. [doi]
- From academia to industry: The story of Google DeepMindShane Legg. 1 [doi]
- You and Your Research and the Elements of StylePhilip Wadler. 2 [doi]
- History-Based Adaptive Work DistributionEvgenij Belikov. 3-10 [doi]
- Everything you know is wrong: The amazing time traveling CPU, and other horrors of concurrencyEthel Bardsley. 11-18 [doi]
- Identifying and inferring objects from textual descriptions of scenes from booksAndrew Cropper. 19-26 [doi]
- Predicate Abstraction in Program Verification: Survey and Current TrendsJakub Daniel, Pavel Parizek. 27-35 [doi]
- Automatic Verification of Data Race Freedom in Device DriversPantazis Deligiannis, Alastair F. Donaldson. 36-39 [doi]
- A survey of modelling and simulation software frameworks using Discrete Event System SpecificationRomain Franceschini, Paul-Antoine Bisgambiglia, Luc Touraille, Paul Bisgambiglia, David R. C. Hill. 40-49 [doi]
- Calculating communication costs with Sessions Types and SizesJuliana Franco, Sophia Drossopoulou, Nobuko Yoshida. 50-57 [doi]
- Symbolic Execution as DPLL Modulo TheoriesQuoc-Sang Phan. 58-65 [doi]
- Towards a Programming Paradigm for Artificial Intelligence Applications Based On SimulationJörg Pührer. 66-73 [doi]
- Defining and Evaluating Learner Experience for Social Adaptive E-LearningLei Shi. 74-82 [doi]
- On Recent Advances in Key Derivation via the Leftover Hash LemmaMaciej Skorski. 83-90 [doi]
- Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue GamesChristof Spanring. 91-98 [doi]