OASIcs, Volume 43, ICCSW 2014

• Rumyana Neykova and Nicholas Ng OASIcs, Volume 43, ICCSW'14, Complete Volume 10.4230/OASIcs.ICCSW.2014
• Rumyana Neykova and Nicholas Ng Frontmatter, Table of Contents, Preface, Workshop Organization 10.4230/OASIcs.ICCSW.2014.i
• Shane Legg From academia to industry: The story of Google DeepMind 10.4230/OASIcs.ICCSW.2014.1
• Philip Wadler You and Your Research and the Elements of Style 10.4230/OASIcs.ICCSW.2014.2
• Evgenij Belikov History-Based Adaptive Work Distribution 10.4230/OASIcs.ICCSW.2014.3
• Ethel Bardsley Everything you know is wrong: The amazing time traveling CPU, and other horrors of concurrency 10.4230/OASIcs.ICCSW.2014.11
• Andrew Cropper Identifying and inferring objects from textual descriptions of scenes from books 10.4230/OASIcs.ICCSW.2014.19
• Jakub Daniel and Pavel Parízek Predicate Abstraction in Program Verification: Survey and Current Trends 10.4230/OASIcs.ICCSW.2014.27
• Pantazis Deligiannis and Alastair F. Donaldson Automatic Verification of Data Race Freedom in Device Drivers 10.4230/OASIcs.ICCSW.2014.36
• Romain Franceschini, Paul-Antoine Bisgambiglia, Luc Touraille, Paul Bisgambiglia, and David Hill A survey of modelling and simulation software frameworks using Discrete Event System Specification 10.4230/OASIcs.ICCSW.2014.40
• Juliana Franco, Sophia Drossopoulou, and Nobuko Yoshida Calculating communication costs with Sessions Types and Sizes 10.4230/OASIcs.ICCSW.2014.50
• Quoc-Sang Phan Symbolic Execution as DPLL Modulo Theories 10.4230/OASIcs.ICCSW.2014.58
• Jörg Pührer Towards a Programming Paradigm for Artificial Intelligence Applications Based On Simulation 10.4230/OASIcs.ICCSW.2014.66
• Lei Shi Defining and Evaluating Learner Experience for Social Adaptive E-Learning 10.4230/OASIcs.ICCSW.2014.74
• Maciej Skorski On Recent Advances in Key Derivation via the Leftover Hash Lemma 10.4230/OASIcs.ICCSW.2014.83
• Christof Spanring Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games 10.4230/OASIcs.ICCSW.2014.91