[[ -- 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
http://www.lsi.upc.es/etaps04
IMPORTANT DATES
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
AIMS AND SCOPE
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,
including
- rho-calculus,
- structural operational semantics,
- concurrency calculi,
- dynamic algebras.
PAST EVENTS
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
http://www.elsevier.nl/locate/entcs
Selected papers from WRLA'96 have been published in
a special issue of Theoretical Computer Science, Volume 285(2), 2002.
LOCATION
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
http://www.lsi.upc.es/etaps04
For information about Barcelona, see among others the city web page
http://www.bcn.es/english/ihome.htm
PROGRAM COMMITTEE
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
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
[EMAIL PROTECTED]
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.
ORGANIZING COMMITTEE
Narciso Marti-Oliet, Manuel Clavel, and Alberto Verdejo
Departamento de Sistemas Informaticos y Programacion
Universidad Complutense de Madrid, Spain
CONTACT INFORMATION
For more information, please contact the organizers
[EMAIL PROTECTED]
or visit the workshop web page
http://www.fdi.ucm.es/wrla2004
IMPORTANT DATES
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 + + + + +
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
