Programme of WRLA at ETAPS 2010

( International Workshop on Rewriting Logic and its Applications)

Saturday, March 20

09:15 - 10:30 Opening

09.15: Welcome and Opening

09.30: Invited talk: Natarajan Shankar (SRI International)
Rewriting, Inference, and Proof

 

 

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

11.00: Proving Termination in the Context-Sensitive Dependency Pairs Framework

Raul Gutierrez and Salvador Lucas

11.30: A Dependency Pairs Framework for AvC-Termination

Beatriz Alarcon, Salvador Lucas, and Jose Meseguer

12.00: Folding Variant Narrowing and Optimal Variant Termination

Santiago Escobar, Ralf Sasse, and Jose Meseguer

12:30 - 14:00 Lunch

14:30 - 16:10 SESSION 3

14.00: A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications

Francisco Duran and Jose Meseguer

14.30: A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories

Francisco Duran and Jose Meseguer

15.00-15.10: Short Break

15.10: K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

Traian Serbanuta and Grigore Rosu

15.40: Collecting Semantics under Predicate Abstraction in K Framework

Irina Mariuca Asavoae and Mihail Asavoae

16:10 - 16:30 Coffee Break

16:30 - 18:00 SESSION 4

Rewrite Engine Competition, including a short demo/presentation of some of the competing tools