The TFP 2020 proceedings has now been published in Springer LNCS, containing revised versions of 11 of the 18 papers presented at the symposium. The proceedings is available here. Access to the papers is free for four weeks (from 18th August 2020). To enjoy free access, you must follow the link from this page (there is an "HTTP referer" check).