Topics of Interest
The topics of the workshop include, but are not limited to:
- Foundations
- foundations and models of rewriting and rewriting logic, including termination, confluence, coherence, and complexity
- unification, generalization, narrowing, and partial evaluation
- constrained rewriting and symbolic algebra
- graph rewriting
- tree automata
- rewriting strategies
- rewriting-based calculi and explicit substitutions
- Rewriting as a Logical and Semantic Framework
- uses of rewriting and rewriting logic as a logical framework, including deduction modulo
- uses of rewriting as a semantic framework for programming language semantics
- rewriting semantics of concurrency models, distributed systems, and network protocols
- rewriting semantics of real-time, hybrid, and probabilistic systems
- uses of rewriting for compilation and language transformation
- Rewriting Languages
- rewriting-based declarative languages
- type systems for rewriting
- implementation techniques
- tools supporting rewriting languages
- Verification Techniques
- verification of confluence, termination, coherence, sufficient completeness, and related properties
- temporal, modal, and reachability logics for verifying dynamic properties of rewrite theories
- explicit-state and symbolic model checking techniques for verification of rewrite theories
- rewriting-based theorem proving, including (co)inductive theorem proving
- rewriting-based constraint solving and satisfiability
- rewriting-semantics-based verification and analysis of programs
- Applications
- applications in logic, mathematics, physics, and biology
- rewriting models of biology, chemistry, and membrane systems
- security specification and verification
- applications to distributed, network, mobile, and cloud computing
- specification and verification of real-time, hybrid, probabilistic, and cyber-physical systems
- specification and verification of critical systems
- applications to model-based software engineering
- applications to engineering and planning.
- Education
- how to design a course in which programming, formal specification, formal verification, etc. with Maude, Elan, CafeOBJ, etc. are taught
- examples used in such courses
- how to attract students for such courses
- any issues related to such courses
Paper Submission
The program of the workshop will include regular papers, tool papers, education papers, and work-in-progress presentations.
- Regular papers must contain original contributions, be clearly written, include appropriate references, and comparison with related work.
- Tool papers have to present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, emphasize the design and implementation, and give a clear account of the tool's functionality. The described tools may be made available online.
- Education papers could contain how to design a course in which formal methods are taught with the help of, e.g., Maude, Elan, and CafeOBJ, and what examples are used in such courses. The workshop is also a great space to share ideas and tips on teaching Maude, Elan, and CafeOBJ, and other rewriting logic related tools.
- Work-in-progress papers present early-stage work or other types of innovative or thought-provoking work related to the topics of the workshop. The difference between work-in-progress and regular papers is that work-in-progress submissions represent work that has not reached yet a level of completion for a full refereed selection process.
All submissions should be formatted according to the guidelines for Springer LNCS papers, and should not exceed 16 pages (for regular papers), 10 pages (for tool and education papers), and 8 pages (for work-in-progress presentations) excluding bibliography. Please carefully read Information for Authors of Springer Computer Science Proceedings when preparing your papers. Submissions must be uploaded to the following EasyChair website: https://easychair.org/conferences/?conf=wrla2026.
- Paper submission due: January 16, 2026 (AoE)
- Notification: February 27, 2026
- Camera-ready for informal pre-proceseedings: March 13, 2026 (AoE)
Publication
All accepted papers will be presented at the workshop and included in the pre-proceedings, which will be available during the workshop. Following the tradition of the last editions, regular, tool, and invited papers will be published as a volume in Springer's Lecture Notes in Computer Science (LNCS) series to be distributed after the workshop.
Special Journal Issue
In addition to the informal proceedings and the official post-proceedings to be published as a volume in the Lecture Notes in Computer Science (LNCS) series, it is likely that a selection of papers will be invited to submit extended versions for consideration in a special journal issue. These extended submissions will undergo a full peer-review process in accordance with the journal's standards.