Monday	Tuesday	Wednesday	Thursday	Friday
		9:00-10:30 Greenlees		9:00-11:00 Ranicki
10:00-10:30 Coffee	10:00-10:30 Coffee		10:00-10:30 Coffee
10:30-12:30 Greenlees	10:30-12:30 Greenlees	10:30-11:00 Coffee	10:30-12:30 Greenlees
		11:00-12:30 Ranicki
	14:00-15:00 Kontsevich
14:30-16:30 Ranicki			14:30-16:30 Ranicki
	15:00-15:30 Coffee