WRLA 2016 - 2016 11th International Workshop on Rewriting Logic

Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields. It also has good properties as a meta-logical framework for representing logics. In recent years, several languages based on RWL (ASF+SDF, CafeOBJ, ELAN, K, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in rewriting logic and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas.
Organizer: Dorel Lucanu