Programming Support for Future Parallel Architectures -- Flexible Interpolation for Efficient Model Checking -- Understanding Transparent and Complicated Users as Instances of Preference Learning for Recommender Systems -- Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity -- Fitting Aggregation Operators -- Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs -- Self-adaptive Architecture for Multi-sensor Embedded Vision System -- Exceptional Configurations of Quantum Walks with Grover's Coin -- Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets -- GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses -- Classifier Ensemble by Semi-supervised Learning: Local Aggregation Methodology -- The Challenge of Increasing Safe Response of Antivirus Software Users -- Weak Memory Models as LLVM-to-LLVM Transformations.