[Event at CIG] [fm-announcements] CFP: 16th International Workshop on Rewriting Logic and its Applications (WRLA 2026)

[Munoz, Cesar A. (LARC-D320) via fm-announcements]

16th International Workshop on Rewriting Logic and its Applications (WRLA 2026)
Satellite event of ETAPS 2026
Torino, Italy – April 11–12, 2026
https://wrla2026.github.io<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>

================================================================
First Call for Papers
================================================================

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.

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: must 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. Tools may be made available online.
- Education papers: may describe how to design a course in which
  formal methods are taught with Maude, Elan, CafeOBJ, etc. The
  workshop is a venue to share ideas and tips on teaching these tools.
- Work-in-progress papers: present early-stage or thought-provoking
  work. The difference from regular papers is that these submissions
  represent work not yet complete for full refereed selection.

Submission format:
- LNCS style (Springer Computer Science Proceedings)
- Page limits: 16 pages (regular), 10 pages (tool and education), 8
  pages (work-in-progress), excluding bibliography
- Submission site: https://easychair.org/conferences/?conf=wrla2026<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>

Important Dates
---------------
- Paper submission due: January 16, 2026 (AoE)
- Notification: February 27, 2026
- Camera-ready for informal pre-proceedings: March 13, 2026 (AoE)

Publication
-----------
All accepted papers will be presented at the workshop and included in
the pre-proceedings. Following the tradition of previous editions,
regular, tool, and invited papers will be published as a volume in
Springer's Lecture Notes in Computer Science (LNCS) series after the
workshop.

Special Journal Issue
---------------------
In addition to the informal proceedings and the official LNCS
post-proceedings, a selection of papers will be invited to submit
extended versions for consideration in a special journal issue. These
extended submissions will undergo full peer review in accordance with
the journal's standards.

===================================================================
We look forward to your submissions and participation in WRLA 2026!
===================================================================

-------------- next part --------------
---
To opt-out from this mailing list, send an email to 

fm-announcements-request at lists.nasa.gov 

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting 

fm-announcements-owner at lists.nasa.gov