FORMATS

I noticed I never added the FORMATS’22 paper to the site, so this update adds it.