[TYPES/announce] WRLA 2006: accepted papers and call for system/tool demos

[WRLA Acct (Denker)]

We are pleased to announce that the papers listed below have been accepted
for presentation at the Workshop on Rewriting Logic and Applications, 
April 1-2, 2006 in Vienna Austria (an ETAPS 2006 workshop).

Workshop url:  http://www-formal.stanford.edu/clt/WRLA06

In addition to the accepted papers the workshop will feature

  Invited Speaker: Arvind

  A system and tools demo session 
    (proposals due February 6, see WRLA06 website for instructions)
 
And, for the first time, a rewrite engine competition will take place at WRLA.
Its goal is to test the effectiveness of the various rewrite engines on
different types of problems.  The ultimate goal of the rewrite engine
competition is to help colleagues that use term rewriting in their
applications to choose the right rewrite engine.  It is expected that some
rewrite engines will outperform others on specific types of problems, but
none will outperform all the others on all types of problems.  More
details will be made available on the WRLA06 website soon.  

*****************************************************************************

 "Making Partial Order Reduction Tools Language-Independent", Azadeh & Meseguer

 "Maude MSOS Tool", Chalub & Braga

 "Distributive Rho-Calculus", Cirstea & Houtmann & Wack

 "Implementation of Mobile Maude", Duran & Verdejo & Riesco

 "A Rewrite Framework for Language Definitions and for Generation of 
  Efficient Interpreters", Hill & Serbanuta & Rosu

 "A Rewriting Semantics for ABEL with Applications to Hardware/Software 
  Co-Design and Analysis", Katelman & Meseguer

 "Abstraction and Model Checking of Core Erlan Programs in Maude", 
  Neuhaeusser & Noll

 "Abstraction and Completeness for Real-Time Maude",   Olvecky & Meseguer

 "Canonical Abstract Syntax Trees", Reilles

 "Solving Sudoku Puzzles with Rewriting Rules", Santos-Garcia & Palomino

 "Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics", 
  Sasse & Meseguer
    
 "On Modelling Sensor Networks in Maude", Rodriguez

 "A Rewriting Logic Framework for Soft Constraints",
  Wirsing, Denker, Talcott, Poggio, & Briesemeister