Logics for Resources, Processes and Programs
Résumé
The objective of the workshop to provide a forum for discussion between researchers interested in logics of resources (from foundations to related calculi and applications) and researchers interested in languages and methods for specification of mobile, distributed, concurrent systems and their verification, including, but not limited to, the following topics: logics for resources (semantics, proof theory); process calculi, concurrency, resource-distribution; reasoning about programs and systems; extensions of logics, e.g. with modalities; languages of assertions, languages based on resource logics (query languages, pointers, trees, and graphs) and reasoning; theorem proving and model checking in resource logics (decision procedures, strategies, complexity results).