WRLA 2024

The 15th International Workshop on Rewriting Logic and its Applications

Luxembourg city. Photo by Manu on Unsplash

The 15th International Workshop on Rewriting Logic and its Applications

A satellite event of ETAPS 2024, Luxembourg, April 6-7, 2024.

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.

Accepted papers (except for work-in-progress and presentation only one) will be published in Springer's Lecture Notes in Computer Science (LNCS). See Call For Papers for the invitation to submit papers.


Important dates

  • Paper submission due: January 15  January 29  February 12, 2024 (AoE)
  • Notification: February 26  March 11, 2024
  • Camera-ready: March 11, 2024 (AoE)
  • Camera-ready for informal pre-proceedings: March 11  March 22, 2024 (AoE)
  • Camera-ready for formal LNCS post-proceedings: May 19, 2024 (AoE)

News

  • Best paper/presentation award for young researcher:
    1. Canh Minh Do
    2. Geunyeol Yu
  • 2024/03/30: Pre-Proceeding are available.
  • 2024/03/21: Workshop program is available.
  • 2024/03/08: Notification is extended to March 11.
  • 2024/01/24: Submission deadline is extended to February 12.
  • 2024/01/12: Submission deadline is extended to January 29.
  • 2023/10/02: Dates are decided.
  • 2023/07/06: Website is created.