WRLA 2018 - 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018)

Rewriting logic (RWL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. RWL 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 various logics. Moreover, RWL has influenced, in various degrees, the design of several languages and associated toolsets (Maude, Elan, ASF+SDF, CafeOBJ, K). The aim of the workshop is to bring together researchers with a common interest in RWL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas.
Organiser: Vlad Rusu