Since the first session went long, we are rearranging things a bit:
- This morning's session will resume at 11:40
- Randy Bush's talk moves from today to Wednesday at 10:30,
and the rest of the agenda shifts 15 minutes later that day.
The complete updated agenda is at: