Lecturer	Title
June 1
	08.00-09.00	breakfast
	09.15-09.30	opening of SFM-09:WS
	09.30-12.30	Steve Ross-Talbot Architecture Practice Lead ASP Cognizant Technology Systems UK	An Overview of Web Services, Choreographies, and WS-CDL
	12.30-14.00	lunch
	15.00-18.00	Dieter Koenig IBM Germany	An Overview of Web Service Orchestration and WS-BPEL
June 2
	08.00-09.00	breakfast
	09.30-12.30	Jose Fiadeiro Univ. of Leicester UK	Formal Modeling of Service-Oriented Systems (technical report)
	12.30-14.00	lunch
	15.00-18.00	Roberto Bruni Univ. of Pisa Italy	Calculi for Service-Oriented Computing
June 3
	08.00-09.00	breakfast
	09.30-12.30	Wil van der Aalst Technical Univ. of Eindhoven The Netherlands	Service Interaction: Patterns, Formalization, and Analysis
	12.30-14.00	lunch
	15.00-18.00	Marco Pistore FBK-IRST Italy	Synthesis and Composition of Web Services
June 4
	08.00-09.00	breakfast
	09.30-12.30	Vasco Vasconcelos Univ. of Lisbon Portugal	Fundamentals of Session Types
	12.30-14.00	lunch
	15.00-18.00	Marco Carbone Queen Mary Univ. London UK	Asynchronous Session Types: Exceptions and Multiparty Interactions
June 5
	08.00-09.00	breakfast
	09.30-12.30	Luca Padovani Univ. of Urbino Italy Gianluigi Zavattaro Univ. of Bologna Italy	Contract-Based Discovery, Adaptation, and Composition of Web Services (part 1 - part 2)
	12.30-14.00	lunch
	15.00-18.00	Karthik Bhargavan Microsoft Research UK	Security Aspects of Web Services
June 6
	08.00-09.00	breakfast
	09.30-12.30	Jianwen Su Univ. of California USA	Verification of Web Services
	12.30-14.00	lunch
	15.00-18.00	Stephen Gilmore Univ. of Edinburgh UK	Quantitative Analysis of Web Services
	18.00-18.15	closing of SFM-09:WS