<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</head>
<body>
<div dir="ltr" style="text-align: left; text-indent: 0px; font-family: Aptos; font-size: 16px;">
<span style="color: rgb(33, 33, 33);">16th International Workshop on Rewriting Logic and its Applications (WRLA 2026)<br>
Satellite event of ETAPS 2026<br>
Torino, Italy – April 11–12, 2026<br>
</span><span style="color: rgb(0, 120, 212);"><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwrla2026.github.io%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C4b53ebdd2c2a4d73db0e08ddfadf171c%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638942558244357363%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=XDhG%2BUrxyePtyokhwFg9W0PvVKfNEx%2FD9ImUpD9%2FFog%3D&reserved=0" originalsrc="https://wrla2026.github.io/" target="_blank" title="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwrla2026.github.io%2F&data=05%7C02%7Ccesar.a.munoz%40nasa.gov%7C11e160eb947f495c1cfb08ddfad85143%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638942529756058382%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=HoypHEhKf3gAWlwcNjr7Xifsh0EFjg09KUn%2F5F1E47I%3D&reserved=0" originalsrc="https://wrla2026.github.io/" data-outlook-id="7d4f98e1-a3bc-4ead-9db4-fbdaf9733ccd" style="color: rgb(0, 120, 212);">https://wrla2026.github.io</a></span><span style="color: rgb(33, 33, 33);"><br>
<br>
================================================================<br>
First Call for Papers<br>
================================================================<br>
<br>
Rewriting is a natural model of computation and an expressive semantic<br>
framework for concurrency, parallelism, communication, and<br>
interaction. It can be used for specifying a wide range of systems and<br>
languages in various application domains. It also has good properties<br>
as a metalogical framework for representing logics. Several successful<br>
languages based on rewriting (ASF+SDF, CafeOBJ, ELAN, Maude) have been<br>
designed and implemented.<br>
<br>
The aim of WRLA is to bring together researchers with a common<br>
interest in rewriting and its applications, and to give them the<br>
opportunity to present their recent work, discuss future research<br>
directions, and exchange ideas.<br>
<br>
Topics of Interest<br>
------------------<br>
The topics of the workshop include, but are not limited to:<br>
<br>
Foundations<br>
- Foundations and models of rewriting and rewriting logic, including<br>
termination, confluence, coherence, and complexity<br>
- Unification, generalization, narrowing, and partial evaluation<br>
- Constrained rewriting and symbolic algebra<br>
- Graph rewriting<br>
- Tree automata<br>
- Rewriting strategies<br>
- Rewriting-based calculi and explicit substitutions<br>
<br>
Rewriting as a Logical and Semantic Framework<br>
- Uses of rewriting and rewriting logic as a logical framework,<br>
including deduction modulo<br>
- Uses of rewriting as a semantic framework for programming language<br>
semantics<br>
- Rewriting semantics of concurrency models, distributed systems, and<br>
network protocols<br>
- Rewriting semantics of real-time, hybrid, and probabilistic systems<br>
- Uses of rewriting for compilation and language transformation<br>
<br>
Rewriting Languages<br>
- Rewriting-based declarative languages<br>
- Type systems for rewriting<br>
- Implementation techniques<br>
- Tools supporting rewriting languages<br>
<br>
Verification Techniques<br>
- Verification of confluence, termination, coherence, sufficient<br>
completeness, and related properties<br>
- Temporal, modal, and reachability logics for verifying dynamic<br>
properties of rewrite theories<br>
- Explicit-state and symbolic model checking techniques for<br>
verification of rewrite theories<br>
- Rewriting-based theorem proving, including (co)inductive theorem<br>
proving<br>
- Rewriting-based constraint solving and satisfiability<br>
- Rewriting-semantics-based verification and analysis of programs<br>
<br>
Applications<br>
- Applications in logic, mathematics, physics, and biology<br>
- Rewriting models of biology, chemistry, and membrane systems<br>
- Security specification and verification<br>
- Applications to distributed, network, mobile, and cloud computing<br>
- Specification and verification of real-time, hybrid, probabilistic,<br>
and cyber-physical systems<br>
- Specification and verification of critical systems<br>
- Applications to model-based software engineering<br>
- Applications to engineering and planning<br>
<br>
Education<br>
- How to design a course in which programming, formal specification,<br>
formal verification, etc. with Maude, Elan, CafeOBJ, etc. are taught<br>
- Examples used in such courses<br>
- How to attract students for such courses<br>
- Any issues related to such courses<br>
<br>
Paper Submission<br>
----------------<br>
The program of the workshop will include regular papers, tool papers,<br>
education papers, and work-in-progress presentations.<br>
<br>
- Regular papers: must contain original contributions, be clearly<br>
written, include appropriate references, and comparison with related<br>
work.<br>
- Tool papers: must present a new tool, a new tool component, or novel<br>
extensions to an existing tool. They should provide a short<br>
description of the theoretical foundations with relevant citations,<br>
emphasize the design and implementation, and give a clear account of<br>
the tool's functionality. Tools may be made available online.<br>
- Education papers: may describe how to design a course in which<br>
formal methods are taught with Maude, Elan, CafeOBJ, etc. The<br>
workshop is a venue to share ideas and tips on teaching these tools.<br>
- Work-in-progress papers: present early-stage or thought-provoking<br>
work. The difference from regular papers is that these submissions<br>
represent work not yet complete for full refereed selection.<br>
<br>
Submission format:<br>
- LNCS style (Springer Computer Science Proceedings)<br>
- Page limits: 16 pages (regular), 10 pages (tool and education), 8<br>
pages (work-in-progress), excluding bibliography<br>
- Submission site: </span><span style="color: rgb(0, 120, 212);"><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dwrla2026&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C4b53ebdd2c2a4d73db0e08ddfadf171c%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638942558244375575%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=oWeHuRgH3honxqAJxE7Wkq%2F3mcPTQwbAQgLGkQZ9Fb4%3D&reserved=0" originalsrc="https://easychair.org/conferences/?conf=wrla2026" target="_blank" title="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dwrla2026&data=05%7C02%7Ccesar.a.munoz%40nasa.gov%7C11e160eb947f495c1cfb08ddfad85143%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638942529756094879%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=38UXI%2B1P2WkGOb7MAJ7OKKsRuO0VdvTcsdO2IO%2FFJGo%3D&reserved=0" originalsrc="https://easychair.org/conferences/?conf=wrla2026" data-outlook-id="75025d1c-7297-46d4-ab51-1d52d6a65ff7" style="color: rgb(0, 120, 212);">https://easychair.org/conferences/?conf=wrla2026</a></span><span style="color: rgb(33, 33, 33);"><br>
<br>
Important Dates<br>
---------------<br>
- Paper submission due: January 16, 2026 (AoE)<br>
- Notification: February 27, 2026<br>
- Camera-ready for informal pre-proceedings: March 13, 2026 (AoE)<br>
<br>
Publication<br>
-----------<br>
All accepted papers will be presented at the workshop and included in<br>
the pre-proceedings. Following the tradition of previous editions,<br>
regular, tool, and invited papers will be published as a volume in<br>
Springer's Lecture Notes in Computer Science (LNCS) series after the<br>
workshop.<br>
<br>
Special Journal Issue<br>
---------------------<br>
In addition to the informal proceedings and the official LNCS<br>
post-proceedings, a selection of papers will be invited to submit<br>
extended versions for consideration in a special journal issue. These<br>
extended submissions will undergo full peer review in accordance with<br>
the journal's standards.<br>
<br>
===================================================================<br>
We look forward to your submissions and participation in WRLA 2026!<br>
===================================================================</span></div>
<div dir="ltr" style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="ms-outlook-mobile-signature" dir="ltr"></div>
</body>
</html>