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