[PRL] Thielmann

[Matthias Felleisen]

This is what I ended up sending to Peter Thiemann:

  9:30 Bryan
10:00 Sam
10:30 Jay
11:00 Dave D and Dale
11:45 TALK
  1:30 LUNCH
  2:30 Richard and Matthias
  3:30 Ryan
  4:00 Carl
  4:30 Matthew Might

-- Matthias