WRLA 2010 Preliminary Program

Saturday March 20, 2010:


Session 1: 9.15-10.30. Chair: Peter Ölveczky

9.15-9.30: Opening

9.30-10.30: Invited talk:
           Natarajan Shankar (SRI International)
           Rewriting, Inference, and Proof


10.30-11.00: Coffee Break


Session 2: 11.00-12.30. Chair: Carolyn Talcott

11.00-11.30:  Raul Gutierrez and Salvador Lucas:
              Proving Termination in the Context-Sensitive Dependency Pairs Framework

11.30-12.00:  Beatriz Alarcon, Salvador Lucas, and Jose Meseguer:
              A Dependency Pairs Framework for AvC-Termination

12.00-12.30:  Santiago Escobar, Ralf Sasse, and Jose Meseguer:
              Folding Variant Narrowing and Optimal Variant Termination


12.30-14.00: Lunch Break


Session 3: 14.00-15.00. Chair: Santiago Escobar 

14.00-14.30:  Francisco Duran and Jose Meseguer:
              A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications

14.30-15.00: Francisco Duran and Jose Meseguer:
             A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories


15.00-15.10: Short Break


Session 4: 15.10-16.10. Chair: Salvador Lucas

15.10-15.40:  	Traian Serbanuta and Grigore Rosu:
               K-Maude:  A Rewriting Based Tool for Semantics of Programming Languages

15.40-16.10: Irina Mariuca Asavoae and Mihail Asavoae:
             Collecting Semantics under Predicate Abstraction in K Framework
  	

16.10-16.30: Coffee Break


Session 5: 16.30-18.00. Chair and organizer: Francisco Durán

16.30-18.00: Rewrite Engine Competition, including 
             a short demo/presentation of some of the competing tools



Sunday, March 21, 2010:


Session 1: 9.30-10.30. Chair: Narciso Marti-Oliet

9.30-10.30:   Invited talk:
             Jose Meseguer (University of Illinois at Urbana-Champaign)
             Twenty Years of Rewriting Logic


10.30-11.00: Coffee Break


Session 2: 11.00-12.30. Chair: Kokichi Futatsugi

11.00-11.30:  Michael Katelman, Sean Keller, and Jose Meseguer:
              Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits

11.30-12.00: Mu Sun, Jose Meseguer, and Lui Sha:
             A Formal Pattern Architecture for Safe Medical Systems

12.00-12.30:  Jose Eduardo Rivera, Francisco Duran, and Antonio Vallecillo. 
              On the Behavioral Semantics of Real-Time Domain Specific Visual Languages


12.30-14.00: Lunch Break


Session 3: 14.00-16.00. Chair: Artur Boronat

14.00-14.30: Adrian Riesco, Alberto Verdejo, and Narciso Marti-Oliet:
             Enhancing the Debugging of Maude Specifications

14.30-15.00:  Kyungmin Bae and Jose Meseguer:
              The Linear Temporal Logic of Rewriting Maude Model Checker

15.00-15.30:  Fernando Rosa-Velardo:
              Multiset rewriting: a semantic framework for concurrency with name binding

15.30-16.00: Tool demo session


16.00-16.30: Coffee Break


Session 4: 16.30-18.00. Chair: Peter Ölveczky

16.30-18.00: Tool demos (K, e-Motions, Pathway Logic Assistant, ...), 
             a report on the advanced school  JAIST-FSSV2010 on 
             CafeOBJ and Maude,  and wrap-up