Wednesday 29th October

11:00		Registration
12:00		Lunch
13:00		Session 1: Components and communication J. Dovland, E. B. Johnsen and O. Owe Reasoning about object oriented and distributed systems in presence of asynchronous method calls
		I. Simplot-Ryl, M. Clerbout and A. Bailly STAC: Communication traces based specifications and tests of software components
		L. Yan, J. Ni and K. Sere Towards a systematic design for ad hoc network applications
14:30		Coffee break
15:00		Session 2: Programming environments M. van den Brand, P. D. Mosses and J. Iversen An Action Environment
		E. Axelsson, K. Claessen and M. Sheeran Wired - a language for describing non-functional properties of digital circuits
		J. Sanko and J. Penjam Deductive and inductive methods for program synthesis
16:30		Coffee break
16:45		Session 3: Syntax A. Ranta Syntax editing in the zipper
		K. T. Kalleberg and M. Haveraaen Program language independent abstract syntax trees
- 17:45
19:00		Welcome reception

Thursday 30th October

9:00		Invited Talk by Ursula Martin, University of London, UK Logical structures for control
10:00		Coffee break
10:30		Session 4: HOL Í. Aktug and H. Oguztüzün Deriving a dynamic programming algorithm for batch scheduling with the refinement calculator
		R. Ruksenas Tool support for component-oriented development of action systems
		O. Celiku and A. McIver Cost-based analysis of probabilistic programs mechanised in HOL
12:00		Lunch
13:00		Session 5: Testing and analysing T. Latvala Improved on-the-fly verification for testers
		M. Mikucionis, B. Nielsen and K. G. Larsen Real-time system testing on-the-fly
		E. Fersman and W. Yi A generic approach to schedulability analysis of real-time tasks
14:30		Coffee break
15:00		Session 6: Algebra and grammar P. Ljunglöf An abstract view of generalized LR parsing
		K. Solin and J. von Wright Demonic refinement algebra with domain
		J. Glimming and K. Yemane Semantics of polytypic object-oriented programming
16:30		Coffee break
16:45		Session 7: Transition systems/ Model checking J.-P. Bodeveix and M. Filali About disjunctive invariants in Uppaal
		T. Berg, B. Jonsson, M. Leucker and M. Saksena Insights to Angluin's learning
- 17:45
19:00		Banquet

Friday 31st October

9:00		Invited Talk by Mary Sheeran, Chalmers University of Technology, Gothenburg, Sweden Describing and reasoning about sorting networks
10:00		Coffee break
10:30		Session 8: Complex systems P. Boström and M. Waldén A case study: Implementation of control systems using B-Action Systems
		I. C. Yu and A. Moen From modeling to analysis of railway systems using coloured petri nets
		G. Schneider Computing invariance kernels of polygonal hybrid systems
12:00		Lunch
13:00		Session 9: Infinite behaviour P. Giambiagi, G. Schneider and F. D. Valencia A note on scope and infinite behaviour in CCS-like calculi
		H. Björklund, S. Sandberg and S. Vorobyov On fixed-parameter complexity of infinite games
14:00		Closing
14:15		Coffee break
- 15:00