[PRL] Current schedule for Gary T. Leavens's visit

[Stevie Strickland]

Here's the current schedule I have for Dr. Leavens's visit on Wednesday.  Please let me know if you notice any issues so I can resolve them ASAP.

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 (???, 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:30 Vincent St-Amour
17:45 Stephen Chang
18:00 Paul Stansifer
18:15 Asumu Takikawa

Thanks,
Stevie