{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"[PROPL&#39;24] Formal Methods to Save the Earth\" src=\"https://watch.eeg.cl.cam.ac.uk/videos/embed/buhZDvtPuip8ceXSy99HBv\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"[PROPL'24] Formal Methods to Save the Earth","author_name":"Programming For the Planet (PROPL)","author_url":"https://watch.eeg.cl.cam.ac.uk/video-channels/propl24","provider_name":"PeerTube","provider_url":"https://watch.eeg.cl.cam.ac.uk","thumbnail_url":"https://watch.eeg.cl.cam.ac.uk/lazy-static/previews/0cc787d8-2128-47a8-92ab-4660ac98488d.jpg","thumbnail_width":850,"thumbnail_height":480}