Draft Timetable
Time24.Aug25.Aug26.Aug27.Aug28.Aug29.Aug
8:00 BreakfastBreakfastBreakfastBreakfastBreakfast
9:00 Ricardo Baeza-YatesFilippo MenczerRicardo Baeza-YatesArend RensinkNODES Workshop
10:30 Energy-breakEnergy-breakEnergy-breakEnergy-break10:45 Energy-break
11:00 Arend RensinkRicardo Baeza-YatesFilippo MenczerSafety-critical systems (Simin Nadjm-Tehrani)
CORAS (Heidi Dahl)		NODES Workshop
12:30 LunchLunchLunchLunch13:00 Lunch
14:00 Filippo MenczerAlgirdas AvižiensisExtracurricular activitiesSpecification methods (Luigia Petre)
Model-based testing (Jüri Vain)
Model-driven development of FTT (Elena Troubitsyna)		Bus to Tallinn
15:30BusEnergy-breakEnergy-break 16:15
Energy-break		 
16:00BusAlgirdas AvižiensisArend Rensink 16:45
Critical infrastructures (Simin Nadjm-Tehrani)		 
17:30BusStudent presentations / postersStudent presentations / posters System security (Christian Jensen)
Security in open distributed computing (Christian Jensen)		 
19:00Dinner 20:00DinnerDinnerDinnerDinner 
20:00Get-together / SaunaSaunaSaunaSaunaSauna 
edit