WRLA 2008

7th International Workshop on Rewriting Logic and its Applications

Budapest, Hungary, March 29-30, 2008

Home page: http://wrla08.cs.uiuc.edu, Contact e-mail: wrla@cs.uiuc.edu

IMPORTANT DATES

NEWS

• Programme
• Preliminary proceedings, as printed and distributed by ETAPS'08: wrla08-pre-proceedings.pdf
• Style package required by the ETAPS organizers to print the proceedings: entcs.zip
• The list of accepted papers can be found here
• Invited speaker: Ahmed Bouajjani
• Find out about the 2nd Rewrite Engines Competition here
• Instructions for authors can be found here. This year submissions will be handled via Easychair.

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.

• 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

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

LOCATION

WRLA 2008 will be held in Budapest, Hungary on March 29-30, 2008. It is a satellite workshop of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2008 web page

PROGRAM COMMITTEE

Mark van den Brand	Technical University of Eindhoven
Roberto Bruni	Universita di Pisa
Manuel Clavel	Universidad Complutense de Madrid
Francisco Duran	Universidad de Malaga
Steven Eker	SRI International, Menlo Park
Kokichi Futatsugi	JAIST, Tatsunokuchi
Jurgen Giesl	RWTH Aachen
Bernhard Gramlich	Vienna University of Technology, Austria
Deepak Kapur	University of New Mexico
Claude Kirchner	INRIA Lorraine & LORIA, Nancy
Salvador Lucas	Universidad Politecnica de Valencia
Claude Marche	INRIA Futurs & University Paris-sud 11, Orsay, France
Narciso Marti-Oliet	Universidad Complutense de Madrid
Jose Meseguer	University of Illinois at Urbana-Champaign
Ugo Montanari	Universita di Pisa
Pierre-Etienne Moreau	INRIA Lorraine & LORIA, Nancy
Peter Olveczky	University of Oslo
Femke van Raamsdonk	Vrije Universiteit, Amsterdam, The Netherlands
Kristoffer Rose	IBM Research, Watson
Grigore Rosu (chair)	University of Illinois at Urbana-Champaign
Mark-Oliver Stehr	SRI International, Menlo Park
Carolyn Talcott	SRI International, Menlo Park
Yoshihito Toyama	Tohoku University
Xavier Urbain	Cedric, ENSIIE, France
Martin Wirsing	Ludwig-Maximillian University, Munich

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, this year using Easychair:

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 study the possibility of preparing a special issue of a scientific journal in the field.

The 2nd Rewrite Engine Competition

CONTACT INFORMATION

For more information, please contact the organizers