WRLA: Workshop on Rewriting Logic and Its Applications



Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
WRLA 2022 Workshop on Rewriting Logic and Its Applications
Apr 2, 2022 - Apr 3, 2022 Munich, Germany Jan 16, 2022
WRLA 2018 12th International Workshop on Rewriting Logic and its Applications
Apr 14, 2018 - Apr 15, 2018 Thessaloniki, Greece Jan 15, 2018 (Jan 8, 2018)
WRLA 2016 11th International Workshop on Rewriting Logic and its Applications
Apr 2, 2016 - Apr 3, 2016 Eindhoven, The Netherlands Jan 10, 2016 (Jan 6, 2016)
WRLA 2010 8th International Workshop on Rewriting Logic and its Applications
Mar 20, 2010 - Mar 21, 2010 Paphos, Cyprus Dec 5, 2009

Present CFP : 2022

Call for Papers

WRLA 2022

14th International Workshop on Rewriting Logic and its Applications

An ETAPS 2022 satellite event, Munich, Germany, April 2-3, 2022


Paper submission deadline: Jan 16, 2022 (AoE) (extended!)
Notification: Feb 14, 2022
Conference: April 2-3, 2022


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.

The topics of the workshop include, but are not limited to:

A. Foundations and models of rewriting and rewriting logic
* termination, confluence, coherence, and complexity
* unification, generalization, narrowing, and partial evaluation
* constrained rewriting and symbolic algebra
* graph rewriting, tree automata, and rewriting strategies
* rewriting-based calculi and explicit substitutions

B. Rewriting as a logical and semantic framework
* uses of rewriting as a logical framework, including deduction modulo
* uses of rewriting as a semantic framework for programming languages
* rewriting semantics of concurrency models and distributed systems
* rewriting semantics of real-time, hybrid, and probabilistic systems
* uses of rewriting for compilation and language transformation

C. Rewriting languages
* rewriting-based declarative languages
* type systems for rewriting
* implementation techniques
* tools supporting rewriting languages

D. Verification techniques
* confluence, termination, coherence, and sufficient completeness
* temporal, modal, and reachability logics for rewrite theories
* model checking techniques for rewrite theories
* rewriting-based theorem proving
* rewriting-based constraint solving and satisfiability
* rewriting-semantics-based verification and analysis of programs

E. Applications
* applications in logic, mathematics, physics, chemistry, and biology
* security specification and verification
* applications to distributed, network, mobile, and cloud computing
* applications to cyber-physical and intelligent systems
* applications to model-based software engineering
* applications to engineering and planning.


We solicit submissions of regular papers, tool papers, and work-in-progress
papers. Regular papers must contain original contributions, be clearly
written, and 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. Work-in-progress papers present
early-stage work or other types of innovative or thought-provoking work.

All submissions must be original, unpublished, and not submitted
simultaneously for publication elsewhere. Papers must be formatted
according to the guidelines for Springer LNCS papers and should not exceed
15 pages (excluding references). Paper submission is done via EasyChair at


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.

The authors of a subset of accepted papers will be invited to submit
extended versions of their papers to a special issue of the Journal of
Logical and Algebraic Methods in Programming (JLAMP).


The program committee will consider a best paper award (a diploma and 500
euro) for a paper in which at least one author is a junior researcher (a
PhD student or the PhD defense was less than two years ago). The PC chair
may require the other authors to declare that at least 50% of the
contribution was made by the junior researcher.


Sebastian Mödersheim Technical University of Denmark, Denmark
Gwen Salaün University Grenoble Alpes, France


Erika Abraham RWTH Aachen, Germany
María Alpuente Universitat Politècnica de València, Spain
Kyungmin Bae (chair) POSTECH, Korea
Roberto Bruni Università di Pisa, Italy
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
Mark Hills East Carolina University, USA
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
Vivek Nigam Federal University of Paraíba, Brazil
Kazuhiro Ogata JAIST, Japan
Peter Ölveczky University of Oslo, Norway
Adrián Riesco Universidad Complutense de Madrid, Spain
Christophe Ringeissen INRIA, France
Camilo Rocha Pontificia Universidad Javeriana, Colombia
Vlad Rusu INRIA Lille, France
Traian-Florin Serbanuta University of Bucharest, Romania
Carolyn Talcott SRI International, USA


For more information, please contact the organizer
or visit the workshop web page

Related Resources

ICMLA 2024   23rd International Conference on Machine Learning and Applications
IAAI 2024   Innovative Applications of Artificial Intelligence
COMIT 2024   8th International Conference on Computer Science and Information Technology
BDCAT 2024   IEEE/ACM Int’l Conf. on Big Data Computing, Applications, and Technologies
AASDS 2024   Special Issue on Applications and Analysis of Statistics and Data Science
ICONDATA 2024   6th International Conference on Data Science and Applications
ICAISC 2024   International Conference on Artificial Intelligence and Soft Computing
GCM 2024   15th International Workshop on Graph Computation Models
Vibroengineering Romania 2024   Vibroengineering Conference on The Use of Vibrations in Industrial Applications
Complex Networks 2024   13 th International Conference on Complex Networks & Their Applications