This has led to a fruitful search for restrictions of SLs which guarantee tractabilty. At the same time, this progress hints at possible generalisations, which would benefit the field significantly through SMT-like standardisation of tools and theories.
This workshop aims at bringing together academic researchers and industrial practitioners focused on improving the state of the art of automated deduction methods for SLs. We will consider technical submissions on topics which include :
- the integration of SLs with SMT,
- decision procedures,
- computational complexity of problems such as satisfiability, entailment and abduction,
- alternative semantics and computation models based on the notion of resource,
- application of separation and resource logics to different fields, such as sociology and biology.