Programme of WRLA

SATURDAY, March 27

8.45
9.00
Opening
9.00
10.00
Invited Speaker
Mario Rodríguez Artalejo

10.00
10.30
Coffee
10.30
12.00
A rho-calculus of explicit constraint application
H. Cirstea, G. Faure, and C. Kirchner 

From Rogue to MicroRogue
A. Stump, R. Besand, J. C. Brodman, J. Hseu, and B. Kinnersley

The Polymorphic Rewriting Calculus [Type Checking vs. Type Inference]
L. Liquori and B. Wack
12.15
13.15
Demo Session
13.15
14.30
Lunch
14.30
16.00
Proving VLRL Action Properties with the Maude Model Checker
M. Palomino and I. Pita

Mu-Calculus Model Checking in Maude
 
B.-Y. Wang

Symbolic Reachability Analysis Using Narrowing
J. Meseguer and P. Thati
16.00
16.30
Coffee
16.30
18.00
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types
I. Cervesato and M.-O. Stehr

Rule based programming in Java for protocol verification
H. Cirstea, P.-E. Moreau, and A. Reilles

Formal Checklists for Remote Agent Dependability
G. Denker and C. Talcott

SUNDAY, March 28

9.00
10.00
Invited Speaker
Gilles Dowek

10.00
10.30
Coffee
10.30
12.00
New evaluation commands for Maude within Full Maude
F. Duran, S. Escobar, and S. Lucas

Real-Time Maude 2.0
P. Olveczky and J. Meseguer

The InterOperability Platform & IMaude: An Interactive Extension of Maude
I. Mason and C. Talcott
12.15
13.15
Demo Session
13.15
14.30
Lunch
14.30
16.00
Ambient Graph Rewriting
P. Cenciarelli, I. Talamo, and A. Tiberi

Communicating Concurrent Objects in HiddenCCS
G. Ciobanu and D. Lucanu

A Run-Time Environment for Concurrent Objects with Asynchronous Methods Calls
E. B. Johnsen, O. Owe, and E. W. Axelsen
16.00
16.30
Coffee
16.30
17.30
Modular Rewriting Semantics in Practice
C. Braga and J. Meseguer

Towards a strategy language for Maude
N. Martí-Oliet, J. Meseguer, and A. Verdejo
17.30
18.00
Closing
Evening Pre-Conference Workshops Dinner