Programme (Abstracts)
22 October 2007
| 9h30-10h00 | Coalgebraic Logic and Synthesis of Mealy Machines (Alexandra Silva) (slides) | |||||||||
| 10h00-10h30 | Cobases coalgebraically (Clemens Kupke) (slides) | |||||||||
| Break | ||||||||||
| 11h00-11h30 | Neighborhood semantics for role-based deontic and agency logics (Olga Pacheco) (slides) | |||||||||
| 11h30-12h00 | A comparison of coalgebraic and metric semantics of a CCS-like language (Elisabete Freire) (slides) | |||||||||
| 14h00-15h00 | A Relational Model for Confined Separation Logic (J. N. Oliveira)(slides) | |||||||||
| 15h00 | Break | |||||||||
| 15h30-16h00 | Generating connector laws (Dave Clarke)(slides) | |||||||||
| 16h00-16h30 | Towards Distributed Reo (Jose Proenca)(slides) | |||||||||
| 16h30-17h00 | Eclipse Coordination Tools (Christian Koehler)(slides) | |||||||||
23 October 2007
| 10h00-10h30 | Bi-directional Transformations @ Uminho (Alcino Cunha)(slides) | ||||||||
| Break | |||||||||
| 11h00-11h30 | Putting interactors together (Luis Barbosa) (slides) | ||||||||
| 11h30-12h00 | Pre-Galois Connection on Coalgebras for Generic Component Refinement (Sun Meng) (slides) | ||||||||
| 14h00-14h30 | Discovering Coordination Patterns in Legacy Software (Nuno Rodrigues) (slides) | ||||||||
| 14h30-15h00 | Flatten from/to Relational (Jacome Cunha) (slides) | ||||||||
| 15h00 | Break | ||||||||
| 15h30-16h00 | Intentional Automata (David Costa) (slides) | ||||||||
| 16h00-16h30 | Performance Analysis of Reo Circuits (Chretien Verhoef) (slides) | ||||||||
| 16h30-17h00 | Translations from QIA to Markov Chains (Young-Joo Moon) (slides) | ||||||||