{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"[OCaML&#39;23] Osiris: an Iris-based program logic for OCaml\" src=\"https://watch.ocaml.org/videos/embed/1Hfi9pjTo1hz1ej2WtVGCR\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"[OCaML'23] Osiris: an Iris-based program logic for OCaml","author_name":"OCaml Workshop 2023","author_url":"https://watch.ocaml.org/video-channels/ocaml2023","provider_name":"PeerTube","provider_url":"https://watch.ocaml.org","thumbnail_url":"https://watch.ocaml.org/lazy-static/previews/01208c4e-6774-4946-9ff6-69e0375dc3c2.jpg","thumbnail_width":850,"thumbnail_height":480}