Rewriting 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 domains. It also has good properties as a metalogical framework for representing logics. Several successful languages based on rewriting (ASF+SDF, CafeOBJ, ELAN,Maude) have been designed and implemented. The aim of WRLA is to bring together researchers with a common interest in rewriting and its applications, and to give them the opportunity to present their recent work, discuss future research directions, and exchange ideas.

The 13th International Workshop on Rewriting Logic and its Applications continues the successful workshops held in Asilomar (USA) (1996), Pont-a-Mousson (France) (1998), Kanazawa (Japan) (2000), Pisa (Italy) (2002), Barcelona (Spain) (2004), Vienna (Austria) (2006), Budapest (Hungary) (2008), Paphos (Cyprus) (2010), Tallinn (Estonia) (2012), Grenoble (France) (2014), Eindhoven (The Netherlands) (2016), and Thessaloniki (Greece) (2018).

Important dates

    Submission deadline: TBA
    Notification:  TBA
    Final version due:  TBA
    Workshop: TBA

Program Committee