1 Table of Contents: “... Mathematics -- Motivating Study of Formal Methods in the Classroom -- Formal Systems, Not Methods -- A...”

2 Table of Contents: “... Problem -- Teaching Computational Science -- Modeling and Automatic Code Generation Tool for Teaching...”

3 Table of Contents: “... with uncertain parameters -- Teaching Computational Science -- Biophysical Modeling of Excitable Cells - a new...”

4 Table of Contents: “... -- Generating Random Floating-Point Numbers by Dividing Integers: a Case Study -- An effective stable numerical...”

5 Table of Contents: “... Media -- Track of Computational Science in IoT and Smart Systems --...”

6 Table of Contents: “... Hardware Affinity in JVM-based Applications: A Case Study for Big Data -- An optimizing multi-platform...”

7 Table of Contents: “... You Know: A Study of AbbrevSquatting Abuse -- Large Scale Retrieval of Social Network Pages...”

8 Table of Contents: “...Mapping the port influence diffusion patterns: a case study of Rotterdam, Antwerp and Singapore...”

9 Table of Contents: “... Simulation of Tilt-Rotor Plane -- A Macroscopic Study on Dedicated Highway Lanes for Autonomous Vehicles...”

10 Table of Contents: “... estuaries -- Early Warning Systems for Shellfish Safety - The Pivotal Role of Computational Science -- Track...”

11 Subjects: “...Computer science...”

12 Table of Contents: “... activities -- Rechnereinsatz in Schule und Lehrerausbildung -- A study of children's programming...”

13 Table of Contents: “... and Experimental Study -- Transshipment Through Crossdocks with Inventory and Time Windows -- Graph Algorithms...”

14 Table of Contents: “...Introduction -- Programming and Proving -- Case Study: IMP Expressions -- Logic and Proof Beyond...”

15 Table of Contents: “...Equational logic as a tool -- Teaching mathematics to software engineers -- The role of education...”

16 Table of Contents: “... Analysis of Graph Transformation Systems: A Case Study in P2P Networks -- Component-Based Software...”

17 Table of Contents: “... -- A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus -- A Case Study...”

18 Table of Contents: “...The Optimal Fixed Point Combinator -- Formal Study of Plane Delaunay Triangulation -- Reasoning...”

19 Table of Contents: “...An Empirical Study on Blended Learning in the Introduction to Educational Technology Course...”

20 Table of Contents: “... Scheduling Problem -- Teaching-Learning-Based Optimization Algorithm in Dynamic Environments -- A Novel Ant...”