INVITED SPEAKERS
  - Maribel Fernandez
    Unification Modulo Equational Theories in Languages with Binding
    Operators
  - Manuel V. Hermenegildo
    On-The-Fly Verification via Incremental, Interactive Abstract
    Interpretation with CiaoPP and VeriFly.
  ACCEPTED PAPERS
  - Gonzague Yernaux and Wim Vanhoof. Predicate Anti-unification in
    (Constraint) Logic Programming
  - Bach Nguyentrong, Kanae Tsushima and Zhenjiang Hu. Design Datalog
    Templates for Synthesizing Bidirectional Programs from Tabular
    Examples
  - John P. Gallagher, Manuel V. Hermenegildo, Jose F. Morales and
    Pedro Lopez-Garcia. Transforming big-step to small-step semantics
    using interpreter specialisation
  - Hector Suzanne and Emmmanuel Chailloux. A reusable machine-calculus
    for automated resource analyses
  - Jordina Francès de Mas and Juliana Bowles. A novel EGs-based
    framework for systematic propositional-formula simplification
  - Daniel Jurjo, Jose F. Morales, Pedro Lopez-Garcia and Manuel
    V. Hermenegildo. A rule-based approach for designing and composing
    abstract domains
  - Marija Kulas. A term matching algorithm and substitution generality
  - Marco Carbone, Sonia Marin and Carsten Schuermann. A Logical
    Interpretation of Asynchronous Multiparty Compatibility
  - Anna Bamberger and Maribel Fernandez. From Static to Dynamic Access
    Control Policies via Attribute-Based Category Mining
  - Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Guy Katz
    and Ekaterina Komendantskaya. Towards a Certified Proof Checker for
    Deep Neural Network Verification
  - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and
    Maurizio Proietti. Constrained Horn Clauses Satisfiability via
    Catamorphic Abstractions
  - Peter Lozov, Dmitry Kosarev, Dmitry Ivanov and Dmitry
    Boulytchev. Relational Solver for Java Generics Type System