Saturday, June 17 - Morning session

Work in sections (invited lectures and contributed talks)
- 9:00-10:40 S 003
- 9:00-10:40 T 004
- 9:00-10:40 U 005
- 8:40-10:40 V 001
10:40-11:00 Coffee break
11:00-11:50
Plenary lecture, room 003

chairperson: Zvonimir Sikic

Andre Scedrov
Toward Logical Foundations of Security Protocol Analysis
12:00-15:00 Lunch break

Last update: June 6, 2000.

Back to the homepage

	Last update: June 6, 2000.
	Back to the homepage