Chair: Julia Sapiña

• 16:00: Rubén Rubio, Narciso Marti-Oliet, Isabel Pita, Alberto Verdejo. Metalevel transformation of strategies.
• 16:30: Rubén Rubio, Narciso Marti-Oliet, Isabel Pita, Alberto Verdejo. Simulating and model checking membrane systems using strategies in Maude.
• 17:00: Manfred Schmidt-Schauss, David Sabel. On Impossibility of Simple Translations of Concurrent Calculi.