Programme of WRLA at ETAPS 2006

(6th International Workshop on Rewriting Logic and its Applications)

Saturday, April 1

09:00 - 10:30 SESSION 1 (WRLA, Saturday, April 1, room: EI 2)

Welcome
Invited Talk (chair: Carolyn Talcott)
Title to be announced
Arvind (MIT, USA)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2 (WRLA, Saturday, April 1, room: EI 2)

Rewriting Techniques (chair: Francisco Durán)
Making Partial Order Reduction Tools Language-Independent
Azadeh Farzan and José Meseguer (Univ. of Illinois at Urbana-Champaign, USA)
Distributive Rho-Calculus
Horatiu Cirstea (LORIA and Nancy I and Nancy II, F), Clément Houtmann (LORIA, ENS-Cachan, F) Benjamin Wack (LORIA and Nancy I and Nancy II, F)
Canonical Abstract Syntax Trees
Antoine Reilles (CNRS and LORIA, F)

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3 (WRLA, Saturday, April 1, room: EI 2)

Tools (chair: Peter Ölveczky)
Maude MSOS Tool
Fabricio Chalub and Christiano Braga (Univ. Federal Fluminense, BR)
Abstraction and Model Checking of Core Erlan Programs in Maude
Martin Neuhäusser and Thomas Noll (RWTH Aachen Univ., D)
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Ralf Sasse and José Meseguer (Univ. of Illinois at Urbana-Champaign, USA)

15:30 - 16:00 Coffee

16:00 - 17:30 (18:00) SESSION 4 (WRLA, Saturday, April 1, room: EI 2)

Rewriting System Competition (chair: Grigore Rosu)

19:30 SOCIAL EVENT (Saturday, April 1)

Joint Workshops Post-Conference Dinner
Dinner at the restaurant Wiener Rathauskeller, Lanner Saal, Rathausplatz 1, 1010 Wien

Sunday, April 2

09:00 - 10:30 SESSION 1 (WRLA, Sunday, April 2, room: EI 2)

Rewriting Logic as a Framework (chair: Narciso Martí-Oliet)
Abstraction and Completeness for Real-Time Maude
Peter Csaba Ölveczky (Univ. of Oslo, N) and José Meseguer (Univ. of Illinois at Urbana-Champaign, USA)
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
Mark Hills, Traian Serbanuta, and Grigore Rosu (Univ. of Illinois Urbana-Champaign, USA)
A Rewriting Logic Framework for Soft Constraints
Martin Wirsing (Ludwig Maximilian Univ. München, D), Grit Denker, Carolyn Talcott, Andy Poggio, Linda Briesemeister (SRI International, USA)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2 (WRLA, Sunday, April 2, room: EI 2)

Modeling and Representation (chair: Martin Wirsing)
Solving Sudoku Puzzles with Rewriting Rules
Gustavo Santos-García (Univ. de Salamanca, E) and Miguel Palomino (Univ. Complutense de Madrid, E)
On Modelling Sensor Networks in Maude
Dilia Rodriguez (Air Force Research Lab., USA)
Implementation of Mobile Maude
Francisco Duran (Univ. de Málaga, E), Alberto Verdejo, and Adrian Riesco (Univ. Complutense de Madrid, E)

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3 (WRLA, Sunday, April 2, room: EI 2)

Semantics and System Demos (chair: Manuel Clavel)
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
Mike Katelman and José Meseguer (Univ. of Illinois at Urbana-Champaign, USA)
System Demo: Maude
Steven Eker (SRI International, USA)
System Demo: TOM + XRHO the Explicit Rewriting Calculus
Germain Faure and Antoine Reilles (LORIA, F)

15:30 - 16:00 Coffee

16:00 - 17:30 (18:00) SESSION 4 (WRLA, Sunday, April 2, room: EI 2)

Tool Demos (chair: José Meseguer)
MOMENT-OCL: Algebraic Specifications of OCL 2.0 within the Eclipse Modeling Framework
Artur Boronat, Joaquín Oriente, Abel Gómez, José Á. Carsí, and Isidro Ramos (Univ. Politècnica de Valencia, E)
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Class Diagrams
Manuel Clavel (Univ. Complutense de Madrid, E)
Web ITP Tool Server: A Web-Based Interface for the ITP Tool
Adrian Riesco (Univ. Complutense de Madrid, E)

Further ETAPS 2006 Programme Information:

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-23