<div dir="ltr"><br>CALL FOR PAPERS<br><br>The 15th International Workshop on Rewriting Logic and its Applications, 2024 (WRLA 2024) <a href="https://urldefense.com/v3/__https://wrla2024.gitlab.io/__;!!IBzWLUs!TTi9IzUtUp-ybsM5QAoCNYk1t9v_sm9AOcG2RBnkmBq79zAVn9HzXfh4e47iNzxbmCUwSdryH5aPgtrVa_mzrDV8l2jQkIjBwU8$">https://wrla2024.gitlab.io/</a>.<br>This is a satellite event of ETAPS 2024 (<a href="https://urldefense.com/v3/__https://etaps.org/__;!!IBzWLUs!TTi9IzUtUp-ybsM5QAoCNYk1t9v_sm9AOcG2RBnkmBq79zAVn9HzXfh4e47iNzxbmCUwSdryH5aPgtrVa_mzrDV8l2jQLaLwxvk$">https://etaps.org/</a>), Luxembourg, April 6-7, 2024.<br><br>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.<br><br>TOPICS OF INTEREST<br><br>The topics of the workshop include, but are not limited to:<br>1. Foundations<br>- foundations and models of rewriting and rewriting logic, including 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>2. Rewriting as a Logical and Semantic Framework<br>- uses of rewriting and rewriting logic as a logical framework, including deduction modulo<br>- uses of rewriting as a semantic framework for programming language semantics<br>- rewriting semantics of concurrency models, distributed systems, and network protocols<br>- rewriting semantics of real-time, hybrid, and probabilistic systems<br>- uses of rewriting for compilation and language transformation<br>3. Rewriting Languages<br>- rewriting-based declarative languages<br>- type systems for rewriting<br>- implementation techniques<br>- tools supporting rewriting languages<br>4. Verification Techniques<br>- verification of confluence, termination, coherence, sufficient completeness, and related properties<br>- temporal, modal, and reachability logics for verifying dynamic properties of rewrite theories<br>- explicit-state and symbolic model checking techniques for verification of rewrite theories<br>- rewriting-based theorem proving, including (co)inductive theorem proving<br>- rewriting-based constraint solving and satisfiability<br>- rewriting-semantics-based verification and analysis of programs<br>5. 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, 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>6. Education<br>- how to design a course in which programming, formal specification, 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>PUBLICATION<br><br>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.<br><br>PAPER SUBMISSIONS<br><br>The program of the workshop will include regular papers, tool papers, education papers, and work-in-progress presentations.<br>Regular papers must contain original contributions, be clearly written, include appropriate references, and comparison with related work.<br>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.<br>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.<br>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.<br><br>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: <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wrla2024__;!!IBzWLUs!TTi9IzUtUp-ybsM5QAoCNYk1t9v_sm9AOcG2RBnkmBq79zAVn9HzXfh4e47iNzxbmCUwSdryH5aPgtrVa_mzrDV8l2jQ_5uerJw$">https://easychair.org/conferences/?conf=wrla2024</a>.<br><br>IMPORTANT DATES<br><br>- Paper submission due: January 15, 2024 (AoE)<br>- Notification: February 26, 2024<br>- Camera-ready for informal pre-proceedings: March 11, 2024 (AoE)<br>- Camera-ready for formal LNCS post-proceedings: TBD<br><br>STEERING COMMITTEE<br><br>- Kokichi Futatsugi, JAIST, Japan<br>- Claude Kirchner, INRIA Research Center Bordeaux - Sud-Ouest, France<br>- Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain<br>- José Meseguer, University of Illinois at Urbana-Champaign, USA<br>- Ugo Montanari, University of Pisa, Italy<br>- Grigore Rosu, University of Illinois at Urbana-Champaign, USA<br>- Carolyn Talcott, SRI International, USA<br>- Martin Wirsing, Ludwig Maximilians Universität München, Germany<br><br>PROGRAM CHAIR<br>  Kazuhiro Ogata, JAIST, Japan<br><br>PROGRAM COMMITTEE<br><br>- Erika Abraham, RWTH Aachen, Germany<br>- Kyungmin Bae, POSTECH, Korea<br>- Roberto Bruni, Università di Pisa, Italy<br>- Can Minh Do, JAIST, Japan<br>- Francisco Durán, Universidad de Málaga, Spain<br>- Santiago Escobar, Universitat Politècnica de València, Spain<br>- Maribel Fernández, King's College London, United Kingdom<br>- Nao Hirokawa, JAIST, Japan<br>- Alexander Knapp, University Augsburg, Germany<br>- Temur Kutsia, Johannes Kepler University Linz, Austria<br>- Alberto Lluch-Lafuente, Technical University of Denmark, Denmark<br>- Dorel Lucanu, Alexandru Ioan Cuza University, Romania<br>- Salvador Lucas, Universitat Politècnica de València, Spain<br>- Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain<br>- José Meseguer, University of Illinois at Urbana-Champaign, USA<br>- Aart Middeldorp, University of Innsbruck, Austria<br>- Masaki Nakamura, Toyama Prefectural University, Japan<br>- Vivek Nigam, Federal University of Paraíba, Brazil<br>- Kazuhiro Ogata, JAIST, Japan, Chair<br>- Peter Ölveczky, University of Oslo, Norway<br>- Adrián Riesco, Universidad Complutense de Madrid, Spain<br>- Christophe Ringeissen, INRIA, France<br>- Camilo Rocha, Pontificia Universidad Javeriana, Colombia<br>- Traian-Florin Serbanuta, University of Bucharest, Romania<br>- Carolyn Talcott, SRI International, USA<br><br>PUBLICITY CHAIR<br>  Duong Dinh Tran, JAIST, Japan<br></div>