Programme of WRLA at ETAPS 2006
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:
- Programme Overview
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
AVIS,
CMCS,
COCV,
DCC,
EAAI,
FESCA,
FRCSS,
GT-VMT,
LDTA,
MBT,
QAPL,
SC,
SLAP,
SPIN,
TERMGRAPH,
WITS
- Tutorials:
Phoenix,
QuantComp
ETAPS 2006 |
Top |
HTML 4.01 |
Last Update: 2006-03-23