Programme of WRLA at ETAPS 2008
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:
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
ByteCode,
COCV,
CMCS,
DCC,
FESCA,
FIT,
FORMED,
GALOP,
GT-VMT,
LDTA,
MBT,
MOMPES,
PDMC,
QAPL,
RV,
SafeCert,
SC,
SLA++P,
WGT,
WRLA
ETAPS 2008 |
Top |
HTML 4.01 |
Last Update: 2008-01-13