[TYPES/announce] The 15th International Workshop on Rewriting Logic and its Applications: Call for Papers

[Tran Dinh Duong]

CALL FOR PAPERS

The 15th International Workshop on Rewriting Logic and its Applications,
2024 (WRLA 2024) https://urldefense.com/v3/__https://wrla2024.gitlab.io/__;!!IBzWLUs!TTi9IzUtUp-ybsM5QAoCNYk1t9v_sm9AOcG2RBnkmBq79zAVn9HzXfh4e47iNzxbmCUwSdryH5aPgtrVa_mzrDV8l2jQkIjBwU8$ .
This is a satellite event of ETAPS 2024 (https://urldefense.com/v3/__https://etaps.org/__;!!IBzWLUs!TTi9IzUtUp-ybsM5QAoCNYk1t9v_sm9AOcG2RBnkmBq79zAVn9HzXfh4e47iNzxbmCUwSdryH5aPgtrVa_mzrDV8l2jQLaLwxvk$ ), 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.

TOPICS OF INTEREST

The topics of the workshop include, but are not limited to:
1. 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
2. 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
3. Rewriting Languages
- rewriting-based declarative languages
- type systems for rewriting
- implementation techniques
- tools supporting rewriting languages
4. 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
5. 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.
6. 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

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.

PAPER SUBMISSIONS

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 via the web.
Education papers could contain how to design a course in which formal
methods, etc. are taught with Maude, Elan, CafeOBJ, etc., what examples are
used in education courses, etc.
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 that would warrant the 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. Submissions must be uploaded to the
following EasyChair website:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wrla2024__;!!IBzWLUs!TTi9IzUtUp-ybsM5QAoCNYk1t9v_sm9AOcG2RBnkmBq79zAVn9HzXfh4e47iNzxbmCUwSdryH5aPgtrVa_mzrDV8l2jQ_5uerJw$ .

IMPORTANT DATES

- Paper submission due: January 15, 2024 (AoE)
- Notification: February 26, 2024
- Camera-ready for informal pre-proceedings: March 11, 2024 (AoE)
- Camera-ready for formal LNCS post-proceedings: TBD

STEERING COMMITTEE

- Kokichi Futatsugi, JAIST, Japan
- Claude Kirchner, INRIA Research Center Bordeaux - Sud-Ouest, France
- Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain
- José Meseguer, University of Illinois at Urbana-Champaign, USA
- Ugo Montanari, University of Pisa, Italy
- Grigore Rosu, University of Illinois at Urbana-Champaign, USA
- Carolyn Talcott, SRI International, USA
- Martin Wirsing, Ludwig Maximilians Universität München, Germany

PROGRAM CHAIR
  Kazuhiro Ogata, JAIST, Japan

PROGRAM COMMITTEE

- Erika Abraham, RWTH Aachen, Germany
- Kyungmin Bae, POSTECH, Korea
- Roberto Bruni, Università di Pisa, Italy
- Can Minh Do, JAIST, Japan
- Francisco Durán, Universidad de Málaga, Spain
- Santiago Escobar, Universitat Politècnica de València, Spain
- Maribel Fernández, King's College London, United Kingdom
- Nao Hirokawa, JAIST, Japan
- Alexander Knapp, University Augsburg, Germany
- Temur Kutsia, Johannes Kepler University Linz, Austria
- Alberto Lluch-Lafuente, Technical University of Denmark, Denmark
- Dorel Lucanu, Alexandru Ioan Cuza University, Romania
- Salvador Lucas, Universitat Politècnica de València, Spain
- Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain
- José Meseguer, University of Illinois at Urbana-Champaign, USA
- Aart Middeldorp, University of Innsbruck, Austria
- Masaki Nakamura, Toyama Prefectural University, Japan
- Vivek Nigam, Federal University of Paraíba, Brazil
- Kazuhiro Ogata, JAIST, Japan, Chair
- Peter Ölveczky, University of Oslo, Norway
- Adrián Riesco, Universidad Complutense de Madrid, Spain
- Christophe Ringeissen, INRIA, France
- Camilo Rocha, Pontificia Universidad Javeriana, Colombia
- Traian-Florin Serbanuta, University of Bucharest, Romania
- Carolyn Talcott, SRI International, USA

PUBLICITY CHAIR
  Duong Dinh Tran, JAIST, Japan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231214/2fc2cf74/attachment.htm>