PROGRAM

Conference Opening (abstract)

Preserving class invariants in object-oriented programming (abstract)

Towards High-Level Programming for Systems with Many Cores (abstract)

Symbolic String Transformations with Regular Lookahead and Rollback (abstract)

Skeblle: A Tool for Programmable Active Diagrams (abstract)

Modeling Environment for Static Verification of Linux Kernel Modules (abstract)

Polynomial-Time Optimal Pretty-Printing Combinators with Choice (abstract)

The Laws of Concurrent Programming (abstract)

More type inference in Java 8 (abstract)

Towards Symbolic Execution in Erlang (abstract)

Lingva: Generating and Proving Program Properties using Symbol Elimination (abstract)

The study of multidimensional R-Tree -based index scalability in multicore environment (abstract)

Supercompilation for Datatypes (abstract)

Certifying supercompilation for Martin-Löf's type theory (abstract)

Towards Specializing JavaScript Programs (abstract)

Inductive Prover Based on Equality Saturation for a Lazy Functional Language (abstract)

Asymptotic Speedups, Bisimulation and Distillation (abstract)

Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs (abstract)

Model Checking and the Verification of Computer Systems (abstract)

Model Checking Value-Passing Modal Specifications (abstract)

Bonsai: Cutting Models Down to Size (abstract)

A proof-based method for modelling timed systems (abstract)

The role of indirections in lazy natural semantics (abstract)

Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM (abstract)

Probabilistic formal concepts for contexts with negation (abstract)

Languages and types for linked data (abstract)

Process Opacity (abstract)

Comparing Semantics under Strong Timing of Petri Nets (abstract)

Timed History Preserving Bisimulation and Open Maps (abstract)

Verification of Temporal Properties of Hybrid Systems Using dMTL (abstract)

Decidability and Expressiveness of Recursive Weighted Logic (abstract)

Index sets as a measure of continuous constraint complexity (abstract)

On Tractability of Disjoint AND-Decomposition of Boolean Formulas (abstract)

A Multi-agent Text Analysis Based on Ontology of Subject Domain (abstract)

Big Data, Big Systems, Big Challenges (A Personal Experience) (abstract)