Timetable

	Sept. 22	Sept. 23	Sept. 24	Sept. 25	Sept. 26	Sept. 27	Sept. 28
	Sun	Mon	Tue	Wed	Thu	Fri	Sat
08.00-08.45:	Arrivals	Breakfast
09.00-11.00:		CS	CS	MH	MH	SS	Departures
11.00-11.30:		Coffee Break
11.30-13.30:		JM	JM	DS	DS	MG
13.30-14.30:		Lunch
14.30-16.30:		CS	MG	VS	SS	Open Session: Student Talks¹
16.30-17.00:		Coffee Break
17.00-19.00:			AA		MG
19.30:	Welcome Dinner

¹ Participants Session

Chair: Alessandro Aldini

• William Chung (Imperial College, London, UK): Secure Information Flow and Flow Logic.
• Sabina Petride (Cornell U., USA): Non-deducibility and Selective Interleaving Functions.
• Ralf Kuesters (Christian-Albrecchts U., Kiel, Germany): Automatic Analysis of Cryptographic Protocols with Open-ended Data Structures.
• S. P. Suresh (Institute of Mathematical Sciences, Chennai, India): A Decidability Result in Security Protocol Verification.
• Steve Kremer (Brussels U., Belgium): Game Analysis of Abuse-free Contract Signing.