Programme of WRLA at ETAPS 2010
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
-
-
-
-
-
-
ETAPS 2010 |
Top |
Last Update: 2010-02-04