<div dir="ltr">---------------------------------------------------------------------------<br>                              Call for Papers<br><br>                                 WRLA 2022<br><br>    14th International Workshop on Rewriting Logic and its Applications   <br><br>      An ETAPS 2022 satellite event, Munich, Germany, April 2-3, 2022     <br>---------------------------------------------------------------------------<br><br><br>IMPORTANT DATES<br><br>Paper submission deadline:      Jan 16, 2022 (AoE)    (extended!)<br>Notification:                   Feb 14, 2022<br>Conference:                     April 2-3, 2022<br><br><br>AIMS AND SCOPE<br><br>Rewriting is a natural model of computation and an expressive semantic<br>framework for concurrency, parallelism, communication, and interaction. It<br>can be used for specifying a wide range of systems and languages in various<br>application domains. It also has good properties as a metalogical framework<br>for representing logics. Several successful languages based on rewriting<br>(ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim<br>of WRLA is to bring together researchers with a common interest in<br>rewriting and its applications, and to give them the opportunity to present<br>their recent work, discuss future research directions, and exchange ideas.<br><br>The topics of the workshop include, but are not limited to:<br><br>A. Foundations and models of rewriting and rewriting logic<br>  * termination, confluence, coherence, and complexity<br>  * unification, generalization, narrowing, and partial evaluation<br>  * constrained rewriting and symbolic algebra<br>  * graph rewriting, tree automata, and rewriting strategies<br>  * rewriting-based calculi and explicit substitutions<br><br>B. Rewriting as a logical and semantic framework<br>  * uses of rewriting as a logical framework, including deduction modulo<br>  * uses of rewriting as a semantic framework for programming languages<br>  * rewriting semantics of concurrency models and distributed systems<br>  * rewriting semantics of real-time, hybrid, and probabilistic systems<br>  * uses of rewriting for compilation and language transformation<br><br>C. Rewriting languages<br>  * rewriting-based declarative languages<br>  * type systems for rewriting<br>  * implementation techniques<br>  * tools supporting rewriting languages<br><br>D. Verification techniques<br>  * confluence, termination, coherence, and sufficient completeness <br>  * temporal, modal, and reachability logics for rewrite theories<br>  * model checking techniques for rewrite theories<br>  * rewriting-based theorem proving <br>  * rewriting-based constraint solving and satisfiability<br>  * rewriting-semantics-based verification and analysis of programs<br><br>E. Applications<br>  * applications in logic, mathematics, physics, chemistry, and biology<br>  * security specification and verification<br>  * applications to distributed, network, mobile, and cloud computing<br>  * applications to cyber-physical and intelligent systems<br>  * applications to model-based software engineering<br>  * applications to engineering and planning.<br><br><br>PAPER SUBMISSION<br><br>We solicit submissions of regular papers, tool papers, and work-in-progress<br>papers. Regular papers must contain original contributions, be clearly<br>written, and include appropriate references and comparison with related<br>work. Tool papers have to present a new tool, a new tool component, or<br>novel extensions to an existing tool. Work-in-progress papers present<br>early-stage work or other types of innovative or thought-provoking work.<br><br>All submissions must be original, unpublished, and not submitted<br>simultaneously for publication elsewhere. Papers must be formatted<br>according to the guidelines for Springer LNCS papers and should not exceed<br>15 pages (excluding references). Paper submission is done via EasyChair at<br><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wrla2022__;!!IBzWLUs!B5i9wZub9oGbF3kj-rMDZ9qIjgDk7c0xfwG7-5RsYVj-qb4WKsrrPlu3J0w0bUt-40OYcfwdGsRspg$">https://easychair.org/conferences/?conf=wrla2022</a>. <br><br><br>PUBLICATION<br><br>All accepted papers will be presented at the workshop and included in the<br>pre-proceedings, which will be available during the workshop. Following the<br>tradition of the last editions, regular, tool, and invited papers will be<br>published as a volume in Springer's Lecture Notes in Computer Science<br>(LNCS) series to be distributed after the workshop.<br><br>The authors of a subset of accepted papers will be invited to submit<br>extended versions of their papers to a special issue of the Journal of<br>Logical and Algebraic Methods in Programming (JLAMP).<br><br><br>BEST PAPER AWARD<br><br>The program committee will consider a best paper award (a diploma and 500<br>euro) for a paper in which at least one author is a junior researcher (a<br>PhD student or the PhD defense was less than two years ago). The PC chair<br>may require the other authors to declare that at least 50% of the<br>contribution was made by the junior researcher.<br><br><br>INVITED SPEAKERS<br><br>Sebastian Mödersheim      Technical University of Denmark, Denmark<br>Gwen Salaün               University Grenoble Alpes, France<br><br><br>PROGRAM COMMITTEE<br><br>Erika Abraham             RWTH Aachen University, Germany<br>María Alpuente            Universitat Politècnica de València, Spain<br>Kyungmin Bae (chair)      POSTECH, Korea<br>Roberto Bruni             Università di Pisa, Italy<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>Mark Hills                East Carolina University, USA<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>Vivek Nigam               Federal University of Paraíba, Brazil<br>Kazuhiro Ogata            JAIST, Japan<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>Vlad Rusu                 INRIA Lille, France<br>Traian-Florin Serbanuta   University of Bucharest, Romania<br>Carolyn Talcott           SRI International, USA<br><br><br>CONTACT INFORMATION<br><br>For more information, please contact the organizer<br>  <a href="mailto:kmbae@postech.ac.kr">kmbae@postech.ac.kr</a><br>or visit the workshop web page<br>  <a href="https://urldefense.com/v3/__http://sv.postech.ac.kr/wrla2022__;!!IBzWLUs!B5i9wZub9oGbF3kj-rMDZ9qIjgDk7c0xfwG7-5RsYVj-qb4WKsrrPlu3J0w0bUt-40OYcfzQQLdRvg$">http://sv.postech.ac.kr/wrla2022</a><br></div>