archives

RSS feed broken?

The XML link on the main navigation seems to be invalid. Here's the output from w3c's feed validator:

http://validator.w3.org/feed/check.cgi?url=http%3A%2F%2Flambda-the-ultimate.org%2Frss.xml

POPL 2011 post-processing

Is anyone else interested in digesting the POPL '11 material? With the simultaneous sessions and a couple time-conflicts I missed several talks that looked interesting, but I'm also sure I didn't came away with a solid grasp of everything I did attend. First order of work this week is unwinding my notes, so I'm interested in processing the material communally while the context is fresh.