PROGRAMME

		Lecturer	Title	Tool demo
Sep 22
	08.00-09.00	breakfast
	09.15-09.30	opening
	09.30-12.30	David Garlan Carnegie Mellon Univ. USA	Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events (part A, part B)
	13.00-14.00	lunch
	15.00-18.00	Axel van Lamsweerde Catholic Univ. of Louvain Belgium	From System Goals to Software Architecture
Sep 23
	08.00-09.00	breakfast
	09.30-12.30	Jeff Kramer Imperial College UK	Software Architecture, Behavior Models, and Requirement Analysis
	13.00-14.00	lunch
	15.00-18.00	Jeff Magee Imperial College UK	Behavioral Analysis of Software Architecture	LTSA
Sep 24
	08.00-09.00	breakfast
	09.30-12.30	Alexander Wolf Univ. of Colorado at Boulder USA	The Application of Dependence Analysis to Software Architecture Descriptions
	13.00-14.00	lunch
	15.00-18.00	Wolfgang Emmerich Univ. College London UK	Validating Distributed Object and Component Designs
	18.00-18.15	break
	18.15-18.45	Flavio Oquendo Univ. of Savoie France Radu Mateescu INRIA Rhône-Alpes France	An Introduction to the ArchWare Project
Sep 25
	08.00-09.00	breakfast
	09.30-12.30	Paola Inverardi Univ. of L'Aquila Italy	Software Architecture for Correct Components Assembly
	13.00-14.00	lunch
	15.00-18.00	Antonia Bertolino CNR-ISTI Pisa Italy	Formal Methods in Testing Software Architectures
Sep 26
	08.00-09.00	breakfast
	09.30-12.30	Jose Luiz Fiadeiro Univ. of Leicester UK	Architecture Based Evolution of Software Systems	CDE
	13.00-14.00	lunch
	15.00-18.00	Amy Murphy Univ. of Rochester USA	Software Architecture for Mobile Computing	Lime
Sep 27
	08.00-09.00	breakfast
	09.30-12.30	Marco Bernardo Univ. of Urbino Italy	Performance Evaluation at the Software Architecture Level	TwoTowers
	13.00-14.00	lunch
	15.00-18.00	Valerie Issarny INRIA-Rocquencourt France	Software Architecture and Dependability
	18.00-18.15	closing