Today's ConCert group meeting was "chat with Benjamin Pierce" since he was visiting. Interesting to hear what he was working on lately --- some XML-related stuff, POPLmark, and Harmony.