ETAPS 2010

WRLA 2010

8th International Workshop on Rewriting Logic and its Applications

Paphos, Cyprus, March 20-21, 2010

(Satellite event of ETAPS 2010)

Home page:, Contact e-mail:


December 18, 2009, at 11.58pm Samoa time Final deadline for submission (see also below)
January 20, 2010 Notification of acceptance
February 10, 2010 Final version in electronic form
March 20-21, 2010 Workshop in Paphos, Cyprus



Rewriting logic (RL) 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 fields. It also has good properties as a metalogical framework for representing logics. In recent years, several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas.

The topics of the workshop comprise, but are not limited to,


Asilomar, California, September 3-6, 1996,
Pont-a-Mousson, France, September 1-4, 1998,
Kanazawa, Japan, September 18-20, 2000,
Pisa, Italy, September 19-21, 2002,
Barcelona, Spain, March 27-28, 2004,
Vienna, Austria, April 1-2, 2006,
Budapest, Hungary, March 29-30, 2008.

The proceedings of the WRLA workshops have been published as volumes 4, 15, 36, 71, 117, and 238 (Issue 3) in the Elsevier ENTCS series, available at

Selected papers from WRLA'96 have been published in a special issue of Theoretical Computer Science, Volume 285(2), 2002, and selected papers from WRLA 2004 appeared in a special issue of Higher-Order and Symbolic Computation, Volume 20(1/2), 2007.


WRLA 2010 will be held in Paphos, in the western part of sunny Cyprus, on March 20-21, 2010. It is a satellite workshop of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2010 web page

Paphos is a UNESCO World Heritage Site with some nice mosaics. A useful link for information about Paphos is


Artur Boronat University of Leicester
Mark van den Brand Technical University of Eindhoven
Roberto Bruni Universita di Pisa
Manuel Clavel IMDEA Software and Universidad Complutense de Madrid
Francisco Duran Universidad de Malaga
Steven Eker SRI International, Menlo Park
Santiago Escobar Universidad Politecnica de Valencia
Kokichi Futatsugi JAIST, Tatsunokuchi
Claude Kirchner INRIA Research Center Bordeaux - Sud-Ouest
Alexander Knapp Universität Augsburg
Dorel Lucanu Alexandru Ioan Cuza University, Iasi
Salvador Lucas Universidad Politecnica de Valencia
Narciso Marti-Oliet Universidad Complutense de Madrid
Ugo Montanari Universita di Pisa
Pierre-Etienne Moreau INRIA Lorraine & LORIA, Nancy and Ecoles des Mines, Nancy
Thomas Noll RWTH Aachen
Peter Ölveczky (chair) University of Oslo
Miguel Palomino Universidad Complutense de Madrid
Grigore Rosu University of Illinois at Urbana-Champaign
Mark-Oliver Stehr SRI International, Menlo Park
Carolyn Talcott SRI International, Menlo Park
Eelco Visser Delft University of Technology


Kokichi Futatsugi JAIST, Tatsunokuchi
Claude Kirchner INRIA Research Center Bordeaux - Sud-Ouest
Narciso Marti-Oliet Universidad Complutense de Madrid
José Meseguer University of Illinois at Urbana-Champaign
Ugo Montanari Universita di Pisa
Grigore Rosu University of Illinois at Urbana-Champaign
Carolyn Talcott SRI International, Menlo Park
Martin Wirsing Ludwig-Maximillian University, Munich


Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will published in Springer's LNCS series.

Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Papers should not exceed 15 pages, should be formatted according to the guidelines for Springer LNCS papers using version 2.14 of Springer's llncs.cls style file (see this link for information for LNCS authors; download and not!), and should be submitted electronically, this year using Easychair:

The final program of the workshop will also include system demonstrations and invited presentations to be determined.

Special Journal Issue: After the workshop, authors of selected papers will be invited to submit extended versions of their papers for in a special issue of The Journal of Logic and Algebraic Programming.


Natarajan Shankar SRI International, Menlo Park
José Meseguer University of Illinois at Urbana-Champaign


Like at WRLA'06 and WRLA'08, there will also be a rewrite engine competition at WRLA'10. If you are a rewrite engine developer, you are welcome to participate. A paper will be published in the proceedings, with all the tool participants as authors, where the problems and the results of the competition will be discussed. More details on the rewrite competition can be found at the following link:

Also, feel free to contact the WRLA'10 rewrite engine competition organizer, Francisco Duran, or the WRLA'10 organizers for questions or further clarifications.


For more information, please contact the organizers

or visit the workshop web page