Program of the Aussois IFIP WG1.3 meeting (January 6-9th, 2011)
== Thursday January 6th, 2011
1 - Reiko Heckel
Parallelism and Concurrency of Stochastic Graph Transformations
2 - Alexander Knapp
A heterogeneous approach to service oriented system specification
3 - Lutz Schroeder
Tensoring unranked effects
4 - Jose Fiadeiro
An Interface Theory for Service-Oriented Design
== Friday January 7th, 2011
5 - Dominique Duval
Decorated specifications for states and exceptions
6 - Pawel Sobocinski
Deriving structural labelled transition systems from reduction rules
7 - David Chemouil
Requirements engineering and multi-agent temporal logic
8 - Alexander Knapp
The Java memory model: operationally, axiomatically, denotationally
== Saturday January 8th, 2011
9 - Andrzej Tarlecki
Another old story: compositional property-oriented semantics for structured specifications
10 - Till Mossakowski
Change management for the heterogeneous tool set
11 - Bartek Klin
Nominal automata
== Sunday, January 9th, 2011
12 - Dirk Pattinson
Fun with Henry