timetable

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.

	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