Working Group 1.3 Meeting
Sierra Nevada, January 14 - 18, 2008

Monday 14

16:30 Opening
16:45 Pascale LeGall: An institution of genetic regulatory networks.
17:30 Coffee Break
18:00 Fernando Orejas: A logic of graph constraints.

Tuesday 15

08:30 José Meseguer: The temporal logic of rewriting.
09:30 Coffee Break
10:00 Dusko Pavlovic: Specifying authentication protocols for pervasive and social computation.

16:30 Markus Roggenbach: Towards testing from CSP-CASL.
17:30 Coffee Break
18:00 Marius Petria: Free theorems for refinement.

Wednesday 16

08:30 Peter Padawitz:  Algebraic compilers and their implementation in Haskell
09:30 Coffee Break
10:00 Bart Jacobs: Coalgebraic trace semantics for possibilistic and  probabilistic systems.

16:30 Leila Ribeiro: Revisiting linerar-ordered graph grammars.
17:30 Coffee Break
18:00 Mohamed Bettaz: An Object-Z/CSP based approach for the specification of architectural connectors.
18:30 Business meeting

Thursday 17

08:30 Andrea Corradini: Subobject reansformation systems and elementary net systems.
09:30 Coffee Break
10:00 Fabio Gadducci: A behavioural semantics for Petri nets (with an application to web  
services development).

15:45 Christian Kissig: Logics for traces.
16:30 Stefania Gnesi: Logics for Service-oriented applications.
17:15 Coffee Break
17:30 Barbara Koenig: Graph minors and the analysis of graph transformation systems.
18:15 Lutz Schröder: Coalgebraic modal logic beyond rank 1.

Friday 18

09:00 Dominique Duval: A double pushout approach for modeling pointer redirection.
09:45 Coffee Break