Notification

Each paper has to be presented by at least one author. While preparing the presentation, please try to be as pedagogical as possible so that the audience can understand as much content as possible.

Papers accepted for presentation and for Springer post-proceedings

(by alphabetical order)

• An Assertion language for slicing Constraint Logic Languages
• Compiling Control as Offline Conjunctive Partial Deduction
• Confluence of CHR revisited: invariants and modulo equivalence
• Eliminating Unstable Tests in Floating-Point Programs
• Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms
• Predicate Specialization for Definitional Higher-order Logic Programs
• Proving Program Properties as First-Order Satisfiability

Please take the reviews into account while preparing camera-ready for pre/post-proceedings. Deadline: August 15, 2018.

Papers accepted for presentation only

(by alphabetical order)

• Formalisation of a frame stack semantics for a Java-like language
• Guided Unfoldings for Finding Loops in Standard Term Rewriting
• Multiparty Classical Choreographies
• Multivariant Assertion-based Guidance in Abstract Interpretation
• Correct-by-construction Process Composition Using Classical Linear Logic Inference

Please take the reviews into account while preparing camera-ready for electronic pre-proceedings. Deadline: August 15, 2018.

Important dates for authors of accepted for presentation only papers who wish to publish to Springer post-proceedings:

1. Submission: October 1, 2018
2. Reviews: November 1, 2018
3. Camera Ready: December 1, 2018

Please note that we plan a final complete reviewing process expecting high-quality updated papers.

Registration

Early registration ends on Wednesday, 15 August 2018.