RULE 2009 Programme

9.00 Opening

Session 1 - Chairs: Maribel Fernández and Anamaria Martins Moreira
9.00-10.00 Hélène Kirchner (Invited Speaker) From Abstract Strategies to Strategic Rewriting

10.00-11.00 Coffee Break

Session 2
11.00-11.30 Maribel Fernandez and Olivier Namet. Graph creation, visualisation and transformation
11.30-12.00 Abubakar Hassan, Eugen Jiresch and Shinya Sato. An Implementation of Nested Pattern Matching in Interaction Nets
12.00-12.30 Detlef Plump and Sandra Steinert. The Semantics of Graph Programs
12.30-13.00 Rodrigo Machado, Reiko Heckel and Leila Ribeiro. Modeling and Reasoning over Distributed Systems with Aspect-Oriented Graph Grammars

13.00-14.30 Lunch

Session 3
14.30-15.00 Claude Kirchner, Pierre-Etienne Moreau and Cláudia Fernanda Tavares. A Type System for Tom
15.00-15.30 Gabriel R. Falconieri Freitas, Marcio Cornélio, Tiago Massoni and Rohit Gheyi. Object-oriented Programming Laws for Annotated Java Programs
15.30-16.00 Daniel Dougherty. An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications

16.00-16.30 Coffee Break

Session 4
16.30-17.00 Dalmo Mendonca and Joao Marcos. Automatic Generation of Proof Tactics for Finite-Valued Logics
17.00-17.30 Christiano Braga and Edward Hermann Haeusler. Programming Games and their Equilibria in Maude
17.30-18.00 Benoit Boyer and Thomas Genet. Verifying Temporal Regular Properties for Abstraction of Term Rewriting Systems

18.00 Closing