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:
- Submission: October 1, 2018
- Reviews: November 1, 2018
- 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.