Programme of WRLA at ETAPS 2008

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

Saturday, March 29, room: Toboz II.

09:00 - 10:30 SESSION 1 - Invited talk

Rewriting systems with data: a framework for reasoning about unbounded networks of infinite-state processes
Ahmed Bouajjani, University of Paris 7

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2 - Strategies and Search

A Rewriting Semantics for Maude Strategies
Narciso MArti-Oliet (Universidad Complutense de Madrid), Jose Meseguer (University of Illinois at Urbana Champaign), Alberto Verdejo (Universidad Complutense de Madrid)

Proof Search for the First-Order Connection Calculus in Maude
Bjarne Holen, Einar Broch Johnsen, and Arild Waaler (University of Oslo)

Strategy-Based Proof Calculus for Membrane Systems
Oana Andrei (INRIA Nancy), Dorel Lucanu (Alexandru Ioan Cuza University)

12:30 - 14:00 Lunch

14:30 - 16:00 SESSION 3 - Metalevel Frameworks

A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude
Francisco Duran (Universidad de Malaga), Peter Csaba Olveczky (University of Oslo)

Patterns for Maude Metalanguage Applications
Eugen-Ioan Goriac (Alexandru Ioan Cuza University), Georgiana Caltais (Alexandru Ioan Cuza University), Dorel Lucanu (Alexandru Ioan Cuza University), Oana Andrei (INRIA Nancy), Grigore Grigoras ((Alexandru Ioan Cuza University)

A declarative debugger for Maude functional modules
R. Caballero, N. Marti-Oliet, A. Riesco, and A. Verdejo (Universidad Complutense de Madrid)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4 - Termination, Unification, Constraints

Operational Termination of Membership Equational Programs: the Order-Sorted Way
Salvador Lucas (Universidad Politecnica de Valencia), Jose Meseguer (University of Illinois at Urbana-Champaign)

Variant Narrowing and Equational Unification
Santiago Escobar (Universidad Politecnica de Valencia), Jose Meseguer (University of Illinois at Urbana-Champaign), Ralf Sasse (University of Illinois at Urbana-Champaign)

Which Soft Constraints do you Prefer?
Matthias Holzl, Max Meier, Martin Wirsing (Ludwig-Maximilians-Universitat)

Sunday, March 30, room: Toboz II.

09:30 - 10:30 SESSION 1 - Abstractions

Equational Abstractions for Reducing the State Space of Rewrite Theories
Lars Helge Hass (RWTH Aachen University), Thomas Noll (RWTH Aachen University)

Combining Techniques to Reduce State Space and Prove Strong Properties
Dilia E. Rodriguez (Air Force Research Laboratory)

10:30 - 11:00 Coffee

11:00 - 12:00 SESSION 2 - Applications I

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol
Adrian Riesco and Alberto Verdejo (Universidad Complutense de Madrid)

Hierarchical Design Rewriting with Maude
Roberto Bruni and Alberto Lluch Lafuente and Ugo Montanari (University of Pisa)

12:30 - 14:00 Lunch

14:30 - 16:00 SESSION 3 - Applications II

Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
Oana Agrigoroaiei (Romanian Academy), Gabriel Ciobanu (Alexandru Ioan Cuza University)

Memory Representations in Rewriting Logic Semantics Definitions
Mark Hills (University of Illinois at Urbana Champaign)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4 - Rewrite Engine Competition

Detailed Programme Information:

ETAPS 2008 | Top | HTML 4.01 | Last Update: 2008-01-13