Programme of WRLA at ETAPS 2010

( International Workshop on Rewriting Logic and its Applications)

Sunday, March 21

09:30 - 10:30 SESSION 5

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

 

 

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 6

11.00: Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits

Michael Katelman, Sean Keller, and Jose Meseguer

11.30: A Formal Pattern Architecture for Safe Medical Systems

Mu Sun, Jose Meseguer, and Lui Sha

12.00: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages

Jose Eduardo Rivera, Francisco Duran, and Antonio Vallecillo

12:30 - 14:00 Lunch

14:30 - 16:00 SESSION 7

14.00: Enhancing the Debugging of Maude Specifications

Adrian Riesco, Alberto Verdejo, and Narciso Marti-Oliet

14.30: The Linear Temporal Logic of Rewriting Maude Model Checker

Kyungmin Bae and Jose Meseguer

 

15.00:Multiset rewriting: a semantic framework for concurrency with name binding

Fernando Rosa-Velardo

15.30: Tool demo session

16:10 - 16:30 Coffee Break

16:30 - 18:00 SESSION 8

Tool demos, a report on the advanced
school JAIST-FSSV2010 on CafeOBJ and Maude, and wrap-up