[Maude-users] WRLA 2006 Submission deadline approaching -- DECEMBER 14

[Azadeh Farzan]

+ + + + + WRLA'06 + + + + + CALL FOR PAPERS + + + + + WRLA'06 + + + + +


       +----------------------------------------------------------+
       |                                                          |
       |              6th International Workshop on               |
       |           Rewriting Logic and its Applications           |
       |                                                          |
       |                      W R L A  2006                       |
       |                                                          |
       |            Vienna, Austria, April 1-2, 2006              |
       |                                                          |
       |        http://www-formal.stanford.edu/clt/WRLA06/        |
       +----------------------------------------------------------+


The workshop will be held in conjunction with

          ETAPS 2006
          9th European Joint Conferences on Theory and Practice of  
Software
          March 26 - April 2, 2006
          http://www.complang.tuwien.ac.at/etaps06/

IMPORTANT DATES

December 14, 2005    Deadline for submissions
January 20, 2006     Notification of acceptance
February 16, 2006    Final version in electronic form
April 1-2, 2006      Workshop in Vienna


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;
* formalisms related to RL, including
    - real-time and probabilistic extensions of RL,
    - tile logic,
    - rewriting approaches to behavioral specifications;
* verification techniques for RL specifications, including
    - equational and coherence methods, and
    - verification of properties expressed in first-order, higher-order,
      modal and temporal logics;
* comparisons of RL with existing formalisms having analogous aims;
* application of RL to specification and analysis of
    - distributed systems,
    - physical systems.


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
   - Barcelona, Spain,        March 27-28, 2004


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

        http://www.sciencedirect.com/science/journal/15710661

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 will appear in a special issue of
Higher-Order and Symbolic Computation.

LOCATION

WRLA 2006 will be held in Vienna, Austria in March 25-26, 2006. It is
a satellite  workshop of ETAPS 2006, the European Joint Conferences on
Theory and Practice of Software. For venue, registration and suggested
accommodation see the ETAPS 2006 web page

              http://www.complang.tuwien.ac.at/etaps06


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, at least 10 point font)  
should be
submitted electronically, preferably as PDF files, to the workshop email
address

             wrla06 at csl.sri.com

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 invited presentations to be determined.

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

ORGANIZING COMMITTEE

Carolyn Talcott and Grit Denker
SRI International
Menlo Park, CA 94025


PROGRAM COMMITTEE

Roberto Bruni         Universita` di Pisa
Manuel Clavel         Universidad Complutense de Madrid
Grit Denker           SRI International, Menlo Park (co-Chair)
Francisco Duran       Universidad de Malaga
Steven Eker           SRI International, Menlo Park
Kokichi Futatsugi     JAIST, Nomi
Claude Kirchner       INRIA & LORIA, Nancy
Salvador Lucas        Universidad Politecnica de Valencia
Narciso Marti-Oliet   Universidad Complutense de Madrid
Jose Meseguer         University of Illinois at Urbana-Champaign
Ugo Montanari         Universita` di Pisa
Pierre-Etienne Moreau INRIA & LORIA, Nancy
Peter Olveczky        University of Oslo
Grigore Rosu          University of Illinois at Urbana-Champaign
Mark-Oliver Stehr     SRI International, Menlo Park
Carolyn Talcott       SRI International, Menlo Park (Chair)
Martin Wirsing        Ludwig-Maximillian University, Munich


CONTACT INFORMATION

For more information, please contact the organizers

             wrla06 at csl.sri.com

or visit the workshop web page

             http://www-formal.stanford.edu/WRLA06/

+ + + + + WRLA'06 + + + + + CALL FOR PAPERS + + + + + WRLA'06 + + + + +