8th International Workshop on Rewriting Logic and its Applications
Paphos, Cyprus, March 20-21, 2010
(Satellite event of ETAPS 2010)
Home page: http://wrla10.ifi.uio.no, Contact e-mail: peterol@ifi.uio.no
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
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
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 llncs2e.zip and not llncs.zip!), 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 |
For more information, please contact the organizers