14th International Workshop on Rewriting Logic and its Applications
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
- Paper submission deadline: Jan 16, 2022 (AoE)
Jan 11, 2022 - Notification: Feb 14, 2022
- Workshop: April 2-3, 2022
News 
-
Apr 17, 2022:
The best paper award has been announced.
-
Mar 17, 2022:
The pre-proceedings are available.
-
Feb 24, 2022:
Program is now available.
-
Feb 15, 2022:
The list of accepted papers is now available.
-
Jan 06, 2022:
Deadline extension: new paper submission deadline: Jan 16, 2022
-
Nov 29, 2021:
Sebastian Mödersheim (Technical University of Denmark, Denmark) and Gwen Salaün (University Grenoble Alpes, France) will be the invited speakers at WRLA 2022.