PROGRAMME

The programme and abstracts are available as a PDF booklet, that will be distributed to attendees

	Wed May 31st
19:30	Arrival, welcome drinks, registration, and cold dinner	Nathalie Mweze
	Thu June 1st
08:15	Non-residents registration	Nathalie Mweze
	Session 1A (Chair: Pierre-Yves Schobbens)
08:30	Opening	José Luiz Fiadeiro Pierre-Yves Schobbens
08:40	Analysis of Software Architectures: Achievements and Challenges	David Rosenblum
09:30	Structuring of Ontologies - How CASL can Help	Klaus Lüttich
10:00	Modules for Service Component Architectures	José Luiz Fiadeiro
10:30	Coffee break
	Session 1B (Chair: David Rosenblum)
11:00	A Language for Soft Constraints and Preferences: Syntax, Semantics and Execution	Martin Wirsing
11:30	Probability and quantum institutions revisited	Jaime Ramos
12:00	About raising and handling exceptions	Dominique Duval
12:30	Sufficient Completeness Checking with Propositional Tree Automata	Joe Hendrix
13:00	Lunch
	Session 1C (Chair: José Fiadeiro)
14:45	Reasoning support for CASL with SPASS	Klaus Lüttich
15:15	Institutions for Models of Concurrency	Artur Zawłocki
15:45	Verification of Behavioural Refinement	Agnès Arnould
16:15	Inductive Acquisition of Algebraic Specifications	Lutz Hamel
16:45	Tea break
	Session 1D (Chair: Pierre-Yves Schobbens)
17:15	A (Co)Algebraic Analysis of Synchronisation in CSP	Uwe Wolter
17:45	Graph Transactions as a Basis for Graph Transformation Modules	Leila Ribeiro
18:15	Using transformation dependency analysis for model inconsistency management	Tom Mens
19:00	Walk to, and visit of, the reserve
19:30	Banquet I in the reserve

	Fri June 2nd
	Session 2A (Chair: Michel Bidoit)
9:00	Structured CSP - A Process Algebra as an Institution	Markus Roggenbach
9:30	Autonomous units and their semantics - the parallel case	Hans-Jörg Kreowski
10:00	A Generic Framework for Specification of Interacting Components	Artur Zawłocki
10:30	Coffee break
	Session 2B (Chair: Michel Sintzoff)
11:00	From Interaction Diagrams to State Machines: Moving to Class-Level	Pierre-Yves Schobbens
11:30	SVtL: System Verification through Logic --- Tool Support for Verifying Sliced Hierarchical Statecharts	Sara Van Langenhove
12:00	Scenario-Based Analysis of Statechart Construction	Benjamin De Leeuw
12:30	On the Implementation of a Game-Based Model for Specifying Open systems	Axel Legay
13:00	Lunch
	Session 2C (Chair: Martin Wirsing)
14:30	Basic completion by means of Maude strategies	Narciso Marti-Oliet
15:00	A Temporal Graph Logic for Abstractions of Graph Rewriting Systems	Andrea Corradini
15:30	Towards a generic semantic framework for mobile component systems based on graph transformation	Nikos Mylonakis
16:00	Tea break
	Session 2D (Chair: Andrzej Tarlecki)
16:30	From Spatial Logics to Modal Logics for Graphs	Fabio Gadducci
17:00	Coalgebraic Modal Logic in CoCASL	Lutz Schröder
17:30	Component-based Specification of Collaborative Objects	Abdessamad Imine
18:00	Rank-1 Modal Logics are Coalgebraic	Lutz Schröder
19:30	Banquet II at Château Floréal
21:30	Walk to, visit of, chocolate/beer tasting party in the Medieval Castle
	Sat June 3rd
	Session 3A (Chair: Pierre-Yves Schobbens)
09:00	Verification of Security Protocols	Hubert Comon-Lundh
10:15	Abstract Design with Aspects	Tom Maibaum
10:45	Coffee break
	Session 3B (Chair: Hubert Comon)
11:00	Defining and Composing Aspects in CommUnity	Tom Maibaum
11:30	Comparative Semantics of Feature Diagrams: FFD vs. vDFG	Jean-Christophe Trigaux
12:00	Representing Models as Diagrams of Constructions	Grzegorz Marczyński
12:30	On the algebraization of many-sorted logics	Ricardo Gonçalves
13:00	Lunch
	Departure or IFIP meeting