[PRL] Updated schedule for Gary T. Leavens's visit, 12/7

[Stevie Strickland]

The only important change is expanding the later slots to provide more time for those students meeting with him then.  If you have an earlier slot, you are unaffected.

10:00 Karl Lieberherr
10:30 Christos Dimoulas
11:00 Dimitris Vardoulakis
11:20 Carl Eastlund
11:40 Setup for talk
11:45 Talk
13:30 Lunch (Sam, Christos, Carl)
14:30 Amal Ahmed
15:00 Pete Manolios
15:30 Sam Tobin-Hochstadt
16:00 Thomas Wahl
16:30 David Van Horn
17:00 Matthias Felleisen
17:15 Vincent St-Amour
17:35 Stephen Chang
17:55 Paul Stansifer
18:15 Asumu Takikawa

Thanks,
Stevie