Wednesday was the first day of POPL. These pictures, featuring John Launchbury and Dave MacQueen, were taken in the venue.
Several of us went to dinner at Trattoria da "Arturo." The meal was excellent, as was the company, although I would not say it was the best value in Venice.
John Reynolds delivers his SIGPLAN Programming Language Achievement Award lecture
A few shots at the break (exposure problems due to user error; I was still in the manual mode I had used to shoot John's talk above).
The conference Banquet:
The invited talk
Conversations at the break
