A Calculus for Concurrent and Sequential Programming (abstract)

On fixpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics (abstract)

A General Framework for Static Cost Analysis of Parallel Logic Programs (abstract)

Incremental Analysis of Logic Programs with Assertions and Open Predicates (abstract)

Computing Abstract Distances in Logic Programs (abstract)

10 Years of the Higher-Order Model Checking Project (abstract)

Synthesizing Imperative Code from Answer Set Programming Specifications (abstract)

Logic-Based Synthesis of Fair Voting Rules Using Composable Modules (abstract)

Solving Proximity Constraints (abstract)

A Certified Functional Nominal C-Unification Algorithm (abstract)

Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming (abstract)

Blockchain Superoptimizer (abstract)

Reversibilization in Functional and Concurrent Programming (abstract)

An Integrated Approach to Assertion-Based Random Testing in Prolog (abstract)

Trace analysis using an Event-driven Interval Temporal Logic (abstract)

The Prolog debugger and declarative programming (abstract)

An Optional Static Type System for Prolog (abstract)

Horn clauses and tree automata for imperative program verification (abstract)

A Port Graph Rewriting Approach to Relational Database Modelling (abstract)

Generalization-driven semantic clone detection in CLP (Extended Abstract) (abstract)

Semi-Inversion of Conditional Constructor Term Rewriting Systems (abstract)

Natural language compositionality in Coq (abstract)