Adding ICFP 11 and PADL 12 papers.
Adding abstract for Patch Logic.
Merge branch 'master' of github.com:ku-fpg/fpg-web
Change Jan's status (always sad to see someone go!)
Fixing the status of the Sunroof paper.
Fixing status of the KL article
RM latex abstract markup
Adding IFL11
Removing the "published on workshop website"

It looks like it was unrefereed, and it was refereed.
Catching sats was a tech report.
Fixing Post-Proceedings wording.
Changing spacing of Jan's entry in previous members.
Merge branch 'master' of github.com:ku-fpg/fpg-web