Rewriting logic (RL) 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 metalogical framework for representing logics. In recent years, several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas.

Important Dates

  • Abstract submission deadline: Dec 21, 2021 (AoE)
  • Paper submission deadline: Dec 28, 2021 (AoE)
  • Notification: Feb 8, 2022
  • Conference: April 2-3, 2022