WRLA 2004 - Last call for papers (EXTENDED DEADLINE)

alberto at sip.ucm.es alberto at sip.ucm.es
Wed Nov 19 11:00:41 EST 2003

[[ -- Apologies for multiple copies of this message  -- ]]

+ + + + + WRLA'04 + + + + + LAST CALL FOR PAPERS + + + + + WRLA'04 + + + + +
                             EXTENDED  DEADLINE

      |                                                          |
      |              5th International Workshop on               |
      |           Rewriting Logic and its Applications           |
      |                                                          |
      |                      W R L A  2004                       |
      |                                                          |
      |            Barcelona, Spain, March 27-28, 2004           |
      |                                                          |
      |              http://www.fdi.ucm.es/wrla2004              |                                                                    

The workshop will be held in conjunction with

         ETAPS 2004 
         7th European Joint Conferences on Theory and Practice of Software
         March 27 - April 4, 2004


December 1, 2003     Deadline for submission (EXTENDED!)
January 15, 2004     Notification of acceptance
February 18, 2004    Final version in electronic form
March 27-28, 2004    Workshop in Barcelona

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,

* foundations and models of RL;
* languages based on RL, including implementation issues;
* RL as a logical framework;
* RL as a semantic framework, including applications of RL to
   - object-oriented systems,
   - concurrent and/or parallel systems,
   - interactive, distributed, open ended and mobile systems,
   - specification of languages and systems;
* extensions of RL, including
   - real-time and probabilistic extensions,
   - tile logic,
   - rewriting approaches to behavioral specifications;
* verification techniques for RL specifications, including 
   - equational and coherence methods, and 
   - verification of properties expressed in modal and temporal logics;
* comparisons of RL with existing formalisms having analogous aims,
   - rho-calculus,
   - structural operational semantics, 
   - concurrency calculi,
   - dynamic algebras.


Previous WRLA workshops have been organized in

  - 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.                           

The proceedings of the WRLA workshops have been published as 
volumes 4, 15, 36, and 71 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.


WRLA 2004 will be held in Barcelona, Spain in March 27-28, 2004. It is 
a satellite  workshop of ETAPS 2004, the European Joint Conferences on 
Theory and Practice of Software. For venue, registration and suggested 
accommodation see the ETAPS 2004 web page 

For information about Barcelona, see among others the city web page


  David Basin              ETH Zurich
  Manuel Clavel            Universidad Complutense de Madrid
  Steven Eker              SRI International, Menlo Park
  Kokichi Futatsugi        JAIST, Tatsunokuchi
  Fabio Gadducci           Universita di Pisa
  Alexander Knapp          LMU, Muenchen
  Claude Kirchner          INRIA Lorraine & LORIA, Nancy
  Salvador Lucas           Universidad Politecnica de Valencia
  Narciso Marti-Oliet      Universidad Complutense de Madrid (Chair)
  Jose Meseguer            University of Illinois at Urbana-Champaign
  Ugo Montanari            Universita di Pisa
  Pierre-Etienne Moreau    INRIA Lorraine & LORIA, Nancy
  Grigore Rosu             University of Illinois at Urbana-Champaign
  Carolyn Talcott          SRI International, Menlo Park


Submissions will be evaluated by the Program Committee for inclusion
in the proceedings, which will be available at the time of the workshop 
and are expected to be published in the Elsevier ENTCS 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 (of at most 15 pages) should be submitted electronically, 
preferably as PDF files, to the workshop email address  

            wrla2004 at sip.ucm.es

providing also a text-only abstract, and detailed contact information 
of the corresponding author.  

The final program of the workshop will also include system demonstrations 
and two invited presentations by

  Gilles Dowek               Ecole Polytechnique & INRIA, Palaiseau
  Mario Rodriguez-Artalejo   Universidad Complutense de Madrid 

Based on the quality and interest of the accepted papers, the program
committee will study the possibility of preparing a special issue of a
scientific journal in the field.


Narciso Marti-Oliet, Manuel Clavel, and Alberto Verdejo
Departamento de Sistemas Informaticos y Programacion
Universidad Complutense de Madrid, Spain


For more information, please contact the organizers
            wrla2004 at sip.ucm.es

or visit the workshop web page



December 1, 2003     Deadline for submission (EXTENDED!)
January 15, 2004     Notification of acceptance
February 18, 2004    Final version in electronic form
March 27-28, 2004    Workshop in Barcelona

+ + + + + WRLA'04 + + + + + LAST CALL FOR PAPERS + + + + + WRLA'04 + + + + +

More information about the Types-list mailing list