{"pages":{"search":{"query":"Formal Methods Europe","originalQuery":"Formal Methods Europe","serpid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","parentReqid":"","serpItems":[{"id":"16619739562204517586-0-0","type":"videoSnippet","props":{"videoId":"16619739562204517586"},"curPage":0},{"id":"711326602759784667-0-1","type":"videoSnippet","props":{"videoId":"711326602759784667"},"curPage":0},{"id":"3314163303979543254-0-2","type":"videoSnippet","props":{"videoId":"3314163303979543254"},"curPage":0},{"id":"16155923890966313995-0-3","type":"videoSnippet","props":{"videoId":"16155923890966313995"},"curPage":0},{"id":"R-I-113683-5-0-4","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":4,"grab":"dEZvcm1hbCBNZXRob2RzIEV1cm9wZQo=","statId":4,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","ui":"desktop","yuid":"7367668641769623639"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"8452353135569799787-0-5","type":"videoSnippet","props":{"videoId":"8452353135569799787"},"curPage":0},{"id":"11936787052546921883-0-6","type":"videoSnippet","props":{"videoId":"11936787052546921883"},"curPage":0},{"id":"11436540494555194987-0-7","type":"videoSnippet","props":{"videoId":"11436540494555194987"},"curPage":0},{"id":"565713772494150254-0-8","type":"videoSnippet","props":{"videoId":"565713772494150254"},"curPage":0},{"id":"18280291670594110618-0-9","type":"videoSnippet","props":{"videoId":"18280291670594110618"},"curPage":0},{"id":"4282447640412636609-0-10","type":"videoSnippet","props":{"videoId":"4282447640412636609"},"curPage":0},{"id":"R-I-113683-5-0-11","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":11,"grab":"dEZvcm1hbCBNZXRob2RzIEV1cm9wZQo=","statId":11,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","ui":"desktop","yuid":"7367668641769623639"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"1312981909582917346-0-12","type":"videoSnippet","props":{"videoId":"1312981909582917346"},"curPage":0},{"id":"12239411862035698970-0-13","type":"videoSnippet","props":{"videoId":"12239411862035698970"},"curPage":0},{"id":"2518539877129603329-0-14","type":"videoSnippet","props":{"videoId":"2518539877129603329"},"curPage":0},{"id":"16776329527072862554-0-15","type":"videoSnippet","props":{"videoId":"16776329527072862554"},"curPage":0},{"id":"16756995699790309827-0-16","type":"videoSnippet","props":{"videoId":"16756995699790309827"},"curPage":0},{"id":"1843358484812429810-0-17","type":"videoSnippet","props":{"videoId":"1843358484812429810"},"curPage":0},{"id":"2768502957183189945-0-18","type":"videoSnippet","props":{"videoId":"2768502957183189945"},"curPage":0},{"id":"6898767806859019962-0-19","type":"videoSnippet","props":{"videoId":"6898767806859019962"},"curPage":0}],"filters":{},"serpFooter":{"linksGroups":[{"type":"geo","links":[{"label":"Columbus","title":"Columbus","url":"//yandex.com.tr/tune/geo/","logNode":{"name":"region"},"target":"_self","a11yLabel":"Bölgeniz Columbus","needRetpath":true}]},{"type":"help","links":[{"label":"Bize ulaşın","url":"https://yandex.com.tr/support/video/troubleshooting.html","logNode":{"name":"feedback"},"needRetpath":true},{"label":"Yardım","url":"https://yandex.com.tr/support/video/","logNode":{"name":"help"},"needRetpath":true}]},{"type":"settings","links":[{"label":"Ayarlar","url":"https://yandex.com.tr/tune/search/","target":"_self","logNode":{"name":"settings"},"needRetpath":true}]},{"type":"company","links":[{"label":"Şirket hakkında","url":"//yandex.com.tr/company/","logNode":{"name":"about"},"target":"_blank"},{"label":"Kullanım lisansı","url":"//yandex.com.tr/legal/termsofuse/","logNode":{"name":"license"},"target":"_blank"},{"label":"Gizlilik Politikası","url":"//yandex.com.tr/legal/confidential/","logNode":{"name":"confidential"},"target":"_blank"}],"a11yHidden":true}],"hasExtralinks":true},"currentPage":0,"prevPageToLoad":-1,"nextPageToLoad":1,"isTranslationsFilterEnabled":false,"isTranslationsDistributionEnabled":false,"isTranslationsDistributionOnboardingEnabled":false,"prevention":{},"hasNextPage":true,"rightSerpItems":[{"type":"direct","id":"search-list-right","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"R-I-8843654-1","renderTo":"search-list-right-0-R-I-8843654-1","pageNumber":0,"grab":"dEZvcm1hbCBNZXRob2RzIEV1cm9wZQo=","darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","ui":"desktop","yuid":"7367668641769623639"}}},"isAdult":false,"position":0,"placement":"search-list-right"},"curPage":0}],"isAdultQuery":false,"errorList":[],"layout":"list","retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DFormal%2BMethods%2BEurope"},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"4985978263829848756798","expFlags":{"video_settings_toolbar_redesign":1,"velocity_delay_drawer":1,"video_feedback_in_d2d":1,"video_viewer_heartbeat_disabled_in_no_js_api":1,"video_search_toggle_with_text":1,"velocity_disable_suspense":1,"video_viewer_desktop_smart_layout":1,"dark_theme_desktop":"cookie","distr_splashscreen_on":1,"video_viewer_check_sandbox_origin":1,"video_font_yandex_sans":1,"video_adv_new_show_rules":1,"video_resource_loader":1,"video_adv_config_desktop":{"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"new_template_version":4,"video_search_page_no_islands":1,"video_vh_player_js":0,"video_masthead_ratio":"180,4","video_searchdata_scheme":1,"video_viewer_related_fail_error_screen":1,"velocity_delay_metrika":1,"video_viewer_no_islands":1,"video_viewer_channel_link_mode":2,"video_partner_label":1,"video_resource_loader_load_timeout":6000,"int_tr":1,"mmui_extended_escape_scheme":"searchdata.clips.0.authorname","tabs_order_version":"search,images,video,newstr,maps,translate,tr_ecom","spok":"id","video_suggest_use_serp":1,"video_search_grid_direct_repeat":6,"video_viewer_critical_error_codes":"101,102,103,100,151,152,153,154,155,156,150","video_direct_config_desktop_search":"search-grid-row:R-I-48058-718:R-I-474674-109,search-grid-head:R-I-2120168-7","init_meta":{"enable-yabs-distr":1,"ask-user-purchase-history":1,"use-src-videoquickp":1,"enable-begemot":1,"enable_masthead":1,"use-src-videop":1,"use-src-videoquickp_misspell":1,"enable_blackbox_multisession":1,"begemot-enable-cancelled-misspell-rtmr":1,"enable_video_iron_fetcher":1,"use-related-only":1,"ask-yandex-io-devices":1,"use-images-device-setup":1,"use-src-imagesp":1,"images-apphost-collections-front":1,"enable_aab_apphost":1,"graph-is-video-search":1,"bg-bert-video":1,"use-src-imagesp_misspell":1,"use-src-imagesultrap":1,"use-video-apphost-pre-templates":1,"use-src-videop_misspell":1,"use-video-apphost-post-templates":1,"use-src-imagesquickp":1,"enable_video_carousels":"1","restrict-max-docs":"1000","use-images-region-setup":1,"use-post-auto2":1,"use-images-settings-setup":1,"use-src-ugc_favorites":1,"video_vitrina_disable":"0","use-images-user-setup":1,"use-video-pre-search-data":1,"begemot-no-suggest-history":1},"video_depot_viewer_masthead_ssr_only":1,"video_blender":1,"video_search_grid_enable":0,"video_viewer_desktop_fix_d2d_scroll":1,"video_depot_viewer_legacy_counters":1,"video_search_grid_direct_start":3,"video_adv_new_show_rules_docs_count":1,"beauty_header_futuris_tab":9,"video_related_suggest_enable":1,"video_redirect_plug":2,"video_adv_grid_inplace":1,"distr_popup_on":1,"dark_theme_desktop_default_pref":"system","video_search_toggle_enable":1,"video_depot_viewer_related_adv_margin":400,"video_viewer_doc2doc_instant_load":1,"velocity_split_hydration":4,"video_duration_counter_new_format":1,"video_force_grid_on_premordie":1,"int_online_summarization_video_snippet":1,"video_morda_header_nav":1,"video_nohost_full_filter":1,"distr_pcode_off":1,"video_baobab_blockstat":1,"video_thumb_poster_full":1,"video_scrollpages":2,"video_serp_desktop_block_design":1,"video_nohost_youtube_filter":0,"video_viewer_host_link_mode":1},"slots":["1466867,0,18;1457620,0,79;1472054,0,0;1460716,0,29;1460214,0,64;1152684,0,88;1472010,0,97;1472031,0,2;1471630,0,81;138060,0,49;1383553,0,46;1464524,0,39;1470249,0,34;1470225,0,72;1469597,0,89;1466296,0,58;1470858,0,67;1475648,0,57;1464404,0,34;1349071,0,3;1470514,0,59;241534,0,80;123856,0,51;1471176,0,2;1469393,0,46;1304309,0,99;284407,0,99;90497,0,94;151171,0,24;126317,0,33;1281084,0,58;287509,0,76;1447467,0,95;1006026,0,4;1473596,0,43;1468028,0,86"],"isYandexNet":false,"platform":"desktop","isEnLogo":true,"retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DFormal%2BMethods%2BEurope","mordaUrl":"//yandex.com.tr/","videoSearchUrl":"https://twitter.yandex.com.tr/video/search?text=Formal+Methods+Europe","settingsUrl":"https://yandex.com.tr/tune/search/","helpUrl":"https://yandex.com.tr/support/video/","legalUrl":"//legal.yandex.com.tr/termsofuse/","feedbackUrl":"https://yandex.com.tr/support/video/troubleshooting.html","basename":"/video","currentPageName":"search","isYandexApp":false,"isYandexAppAndroid":false,"isYandexAppIos":false,"isAnyYaBro":false,"isAndroid":false,"isHamster":false,"serpid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","backUrl":"//ya.ru","url":"https://twitter.yandex.com.tr/video/search?text=Formal+Methods+Europe","isIntegrationTest":false,"isEndToEndTest":false,"shouldDropLogs":false,"seo":{"title":"Formal Methods Europe: Yandex'te 2 bin video bulundu","description":"Результаты поиска по запросу \"Formal Methods Europe\" в Яндексе","keywords":"яндекс видео, поиск видео, смотреть онлайн, сериалы, фильмы, клипы","shareTitle":"Formal Methods Europe — Яндекс — поиск по видео"},"isEmbedded":false,"isPumpkin":false,"sessionCsrfToken":"y5a73bea9fe6d2f2499d6d44917b0afb7","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1466867,1457620,1472054,1460716,1460214,1152684,1472010,1472031,1471630,138060,1383553,1464524,1470249,1470225,1469597,1466296,1470858,1475648,1464404,1349071,1470514,241534,123856,1471176,1469393,1304309,284407,90497,151171,126317,1281084,287509,1447467,1006026,1473596,1468028","queryText":"Formal Methods Europe","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"7367668641769623639","uid":"0","isChildAccount":false}},"userTestids":"191768,238743,246500,253288,265553,270072,277807,274239,294077,278842,331010,338398,378416,359879,415420,644350,652605,645301,679708,689693,690449,696466,696473,722746,740796,776165,771230,781521,790415,801982,851450,886706,883477,900639,931367,937268,969063,935488,945314,989988,982463,991363,990185,1015567,1011895,1035320,1033956,1035241,1036046,1087297,1060131,1071879,1078818,1077703,1116602,1045814,1131637,1144233,1151726,1156933,1174275,1173000,1167408,1202006,1194718,1221235,1228280,1239596,1227266,1226860,1246754,1276447,1289213,1316370,1313283,1321224,1300570,1320679,1352408,1342688,1344637,1341968,1345362,1343279,1367583,1336673,1348424,1382036,1391511,1384451,1402882,1407422,1417605,1424780,1429092,1438908,1444206,1449283,1452713,1457995,1459277,1459585,1461130,1472666,1475824,1466451,1299604","regionId":20815,"isYaRu":false,"shouldUnmountSearchPageInViewer":false,"videoGlobalContext":{"platform":"desktop","isPumpkin":false,"language":"tr","user_time":{"epoch":"1769623653","tz":"America/Louisville","to_iso":"2026-01-28T13:07:33-0500","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","isEmbedded":false,"shouldShowMainPageButtonInViewer":false,"shouldDisableWebp":false,"removeLinkPrefix":"/video","shouldUseHighresPreview":true,"shouldCutSnippetTitle":true,"shouldShowPlusBadge":true,"reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1466867,1457620,1472054,1460716,1460214,1152684,1472010,1472031,1471630,138060,1383553,1464524,1470249,1470225,1469597,1466296,1470858,1475648,1464404,1349071,1470514,241534,123856,1471176,1469393,1304309,284407,90497,151171,126317,1281084,287509,1447467,1006026,1473596,1468028","queryText":"Formal Methods Europe","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"7367668641769623639","uid":"0","isChildAccount":false}},"deviceDetect":{"OSFamily":"Unknown","isTV":0,"x64":0,"GoogleToolBarVersion":"","MultiTouch":0,"BrowserBase":"","YandexBarVersion":"","isTablet":0,"YandexBar":0,"hasWebOmni":0,"isTouch":0,"hasYandexCamera":0,"isMobile":0,"DeviceKeyboard":"","device":"desktop","TurboAppPlatformVersion":"","historySupport":0,"BrowserShellVersion":"","DeviceVendor":"","isBrowser":0,"hasFlash":0,"MailRuSputnikVersion":"","isSameSiteSupported":0,"BrowserBaseVersion":"","BrowserVersionRaw":"","hasWebVert":0,"DeviceId":"","error":"","MailRuAgent":0,"ScreenWidth":0,"inAppBrowser":0,"hasHTML5":0,"isEmulator":0,"J2ME":0,"MailRuAgentVersion":"","BrowserEngineVersionRaw":"537.36","isRobot":1,"__is_plain":1,"BrowserEngineVersion":"0537.0036","BrowserName":"Unknown","DeviceModel":"","BrowserEngine":"WebKit","DeviceName":"","OSVersionRaw":"","OSName":"","GoogleToolBar":0,"ScreenSize":"","isTurboApp":0,"MailRuSputnik":0,"YaBuildName":"","isWAP":0,"PreferMobile":0,"DesktopMode":0,"BrowserVersion":"","BitsPerPixel":0,"BrowserShell":"","YaGUI":"","isBeta":0,"OSVersion":"","ScreenHeight":0},"nonce":"4985978263829848756798","disableDoc2DocHostLink":false,"shouldHideChannelLink":false,"disableChannelLink":false,"userConnectionRtt":154,"animated":false,"isDoc2DocScrollFix":true,"smartDesktopLayout":true,"enableVIImprovements":false,"enableLazyPoster":false,"isAdvDisabled":false,"shouldShowVideoPlaylistPane":false,"isVideoTranslationSupported":false,"isSummaryDisabled":false,"isSummaryOnlineEnabled":true,"shouldRenderBroSummaryApiContainer":false,"shouldDropLogs":false,"shouldUseBeacon":false,"hasAdBlock":false,"rknWarnHosts":[""],"relatedAdvRootMargin":400,"postInstreamScreenDuration":2000,"minVideoDurationForInstream":120,"isInstreamEnabledInTesting":false,"isFinalHeartbeatDisabledInNoJsApi":true,"wildcard":false,"isAdvUnderPlayerRedesign":false,"disableEarlyEventsInD2d":false,"isDoc2DocInstantLoadEnabled":true,"disableEarlyEventsUnsubscribe":false,"showDebugRelatedURL":false,"shouldUseBetaErrorLogging":false,"shouldShowMetaUnderPlayer":false,"isVideoViewerMetaTitleHidden":false,"isStickyPlayerDisabled":false,"headerNoFavicon":false,"headerBranded":false,"shouldCensorSensitiveContent":false,"isAdvUnderPlayerTransparent":false,"isDoc2DocGridLayoutEnabled":false,"detailsRedesignEnabled":false,"detailsRedesignV2Enabled":false,"detailsRedesignV3Enabled":false,"isIslandsDisabled":true,"isD2DEmptyLoadFixDisabled":false,"isRoundedPlayerEnabled":false,"isSettingsToolbarRedesign":true,"isDoc2DocEmptyRetryEnabled":false,"isAdvUnderPlayerWithBackdrop":false,"isTouchAdvWithBackdrop":false,"isDoc2DocErrorScreenEnabled":true,"isDoc2DocFeedbackKebabEnabled":true,"isCommentsEnabled":false,"isCommentsCountOnSnippetsEnabled":false,"criticalErrorCodes":["101","102","103","100","151","152","153","154","155","156","150"],"isVideoMainButtonInitiallyCollapsed":false,"isAdvUnderPlayerWithInnerPadding":false,"isKebabAdvancedActionsEnabled":false,"isKebabOnTouchVideoSearchEnabled":false,"isAdvVideoListLikeUnderPlayer":false,"isSummaryInMetaButtons":false,"isSummaryInMetaButtonsDesktop":false,"isMetaCommentsButtonEnabled":false,"preventAdvHideOnEmpty":false},"shouldShowAdvId":false,"isAdultQuery":false,"isSensitivePage":false,"showSensitive":false,"shouldReplaceHref":false},"user":{"tld":"com.tr","isEuDomain":false,"login":"","passportId":"","isLoggedIn":false,"locationName":"Columbus","isFamily":false,"yandexuid":"7367668641769623639","ugcCsrfToken":"","family":1,"isChild":false},"config":{"skinMode":"system","skin":"light","version":"releases-frontend-video-v1.1757.0__1e42d45c824ef14ef6767326055fb713b0c3a145","isGridSupported":false,"advConfig":{"under-player":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"under-player-lite":{"regular":{"default":"R-I-48058-728"},"adult":{"default":"R-I-474674-103"}},"under-player-old":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"video-list":{"regular":{"default":"R-I-48058-708","mail":"R-A-13411721-2"},"adult":{"default":"R-I-474674-101","mail":"R-A-13426421-2"}},"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-row":{"regular":{"default":"R-I-48058-718","mail":"R-A-13411721-4"},"adult":{"default":"R-I-474674-109","mail":"R-A-13426421-4"}},"search-grid-head":{"regular":{"default":"R-I-2120168-7"}},"search-list-right":{"regular":{"default":"R-I-8843654-1"}},"before-player-old":{"regular":{"default":"R-I-2120168-1"}},"before-player":{"regular":{"default":"R-I-2120168-1"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"isSkinInitedOnClient":false},"counters":{"params":{"useBeacon":false,"clickHost":"twitter.yandex.com.tr/clck","pid":197},"dict":{"viewer":"2921","user":"538","info":"1275","sources":"1500","select":"775","close":"486","open":"842","source":"186","link":"513","click":"882","tech":"690","player":"1242","change":"719","summary":"3410","init":"1309","item":"22","button":"440","shown":"3780","copy":"1276","text":"232","load":"1724","fallback":"2010","channel":"1345","hide":"1656","serp":"471","pager":"405","down":"601","up":"600","footer":"295","more":"75","page":"143","loaded":"1007","grid":"3223","support":"2458","client":"2989","layout":"54","list":"436","duration":"2136","within":"3247","on":"10","off":"11","host":"3052","supported":"3761","enable":"2396","disable":"2395","full":"318","video":"231","translation":"347","distrib":"316","onboarding":"2045","filters":"618","lang":"1144","advanced":"255","apply":"2461","reset":"3236","short":"142","toggle":"237","snippet":"254","icon":"1167","abuse":"1436","submit":"297","wizard":"358","incut":"1073","out":"3218","popup":"1544","scroll":"768","show":"487","retry":"3545","feedback":"296","region":"287","help":"177","settings":"1137","recommendations":"2671","home":"1319","soo":"65","youtube":"624","google":"66","bing":"568"}},"clips":{"items":{"16619739562204517586":{"videoId":"16619739562204517586","docid":"34-7-12-ZC1A9F10206ECE71C","description":"Invited talk at FormaliSE2020 by Prof. Corina Pasareanu Corina Pasareanu is an Associate Research Professor with CyLab at Carnegie Mellon University, working at the Silicon Valley campus with...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1990709/aea115349cc81b30ab94d0b058f0cf60/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/zX0LLAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"0","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DlDjUKeKe7QQ","linkTemplate":"/video/preview/16619739562204517586?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FormaliSE2020 Keynote - On the Probabilistic Analysis of Neural Networks","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=lDjUKeKe7QQ\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFgoUMTY2MTk3Mzk1NjIyMDQ1MTc1ODZaFDE2NjE5NzM5NTYyMjA0NTE3NTg2arYPEgEwGAAiRRoxAAoqaGh6dG5hbXFxeWxvcnhoY2hoVUM1clpqMEF5QnVkY2EwWVJnRUFYLU93EgIAEioQwg8PGg8_E60ZggQkAYAEKyqLARABGniB8vz_9f4CAPL9Cf4NA_4BDBH9BPUBAQDzCfQK-wH_APMAAAf-AAAA_gjzB_wAAAD-_Qv99P4BAAsN-wIFAAAADPH9__kAAAD_CPH9_wEAAPnyAPgCAAAAFv4GAwAAAADuBA31AAAAAPYG_goAAAAAEfX9_QABAAAgAC0dPdY7OBNACUhOUAIqhAIQABrwAX8H6gKrHPT8PfLdAN8d6gCaGwj_HxDqAJ4KBgG39-wAGRflAPj1BQAFEx7_5_T9_w8D7wAJFxQACPcaAC8BEQDZBBEAQvr6ABv8BgEZAOz_7BEF_xQRFQAN7_0A8AT8AB4UCP7kA_H_-QH5BfQDEwH6HPsCDg0L_wII_f7__gUEGQX4_e_xCwb0DO76AgMO__T09v4wEff_7-cLARX29_wWCQAFJg3rASTw8gb19vr5HwMEARMYDgEKAAAA7hL7BO0K_gPt7v8C6AYMAR_0FQDr6BL9DBEFBA8K-QAKAQL35Abz_fQCEgDu3AUI_PUJ_CAALakURDs4E0AJSGFQAipzEAAaYDMCACToGc7kDkfdCgza8_QBKgfgvAn_8OoA1_v7th0T2dT_JP9F6hTWsAAAABfjAgYZAOdxDfnR4v0OALu46D7_f_L7KdD1I-XJ9MQKBOoZ7w5CWwAIzKwjSQPVHg4e_yAALXNaKDs4E0AJSG9QAiqvBhAMGqAGAABAwAAAwEEAAIBAAACgQAAAAMAAALBBAABwQgAAsMEAAEBAAABAQAAAKEIAALTCAABgwgAAUMEAAFBCAAAUwgAAeEIAAODAAAC4QQAALMIAAEDAAACgQAAAgEEAAEBAAADoQQAAMMIAABTCAAAAwgAArkIAADhCAACoQQAAoEAAACDCAABAwQAAwMIAALjBAADAQQAA6EIAAJjBAABwQgAA4MEAAEBBAAAAwAAAAAAAAIhBAAAYwgAAQMAAADBBAADgQQAAYEEAAKLCAABAQQAAQEAAADRCAABEQgAA-EEAAObCAACAwAAA6MEAAEDBAABgQQAAVMIAADBBAABQwgAAUMEAAABBAABAwQAAHMIAAIDAAADIwQAAYEEAAMZCAAB0wgAAcMEAAABBAACCwgAATMIAAFTCAACIQgAAGEIAAMTCAADUQgAAoMEAAEhCAADIQQAAUMEAABBBAAAwwQAAyEEAAFjCAABUQgAAREIAAOhBAACwwQAAyEEAAGDCAAAAwAAAgD8AAGBBAABYwgAAlsIAANxCAABAQQAAgMIAAJzCAADAwAAAQEEAALBBAACgwQAA6EEAAAAAAABgwQAAoMEAAEjCAAAAQAAATMIAACDCAADwwQAAJMIAACBBAACQwQAAUMEAABTCAABgwQAAMMEAAEBBAADAwQAAAMEAAADCAAC4QQAA8EEAAPDBAACAwgAAwEAAAETCAADAQAAAGEIAAMjBAADQwQAAIMIAAEBAAACYQQAA2MEAABjCAAAgwQAAEMEAACTCAABQQQAAYEEAAPhBAACwwQAAQEEAAMBBAACAPwAABMIAAABBAACAQQAAtsIAAKDBAACkQgAAQEEAAKBBAADAwQAAOEIAAHjCAAAAwQAA2MEAAFhCAAAgwQAAMMEAAJjBAADAwAAAUEEAAOBAAABQQQAAFMIAAGRCAACgQQAAQEIAAOBBAABAQAAAmsIAACTCAACgwQAASEIAAETCAACgwgAAbEIAAIC_AAAAwQAAUMIAACjCAAAIQgAA-MEAAGxCAAAgQQAAsMEAAADBAACiwgAA-EEgADgTQAlIdVABKo8CEAAagAIAADS-AAD4vQAAPD4AADA9AABcvgAA2L0AAFC9AAAFvwAA2L0AAJg9AACAuwAAgj4AAIg9AABkPgAABL4AAFC9AABcPgAAcL0AAOg9AAC-PgAAfz8AAFA9AACoPQAA6D0AAFA9AAB8PgAALL4AAAS-AACAOwAAyD0AAIA7AADgvAAAyL0AAGy-AACgvAAAiD0AADQ-AABEvgAAFL4AAFC9AAD4vQAA2D0AAFQ-AAAMPgAAoLwAAPg9AAA0PgAAZL4AAJi9AADIvQAAgDsAAEA8AABkPgAAiD0AAFy-AAAwPQAAFT8AAPi9AADYPQAAPD4AAKC8AABAvAAAqD0AAAS-IAA4E0AJSHxQASqPAhABGoACAAAMvgAAUD0AAAy-AAAxvwAAVL4AAIi9AAAQvQAAmD0AADC9AABcPgAAcD0AABS-AACIvQAAmL0AAEA8AADgvAAA6D0AAAU_AACAOwAAsj4AAIg9AABcPgAAEL0AACy-AABAvAAAjj4AAOC8AAAEPgAAyD0AAJg9AACgPAAAHD4AABS-AAA8vgAAyL0AABA9AACyPgAAbD4AACy-AACKvgAAiD0AAIA7AACGvgAAuD0AAJg9AACYPQAAf78AAHA9AABwvQAAXD4AAEA8AABQvQAAPL4AAKI-AAAQPQAAyD0AAIA7AADgvAAAqD0AAKC8AAD4PQAABL4AAEw-AABAvCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=lDjUKeKe7QQ","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":960,"cheight":720,"cratio":1.33333,"dups":["16619739562204517586"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"711326602759784667":{"videoId":"711326602759784667","docid":"34-6-15-Z148BAF5E1640CD06","description":"This is a recording of an invited talk at the Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023). [Apologies for the quality of the recording due to issues with WiFi connection...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/893062/519ac373dc90ddfd98384c47127a2ebf/564x318_1"},"target":"_self","position":"1","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DQeUbKBzJ9Gc","linkTemplate":"/video/preview/711326602759784667?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FMAS 2023 | Prof. Alice Miller - Formal methods within the TAS Governance node","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=QeUbKBzJ9Gc\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFAoSNzExMzI2NjAyNzU5Nzg0NjY3WhI3MTEzMjY2MDI3NTk3ODQ2Njdqrw0SATAYACJFGjEACipoaHp0bmFtcXF5bG9yeGhjaGhVQzVyWmowQXlCdWRjYTBZUmdFQVgtT3cSAgASKhDCDw8aDz8TkhGCBCQBgAQrKosBEAEaeIH_Ef_zAv0A6wMCDQgE_QHzDwMM-f39AOcIAQ79_gEA9O8K_P4AAAAB_Pj__wAAAAEF-wP9_gEADgP3EQMAAAAO-fj7_gAAABES-vj-AQAAA_YD9wIAAAATEvH3_wAAAOwDEQL_AAAA_wX1AwAAAAAN-fcGAAAAACAALZKEyjs4E0AJSE5QAipzEAAaYA0OABDoEe_G9BLsAPvkBur4KPX90OEABtsA4g_31f7w8NYLJP8m2AcExQAAACUF7CnaAN1QCPHsDwXuCQy77xIGf__4_f8W_tnvzuDoGwoW_SMsQwDwDvT2POr8KvI8FiAALT6FWTs4E0AJSG9QAiqvBhAMGqAGAABwQQAAiEEAAJpCAABAwQAASEIAAPBBAADIQgAAgL8AAJDCAAAAQQAAEMEAADTCAABwwgAAgMAAAJhCAAAgwgAAEMEAAITCAADgQAAAIMIAAMDBAABEwgAASMIAAFBCAABQwgAAwEAAAPDBAADSwgAAWEIAAJhBAAAAAAAAqEIAAK7CAAC4wQAAmsIAAEDBAAAMQgAAlEIAAMDAAAA0QgAAQEAAAAhCAACKQgAA4EAAAGBBAACWwgAAJMIAABxCAACoQQAA6EEAAKLCAAAgQQAAAEEAABRCAAAQQgAAOEIAAODCAAAgQQAAAMAAAPhBAACYQQAAAEAAAFzCAABYwgAAgEIAAMjBAAD4wQAAhsIAAABAAAAowgAALEIAAHhCAACAwQAAgL8AADDCAABswgAADMIAAIDAAACIQQAATMIAAOzCAACKQgAADMIAAJZCAACQQQAAsMEAAMhBAABAQgAAqEEAAKjBAABAQAAAhEIAAABCAAAwwQAAuEEAAPjBAADQwQAAsMEAALhCAAAwwQAA6MEAANhBAACIQgAAOMIAADDBAACgwAAA2MEAAABCAACowQAAQEIAANBBAACAQQAAQMEAAMBBAAAAwgAAgEEAAPDBAACgwAAAeMIAAODBAABgQQAAqMEAAGjCAAA4wgAAkMEAAOBBAADAQQAAuEEAADBBAACAQAAAoEAAAKDBAAAEwgAA8EEAAKDAAADYwQAAuEEAAEBAAAAAQAAAeMIAAMDAAADAQQAAJEIAACjCAABkQgAAQMAAAGzCAACQwQAA4EEAAIDAAAD4wQAAuEEAAFDBAAAAwQAAgMAAAAjCAAAwwQAAAEAAALjBAAAgQQAAUMIAANhBAACQwQAAYMIAADzCAACgwQAAAMAAAHRCAADoQQAAgMEAAFDBAAAEQgAABEIAAEDAAAAYwgAAsMEAAABCAABAwQAAcEEAACDBAAA0wgAA2MEAAAAAAABwQQAAAEIAADDBAAAAwgAA8MEAAKBAAADoQQAAyMEAAEDCAABMQgAAOMIAAFBBAACAQQAAhsIAAFDBAACEwgAAQEEgADgTQAlIdVABKo8CEAAagAIAAIA7AABAvAAAND4AAKg9AABEvgAAUD0AAKA8AAAJvwAALL4AAAQ-AABQvQAAuL0AAEQ-AABwvQAAqL0AAMi9AAA0PgAAoDwAAFQ-AACyPgAAfz8AADQ-AAD4PQAAJD4AABC9AABEPgAA4LwAAOC8AADYvQAAUD0AAJg9AACGPgAAFL4AAOC8AACoPQAAoDwAAPg9AACAuwAADL4AAI6-AAD4vQAAcD0AACS-AADovQAAUL0AAHQ-AAD4PQAABL4AADS-AAB0vgAATD4AAIC7AACKPgAABD4AACS-AAAwvQAAJT8AAJi9AADgPAAAZD4AAKC8AACgvAAAQLwAAJi9IAA4E0AJSHxQASqPAhABGoACAAA8vgAAUD0AAJi9AAAtvwAAcL0AAOC8AAAUvgAAQDwAAES-AADqPgAAND4AAKC8AACIPQAAuL0AADy-AACYvQAADL4AAE0_AACYvQAATD4AABw-AACIvQAAyD0AAAS-AACgPAAA4DwAAKi9AABkPgAAFD4AAOA8AAAEPgAAoLwAAFC9AAC4PQAAdD4AACy-AACuPgAAnj4AAIq-AABcvgAAsj4AABy-AAAMvgAARL4AAOC8AAAwPQAAf78AAKI-AABQvQAAML0AALg9AACIvQAAJD4AAEQ-AABQvQAAiD0AADC9AAAcPgAAyD0AAMi9AADgvAAA2L0AAIA7AABwPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=QeUbKBzJ9Gc","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["711326602759784667"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"3314163303979543254":{"videoId":"3314163303979543254","docid":"34-5-12-Z6E94A0DDB3AFD9DA","description":"Claire Dross, Adacore Title: Two-way collaboration between flow and proof in Spark Abstract: There are various kinds of static (and dynamic) verification frameworks and tools, all with weaknesses...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1086986/a06577337952dac20e0e6b254d7e2497/564x318_1"},"target":"_self","position":"2","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DopJtsHVtZFY","linkTemplate":"/video/preview/3314163303979543254?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FormaliSE 2024 - Keynote: Two-way collaboration between flow and proof in Spark","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=opJtsHVtZFY\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFQoTMzMxNDE2MzMwMzk3OTU0MzI1NFoTMzMxNDE2MzMwMzk3OTU0MzI1NGqvDRIBMBgAIkUaMQAKKmhoenRuYW1xcXlsb3J4aGNoaFVDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1PdxICABIqEMIPDxoPPxOXHIIEJAGABCsqiwEQARp4gQbrDAEM8QD5BR0I-wn8Ag0P8_bzAAAA9PIECwkD_gDzAfsC8wAAAO_59gEKAAAA6wD2_u0AAQAbEvQJBAAAABL5-_LzAAAAEP_pAf8BAAAC9-8DBP8AABYMCgH_AAAA6gUQ8wAAAAD3E_0IAAAAABr_BPwAAQAAIAAt4iuxOzgTQAlITlACKnMQABpgFwwAHQUX8uMBGPwVL_D9--wVBty_9wAE9wD1FAv2BxHl8_L9_y6_F-7HAAAAE_0CJwUA8EsK_Nf2CQfiycbp_h1_5gcA9AcO--_-4usjJgfx-Ck6AOPl-BIjCgosBSwcIAAtdJVmOzgTQAlIb1ACKq8GEAwaoAYAAIA_AAAgQQAAQMAAAEjCAAAAQgAAcMEAAI5CAACEQgAAusIAABjCAACUQgAAzsIAAJbCAAB8wgAAJEIAABDCAADowQAAyMEAAMDBAACgwQAA6EEAADjCAACAPwAAQMEAAIDBAABwwgAApsIAAKBAAABEQgAAGEIAAMjBAACgwQAA7sIAAKhBAAB8wgAAXMIAAMhBAACYQgAAgEEAAABCAACIQQAAHEIAAHBCAABEQgAA8EEAAPDBAAAAwQAAMMIAAIBCAACAvwAAAMIAAFzCAABQQQAA0EEAADxCAABAwQAAzsIAAMBBAACAQAAAAEEAAMBBAAAwwgAAoMAAAJbCAACYQQAAyMEAAEBAAACAQQAAwEEAAAAAAAAEQgAAskIAABBBAABwQQAAQMIAACDCAAD4wQAAoEAAAFBBAAA4wgAANMIAAExCAAAQQgAAAEAAABTCAADwQQAAmEEAAPBBAADgQQAAgEEAADBCAAAwQgAAiEEAAGjCAACgQAAAnsIAAIBAAAAIQgAAMEEAAIA_AACgwQAAbEIAABRCAAA0wgAAMMIAALjBAACwwQAAYMEAALBBAACQQQAAuEEAAJjBAAAAwAAADMIAAChCAAAQwQAAQMEAAADCAABAQAAAAAAAAKjBAACUwgAAwMAAAIDCAAAwQQAAfEIAAAzCAAAEwgAAAMIAALDBAACQQQAAIEEAAADCAAAsQgAAIEEAAADBAADAwAAAREIAAFDCAAAswgAAQMEAABRCAAAAwQAAAMEAABRCAACgQAAAHMIAAHDBAABEwgAAQEEAAABBAAAwwQAAQEEAACjCAACAQQAAjMIAAGDBAAB0wgAAOMIAAIZCAACgwQAAaEIAAJjBAADgQQAA4MAAAODBAACgQAAAhEIAAL5CAAAEQgAAEMIAAGRCAAB4wgAA4MAAAODAAADgQQAAmEEAAJjBAADoQQAAVEIAAPjBAABIwgAAWMIAAEjCAACQQQAAgEEAAI7CAABwQgAABEIAAIC_AAAcwgAAVMIAAEzCAABcQgAAMMEAAEBAAACYwQAANMIAAHzCAAAEwiAAOBNACUh1UAEqjwIQABqAAgAAJL4AAAy-AACePgAAiL0AAGS-AADgPAAAuD0AABG_AAC4vQAAcL0AAPi9AADgPAAA4DwAAIg9AAAMvgAAgDsAAJY-AAC4vQAArj4AAO4-AAB_PwAAqD0AADw-AAAsPgAARL4AAEA8AAAwvQAAcL0AAOg9AAD4PQAAEL0AALg9AACGvgAAiL0AABy-AACIvQAAJD4AAOC8AABEvgAADL4AAAy-AACIPQAAXD4AAAQ-AACoPQAAUL0AAOg9AAC6vgAAuD0AAGS-AAAEPgAAuD0AAEw-AACOPgAA-L0AAOC8AAAlPwAAFL4AAFy-AAAcPgAAML0AAIi9AAAQPQAAbL4gADgTQAlIfFABKo8CEAEagAIAAEA8AACoPQAAZL4AACe_AACGvgAA2L0AAMg9AABsPgAAML0AABQ-AACGPgAALL4AABy-AAB8vgAAQDwAADC9AACIvQAAAz8AAFC9AADOPgAA2D0AAEQ-AACovQAAlr4AAEC8AACAOwAAQDwAAAQ-AACIPQAAML0AAKg9AADIPQAAdL4AACS-AADgPAAANL4AAPg9AAC6PgAAqr4AAEA8AABcPgAAmL0AACy-AABAvAAAML0AACQ-AAB_vwAAED0AAEA8AACIvQAAPL4AAFA9AAAcvgAAUD0AAM4-AABwPQAAEL0AAHA9AABAvAAAML0AAMi9AACIvQAAND4AAKA8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=opJtsHVtZFY","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":960,"cheight":720,"cratio":1.33333,"dups":["3314163303979543254"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"16155923890966313995":{"videoId":"16155923890966313995","docid":"34-1-1-Z1BD664F23D82EF53","description":"Abstract: What impact have formal methods made on robotics? what unique challenges does robotics bring to formal methods? how do people fit in? In this talk I will give an overview of the use of...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3715420/a84fe6537c9302689a1429c7bf5c0c5c/564x318_1"},"target":"_self","position":"3","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D1GtVWF3p5LE","linkTemplate":"/video/preview/16155923890966313995?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FM'24 Keynote | Hadas Kress-Gazit - Formal Methods for Robotics and Human-Robot Interaction","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=1GtVWF3p5LE\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFgoUMTYxNTU5MjM4OTA5NjYzMTM5OTVaFDE2MTU1OTIzODkwOTY2MzEzOTk1aq8NEgEwGAAiRRoxAAoqaGh6dG5hbXFxeWxvcnhoY2hoVUM1clpqMEF5QnVkY2EwWVJnRUFYLU93EgIAEioQwg8PGg8_E7EdggQkAYAEKyqLARABGniB_wQAAQT7AOgECgL4AQEA_wcJ__j-_gD1-vr8_gP_APTuCvv-AAAAFPoGAAAAAAD9DgoK9f4BAAju_PzvAP8ABwT9CPwAAAD2EO0B_wEAAPz-BvICAAAAFAkD8_8AAADuFf_6____AP4L-AwAAAAAFQL4AAAAAAAgAC2aXMY7OBNACUhOUAIqcxAAGmAdDQA5z_S71-wq5SXrsv8G60US46Tw__rf_xxIC8gB8dPZCx7_NtIn6KMAAAALCA85JADKdyLDzREFICGwyO4CIX_THAX4PSb82RAJMjMY4R8CRy8A4Nbu-2IX9ST_SwogAC13dRs7OBNACUhvUAIqrwYQDBqgBgAAIEEAAADBAABAQAAABMIAAMjBAACYQgAA2EEAANBBAAAcwgAAQEEAAIA_AAAwQgAAEMIAAJDBAACwQQAAQMEAAFRCAAC4QQAA8EEAAEDAAAAMQgAAiEEAAIjCAACAQQAABMIAAGRCAACiwgAAmMEAAIBAAAAoQgAAgEAAAIA_AAAAwAAA3kIAANDBAACAPwAAXMIAAFhCAACKwgAAQEAAACDBAACowQAAgMAAAABCAAC4QQAAoEAAAFBCAABEQgAAcEIAAKjBAAAUwgAACEIAALBBAADYwQAAwMEAAIjBAACgwAAA4MEAALBBAAAAwAAAsEEAAKBBAACowgAAVMIAAABCAACgwQAAREIAAGxCAAAoQgAAgD8AAIDBAACgQAAADEIAAMBAAAAQQgAAOEIAAMBAAADQQQAADEIAAKBBAAAAwQAAGEIAAEDBAADYQQAAQEEAAFBBAABIwgAAqEEAAHzCAACcQgAA2EEAAIDAAACAwAAADEIAALjBAACAQAAAYMEAAKRCAACYwQAAAMEAADBBAAAsQgAAEEIAAADCAAD4wQAAWEIAAHBBAAAkQgAAbMIAAHBCAAAkwgAAgMEAADDBAABAQQAAwMAAACBBAAD-QgAAKMIAAEDAAADIQQAAKEIAABBCAAAMwgAAAMEAAEBCAABgwQAAsMEAAKhBAACIwgAAAAAAAJBBAACoQQAAAMEAAJZCAAAQwgAAoMEAAIpCAAAswgAA4MAAAHTCAAAsQgAAsEEAAODAAADYwQAAYEEAADxCAACkwgAAAEAAADBBAABcQgAANEIAANDBAAC4QQAA8EEAAIDAAACAwAAA4MAAACDBAACQwQAAEMEAABTCAACkQgAAmMIAAOBAAADgwQAAjsIAAKBAAADAQgAAjEIAAIhBAAC4wQAAQEEAAKLCAAB0wgAA2MEAAOhBAADoQQAACMIAAGhCAABAQgAAGMIAADTCAABwwQAAAMAAAFRCAACYwQAAYMEAALpCAAAgwQAAAAAAAADDAACEQgAAgkIAAFDBAAAMwgAAqEEAACBBAABowgAAQMEAAAzCIAA4E0AJSHVQASqPAhAAGoACAABcvgAAQDwAAAw-AADIPQAAVL4AADA9AADgPAAAB78AABC9AAAQPQAA4LwAADA9AACKPgAAqD0AAIC7AAAMvgAA-D0AAIC7AAAcPgAAvj4AAH8_AAAwvQAA4DwAALg9AABcvgAAmD0AAAQ-AACIvQAANL4AAOC8AAAwPQAAyD0AAGS-AAAwPQAA4DwAAPi9AAAcPgAA2L0AAIi9AACgvAAAgr4AAKC8AADIvQAAiD0AAFQ-AABwvQAAbD4AAJK-AABUvgAARL4AAMg9AABAPAAAND4AAIg9AADgvAAAoDwAABE_AAAUvgAAUD0AAKI-AADIPQAAQLwAAOC8AABEviAAOBNACUh8UAEqjwIQARqAAgAAQLwAABC9AAAcvgAAL78AAFS-AABQPQAAgDsAACQ-AABMvgAAZD4AAHA9AABUvgAAUD0AAMi9AABAPAAAmL0AADA9AAALPwAAQLwAAJo-AACoPQAAUD0AADA9AAAcvgAAuD0AAIg9AADYvQAAUD0AAOC8AABQPQAAUD0AABA9AACAOwAAoDwAADA9AABsvgAALD4AAGw-AAA8vgAAML0AAGQ-AACgvAAA4LwAAFC9AACovQAA4LwAAH-_AABcPgAAiL0AABA9AACIPQAAUL0AAIC7AAB0PgAAgLsAAIg9AACgvAAA2D0AAIA7AADgvAAAcD0AAFC9AACAuwAA4DwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=1GtVWF3p5LE","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["16155923890966313995"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"8452353135569799787":{"videoId":"8452353135569799787","docid":"34-10-7-ZB628A6B81A1826C3","description":"This is a recording of an invited talk at the Fourth Workshop on Formal Methods for Autonomous Systems (FMAS 2022). FMAS brings together researchers working on a range of techniques for the...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4668236/6c01e113130b63c8349b5780ea16fef5/564x318_1"},"target":"_self","position":"5","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DZHMq8_ZvmNg","linkTemplate":"/video/preview/8452353135569799787?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Fmas2022 | Formal Verification for Neural Networks in Autonomous Cyber-Physical Systems","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=ZHMq8_ZvmNg\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFQoTODQ1MjM1MzEzNTU2OTc5OTc4N1oTODQ1MjM1MzEzNTU2OTc5OTc4N2qvDRIBMBgAIkUaMQAKKmhoenRuYW1xcXlsb3J4aGNoaFVDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1PdxICABIqEMIPDxoPPxOxGoIEJAGABCsqiwEQARp4gf8R__MC_QD0CAH9DQL-ABYF-Ab0AQEA8QEHCgMC_wDt-wDz-AAAAPj88QIAAAAA9QED-_P_AQAWBPMA9QAAAA3w_f_5AAAA9xDuAf8BAAD9_wIHBP8AABUEEwIAAAAA9gwS-_8AAAD6AvIOAAAAABkI_wcAAAAAIAAtkoTKOzgTQAlITlACKnMQABpgDQsAHgDi1wgBMezt6-gzDv8P6d2_5f_x8AD7RB_SDSAA0hU1ADXeHd24AAAADMX8IdUA7179yvEQESMH17nSFC1_3AIFEy0E_bUA9eoFDQD8_CwpAP_xEylB7cMw9j0YIAAtYZ85OzgTQAlIb1ACKq8GEAwaoAYAANDBAACYwQAAgD8AAKBAAAAwQgAAUEIAAKBCAACowQAAyEEAAAAAAADIQQAAfMIAAIjBAABAwAAAZEIAAKDAAABEQgAAmMIAADDBAADgwQAADEIAACzCAAAEQgAAEEEAABDBAAD4wQAAWMIAADjCAADwQQAAAEEAAEDAAACwQQAAsEEAADRCAABIwgAAEEEAAAAAAACmQgAAuMEAABBCAABsQgAAEEEAABhCAAAIQgAAgEAAALLCAAAwwgAAiEEAAHBBAADwwQAA3sIAAEDAAAAAAAAAgEEAAIBBAADIQQAA-sIAAJBBAACowQAAoEEAAIA_AABcwgAAoMEAADjCAADCQgAAQMEAACzCAAB0wgAAgMAAAFDBAABgQgAATEIAAFDCAADIQQAALMIAABzCAAAEwgAAIEIAAABCAADIQQAASMIAACBCAAAkwgAAgEIAAADAAABQQgAADEIAAKhBAADgQQAARMIAAIRCAACCQgAAlkIAAHjCAADIwQAAWMIAADjCAABAQQAAIEEAALDBAAAgwgAAgEEAAJZCAABUwgAAgsIAADBBAABAwQAAYEEAAIC_AACUQgAAIEEAAODAAADIwQAAIEEAAChCAACAQAAAYMEAAIDAAAAIwgAAYEEAAGDBAAAAQQAATMIAAODBAABAQQAAoMAAAOjBAADAwAAAIMEAAKDAAACYQQAAUEEAAIhBAAAoQgAAIMEAAEBBAAA0QgAAqsIAABzCAAA4wgAAikIAAKhBAABwQQAATMIAAEBBAAA0wgAAjsIAAATCAAAgQgAADEIAAMDBAAAUQgAAmEIAAMDBAAAkQgAAAEAAAIDAAACuwgAAAEAAAChCAAAgwQAAAEIAADBBAADYwQAAXMIAAEDAAAAAAAAA8EEAAJhBAABAwAAA4MAAAIhCAADAQAAAoMEAAABBAACIwQAAMEIAAOhBAACuQgAAgMAAALDBAACgQAAAIMIAAIjBAABAQAAA0MEAAJzCAAAgwgAA8EEAAIDAAABEwgAAmMIAAEBCAACAPwAAAAAAAFhCAAAkwgAANMIAALLCAABAQSAAOBNACUh1UAEqjwIQABqAAgAAnr4AACy-AAAMPgAAuD0AAOi9AADIPQAAML0AAD2_AAB8vgAA4DwAADA9AAAQvQAAPD4AAGw-AAAMvgAAqL0AAM4-AAD4PQAA6D0AAAE_AAB_PwAAML0AAEw-AAAMvgAAuD0AAJi9AACoPQAAgLsAAMi9AABAPAAAJD4AAKC8AAAEvgAAoLwAAHA9AADYPQAAiD0AAAy-AAA8vgAATL4AAJi9AADIvQAApj4AAIg9AADYPQAAED0AALi9AACmvgAAmL0AADy-AACoPQAAFD4AAI4-AABMPgAAnr4AAFC9AAA5PwAAgDsAAMg9AADIPQAAcD0AAIC7AAAQPQAAfL4gADgTQAlIfFABKo8CEAEagAIAADA9AAD4PQAAoLwAACu_AABUvgAANL4AAOg9AAAwPQAAQLwAAFQ-AAAwPQAAqL0AAIC7AAD4vQAAPL4AAHC9AACavgAADz8AAJi9AAB8PgAAXD4AAFy-AADovQAADL4AAFC9AACAOwAAXL4AAKg9AAC4PQAAJD4AADA9AADIPQAAVL4AAOA8AAC4vQAA-L0AAMo-AADoPQAAbL4AAJi9AABkPgAAQLwAAIi9AABQPQAABD4AADA9AAB_vwAATD4AANg9AADovQAAoDwAAHA9AAAcPgAAiD0AABC9AAD4PQAAyL0AACy-AACAOwAAMD0AAEA8AACYvQAADL4AAJi9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=ZHMq8_ZvmNg","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["8452353135569799787"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"11936787052546921883":{"videoId":"11936787052546921883","docid":"34-3-5-ZD0348358421A87E7","description":"This is a recording of an invited talk at the Sixth Workshop on Formal Methods for Autonomous Systems (FMAS 2024). FMAS brings together researchers working on a range of techniques for the formal...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1784911/152e6e0e9e9da4a5e95e9c3f171032d9/564x318_1"},"target":"_self","position":"6","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DpVYshMo67aY","linkTemplate":"/video/preview/11936787052546921883?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Fmas2024 | Dr. Silvia Lizeth Tapia Tarifa - Self-Adaptation in Autonomous Systems","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=pVYshMo67aY\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFgoUMTE5MzY3ODcwNTI1NDY5MjE4ODNaFDExOTM2Nzg3MDUyNTQ2OTIxODgzaq8NEgEwGAAiRRoxAAoqaGh6dG5hbXFxeWxvcnhoY2hoVUM1clpqMEF5QnVkY2EwWVJnRUFYLU93EgIAEioQwg8PGg8_E8QTggQkAYAEKyqLARABGniB-wr-CQL9APoY_wb4Bv0C9Pnt__n-_gD4-gMO-wT-AOz9_AME_wAA-QL6_gYAAAD3Bvr98_8BAB8A9gwCAAAAB_ACBAEAAAAED_sECgABAQH48gME_wAABg0JAP8AAADyDP_--v8AAP4QBQEAAAAAH_4ICgABAAAgAC3gdcw7OBNACUhOUAIqcxAAGmAFCgAcB_Pv5CUa6hDq8BTYBRTx6MbsAOUMAOYhC8HxCPGn_g4AGO0N678AAAAN0fMX6wACVg7U4vQAIPrqxtYwBn8CBP8KK-v6svjh_wj15-L_GjoA1AD9B03c-g3kOAcgAC0Poks7OBNACUhvUAIqrwYQDBqgBgAAqMEAAFTCAACWQgAAFEIAADBBAAAQwQAAgL8AACjCAADYwQAAIMEAABhCAACAvwAAksIAAL7CAAAQQgAAEEEAAMhBAADgwQAAAEIAAFDCAAAoQgAAoEEAAKDBAACkQgAAikIAAIBBAACMwgAAosIAAORCAADiQgAAkEEAABTCAAA4wgAAqEEAAOjBAADgwAAAaMIAACBCAABQQQAAqEEAAJBBAABgQgAAXEIAAMhBAADwQQAAIMEAAGjCAAAAwQAAjEIAAIBBAACWwgAAnEIAABTCAAAEQgAAQEAAAMBAAAAMwgAAQEEAADzCAAAkQgAAUEEAALDBAAA0wgAAMMEAAEjCAACgwAAA0EEAAOjBAADgwAAAQEAAAKBAAACkQgAAksIAAABBAAAgwgAAUMIAALjBAABwQQAAbMIAADBBAACAwgAAiEEAAMjBAABAQAAAqEEAAERCAAC8wgAA-EEAAJJCAADowQAAQEIAAIBAAACeQgAAMMIAAPjBAACEwgAAAEIAADRCAABAQQAASMIAAIDBAAAcQgAAjEIAAODBAABYwgAA4EEAAIDBAAAwwQAAkEEAAMhBAAAgwgAAeEIAABBBAAAkwgAAYEIAAExCAACAwgAAUMEAAHDCAACAQAAATMIAAABAAAAYwgAAgEEAAMBBAABUQgAA6MEAAIA_AAAgwQAAIEEAABDBAABowgAAQMAAAABCAAAcwgAASMIAAHDBAAA0wgAAOMIAACTCAABgQQAAFMIAADhCAACAwQAAkMEAABBBAADAwQAAKEIAAChCAAAwQgAAEMEAAARCAAAwwQAAsEEAAJBBAADIwQAAgMEAAJjBAAAAQgAAWEIAAKDAAAAgQgAA6MEAAI7CAABwwQAAIEEAAIDAAADIQQAA0EEAANjBAACYQQAAAAAAAFRCAABAQAAAAMAAAKjBAACQQQAAoMAAAKBBAABgwQAAqMEAAABBAABgQQAAHMIAAMpCAAAwwQAAeMIAAEDAAABQQgAAQEEAAHTCAAAAwAAAgEAAABzCAACAPwAADMIAADzCAAA8QgAAQMIAAKhBIAA4E0AJSHVQASqPAhAAGoACAABEvgAALL4AABw-AABAvAAAML0AAOg9AAA0PgAAAb8AAHS-AACIPQAAQDwAAEC8AACCPgAAcD0AAHC9AAAsvgAAXD4AAPg9AABsPgAA7j4AAH8_AABwPQAAuD0AAHA9AAAQPQAAML0AABA9AAAwPQAANL4AAAQ-AAAwPQAAML0AANi9AAAEPgAABD4AAOg9AADIPQAAXL4AAFy-AABAPAAAgr4AAIC7AABwvQAA6D0AAIA7AADYvQAAiL0AAOi9AAAMvgAABL4AAEC8AACCPgAAmj4AAJI-AAA0vgAAoLwAAAs_AAAEPgAA6D0AAHA9AACIvQAAcD0AAOC8AABEviAAOBNACUh8UAEqjwIQARqAAgAATD4AABQ-AADgPAAAJ78AALK-AACgvAAAHD4AAEw-AAAMvgAAfD4AAFA9AADSvgAAgDsAAIa-AADgvAAAiL0AABA9AAAhPwAAyD0AAKI-AABwPQAAQLwAAEC8AAAkvgAAcL0AABC9AABkvgAAqD0AAKC8AACYPQAAUD0AAKg9AAA8vgAA4LwAABA9AAA8vgAAvj4AAII-AACivgAAED0AAAw-AAD4PQAATL4AAOA8AACIvQAAfD4AAH-_AAAwPQAAcL0AADC9AABAPAAAUD0AAKg9AAAUPgAAND4AAJg9AADgvAAAgDsAADC9AACgPAAAuD0AAAQ-AADgPAAAuL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=pVYshMo67aY","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["11936787052546921883"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"11436540494555194987":{"videoId":"11436540494555194987","docid":"34-7-13-Z4B5B89C9324426AE","description":"This is a recording of an invited talk at the Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023) joint with iFM 2023. FMAS brings together researchers working on a range of...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3451922/71381aed63e3dfd93eabd879ca2d5485/564x318_1"},"target":"_self","position":"7","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D0BCRFtzZ9BM","linkTemplate":"/video/preview/11436540494555194987?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FMAS 2023 | Prof. Erika Ábrahám - SMT: Something you Must Try","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=0BCRFtzZ9BM\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFgoUMTE0MzY1NDA0OTQ1NTUxOTQ5ODdaFDExNDM2NTQwNDk0NTU1MTk0OTg3aq8NEgEwGAAiRRoxAAoqaGh6dG5hbXFxeWxvcnhoY2hoVUM1clpqMEF5QnVkY2EwWVJnRUFYLU93EgIAEioQwg8PGg8_E80bggQkAYAEKyqLARABGniB_PAB_P0DAPwADwUHB_wB6A0DBfv__wDxAgjyAwEAAP0CCgAJAQAA6AD4_wcAAADx_P0AAwAAABQD-wYEAAAAAPIAAfgAAAANB__6_gEAAPz0C_wCAAAAFgX-BgAAAAD__wn5AgAAAA0IAvwBAAAADgUCAwAAAAAgAC3Fw9w7OBNACUhOUAIqcxAAGmAUDgAPEij9yxMf7-MG7hz9_Rf0_eHiAPn4APor8-T_9NzfJxz_NtD88sMAAAAXDdwZ8QDOVevk2gQLEfHjseccI3_sBOv2IBXi2d_56yEW4-PwJy0A6gLl9CQO8TAfNS8gAC1y2FI7OBNACUhvUAIqrwYQDBqgBgAAuMEAAJhBAADgQQAAcMEAACBCAACeQgAA8EEAADhCAACYwgAADMIAAEBAAACAPwAAwMAAAKRCAACwQQAAgEEAAHDBAAAkwgAAUMEAALhBAADIQQAAgMEAABRCAACAPwAAIEIAAODBAAAAwQAAgMEAAABBAAAQQQAAXMIAADTCAAC2wgAAMMIAABDCAACAwAAAoEAAABRCAAAkwgAAAMAAAAAAAAAAwgAA4EEAAJ5CAAB8wgAAwEAAAMhBAABAQgAAoEEAAPjBAAA0wgAAQMEAACjCAAAQwQAAUEIAADTCAACkwgAAoEAAACDBAAA8QgAASEIAABTCAADAwQAAdMIAAI5CAACYwQAAIMIAAMDAAACIwQAAgMEAAIjBAACSQgAAgD8AADDBAAAMwgAApsIAALDBAAA8wgAAQMAAALBBAADgwAAArkIAADDCAAAwwQAAPEIAAAxCAACgQQAAMMIAAJhCAAAAwQAAnkIAAEBCAAAMwgAAiMIAAATCAABgwgAABMIAABhCAAAwQQAAQMAAALDBAADQwQAAaEIAAMBAAAAIwgAAIEEAACBBAABwwQAAPMIAAFBCAACwQQAAkEIAAETCAACYQQAAhEIAAODAAADYwQAARMIAAHDBAADAwQAAnkIAAEDBAADIQQAAaMIAAEDBAAAMwgAAoMEAAMDBAABQwQAAuEEAAEDBAACgQQAA6MEAAIJCAAAAwQAAQMAAANDBAAAMQgAAoEEAAKjBAAAMQgAALMIAAOjBAACMwgAAAAAAAABBAAB8wgAATEIAADxCAABEQgAAcMIAACDBAACUwgAAsMEAADBBAACEwgAAgEAAAPjBAADAwAAAjkIAAPBBAACEQgAAUMIAANDBAADgQQAAEEEAAPhBAAAAQgAAGEIAAMDAAADoQQAAIEIAADjCAAA0wgAAAMAAADBCAABgwQAAgMIAAHxCAACQQgAAKMIAAITCAABkwgAAYEEAABBCAAAsQgAAgL8AALLCAACcQgAACMIAAATCAACAwAAA4MAAAJBBAAD4wQAAEEIAALBBAAAYwgAAgMAAAFBBIAA4E0AJSHVQASqPAhAAGoACAADgPAAAcD0AAKo-AACoPQAARL4AABA9AACIPQAAB78AAIi9AAAwPQAA4DwAAJi9AACAuwAAuj4AAIi9AACIvQAA6D0AAOC8AABcPgAADz8AAH8_AABwvQAAgDsAAFA9AACYvQAADD4AAKg9AACIvQAAEL0AAJo-AABQvQAAVD4AAHy-AACoPQAAED0AACy-AABwPQAAEL0AAFS-AACAuwAAVL4AADC9AABAPAAA4DwAAAS-AABwPQAAdD4AACS-AAAwvQAAHL4AAPg9AACKPgAAsj4AAEw-AAAMvgAAQDwAADE_AADovQAAZD4AABQ-AACovQAAuD0AAOA8AAAsviAAOBNACUh8UAEqjwIQARqAAgAAcL0AABC9AAAQvQAAOb8AAKC8AAAwvQAA6D0AAKC8AABkvgAArj4AAPg9AADovQAAML0AAIa-AAAwvQAAUL0AAKC8AAAzPwAAcD0AADQ-AACAuwAAuL0AAIC7AACIPQAAcD0AANg9AABUvgAAgLsAALg9AACYvQAAEL0AAIC7AADIPQAAPL4AAOC8AAC4vQAAPD4AAJg9AAAkvgAAuL0AAAQ-AABAvAAA4LwAACS-AAAMPgAAUL0AAH-_AAC4PQAAiD0AAIi9AACGPgAADL4AABQ-AAAQvQAANL4AAIC7AACAuwAAiD0AAFC9AAC4PQAA-D0AANi9AAAkvgAA6D0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=0BCRFtzZ9BM","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["11436540494555194987"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"565713772494150254":{"videoId":"565713772494150254","docid":"34-4-14-Z081F117A41FEDDB4","description":"Invited talk at FMAS 2021 by Divya Gopinath. Divya Gopinath is a Researcher in Formal Verification in the Robust Software Engineering (RSE) group at the NASA Ames Research Center, her research...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2919658/163b0ad9681f364269ae431ed5a5402f/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/79rl4AEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"8","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DmIJ3yVVy_BM","linkTemplate":"/video/preview/565713772494150254?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FMAS 2021 - Understanding and Verifying Deep Neural Networks","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=mIJ3yVVy_BM\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFAoSNTY1NzEzNzcyNDk0MTUwMjU0WhI1NjU3MTM3NzI0OTQxNTAyNTRqiBcSATAYACJFGjEACipoaHp0bmFtcXF5bG9yeGhjaGhVQzVyWmowQXlCdWRjYTBZUmdFQVgtT3cSAgASKhDCDw8aDz8TxhyCBCQBgAQrKosBEAEaeIEEC_MBAAAA7wUMBRED_QAMCgf_9gEBAPr-AfkEA_8A9AoLBQkAAAD9AvsGAQAAAAEIAf7x_gEAFg_2CAMAAAAM8f3_-QAAAAcB_f7_AQAA__UECAT_AAAI7g8DAAAAAPcMEvv_AAAABQcDFAAAAAAAAAIHAAAAACAALXgc1Ts4E0AJSE5QAiqEAhAAGvABcezwAsf9AP4T8PIA-RjkAYEFC_8eEOsAve7_AM4C6QD5HvQB4t8OAAUSHf_D_u4B9_nz_zsRAQAABAr_LgERAAAKCgA-1_gBKPMGAA8CB__2GQcAJfkeARPvCQAHEQH-F_QO_dsEzv_p9Pn_C_8uAQgCBgAq8ff_8xgT-wIUCwIBFvgE8wEKAd7_AwD3FgcGC_DpARYa9P3gAf4EGv7sAv8KAwIlDewBKf4BA_X5Cvn49Qb8Ef8A_ATzAAf8CAsF1fcP-Abr_wDkDQr4Jfn4BAH4EwgB-BAI-APy__f3_P7l-gv07xYBAPIGCAUA-fb-IAAtbidIOzgTQAlIYVACKs8HEAAawAfBpwW_1JUVPHLD77zJym890pKiPMpDFTvThG07ioKNu16kKzzS_9I9aSp1PVSUBbyXx6q-E8fsO74RnbzdJ58-Get2PZQNkDwQsPa9CKROPUe3Urv1oWu-hNMHPXQ1w7tu54E9lqRfOxSLST0cDEU-Vcy1uhDvFD39s-67-HptvWMWcL2X1J47rFuYvaHQl7xTlww-Doa6vE97pTxGWMk9vH6MvUU7ODtmSPq88W47PQlpkbucbOO9bdjAvM1lGT3qr_c9MbJROshNAz2x3gg9DhtAu3inr7tHVbg8Kgi5vNT5C70V3LQ8VNBDPUEhzDxdTi49MQP6vK13rDs-GW29bzNQPbBjkjzdtBk-PRbRPANg-rsYPmK9drd8PRbfKzzBTAC9f7RJPVN9gryvZ349wUIcPEJ5HTyjF707BTPoOxC1yDy4_oI9NlPGuzh6xrwP5-u8pk2APePq17qWWak8ogGGPMA9sjs4PIO9k7g9veXbsbw2EME9urvOvcDUxzq-hws-n2l0u3-QmzwcMF49v9ervBjHkjxoDfk8DMhDPUobmLxzDyk9bDDDvLbOibvPhQ88-9k-PUhTmLxMule9UeeAvPkyLLz0_t89vKIlvZQtlrvxKQU9ennwPNdkFTxwwYg8B5WdvPBwGrzjgCe9aL2OPNR8Ory_ETi8nOyVvAFUbbtHuZo9Y1Y5vF4GjDvF2im8ci1_vEZn9Dp3XhQ9faH2PFgRwbppGB-8FCIgvTompDrYQwA9hkDJPWUfNbkCpkI8n6kcvdiyhLoVykI8yrFrPZvM6jmvFk492wcLvH4fMLk6AQ87VwM5vAp0HzqLFK-8wMVUPPK73LneGOe8IikTvUvyiblf3Hw8NeWUvIYCjLjvuR292FeovG86IbpVhDu9VK0FPUgWnLgWQEI8XtoQPdx5h7eMguA8nNGwvatSTbjctL48XEKZvJc8y7iVmmw5ZqQ5vPUe2zjCtLm8TIqfvQZgdjgRHsi7kX1QPe8djDY4AR-8DoN5PODBRLjlDhs7ZXDSuxgnZ7jl4rm8cWibveWtCDYoWC09qw-KPVYUmrisCZi9SBC2OwSmwTdN2lS9hveWvTeDAbdYPHW8lqWpu2DnyLZ3c-e88GMxvcLD3DfrhGE9KxjVvDyT8biB26g6eKDKOnbHObj2Ru08VIO6PCdWirc5Mdq8d4H3vMasZ7eGECE9XHfTvd7zm7chMrY8OznjPQQbBjnv8rO92gICPlDxYLkBLUK9JDo1PSjZHbdUNuy8RviNvc4G0LcgADgTQAlIbVABKnMQABpgQP4ABdop2dsQF_Dm2dwF4gUX9P3C7P8EygDlIO_-C-z8yQoi_0_fI-yxAAAAIAACCBkA5mr85ewb2yoUvrUZBy1_7w82zQoT48TD4gnc7g_q_zQfAArirRQs69wjJkIJIAAtvmAxOzgTQAlIb1ACKq8GEAwaoAYAABjCAABkQgAA4EAAAIhBAADAQAAAgEAAAChCAABwQQAAgsIAAMBAAACYwQAAKMIAACjCAAAgQQAAPEIAAMDBAADgwAAAqsIAAABBAACMwgAAoEEAAAAAAABAQQAAjkIAABRCAADgwQAAjMIAAJrCAACaQgAATEIAACBBAAAAwgAAksIAAMBBAABYwgAAQMEAAOBAAAC4QgAAIEIAAIC_AAAwQgAAAEEAAIBBAADQQQAA4EEAABTCAACIwQAAcEEAAKJCAAAAAAAApMIAAEBAAABEwgAAoEAAAIpCAACAQQAAAMMAAHDBAAAwwQAAYEEAAIxCAAAswgAA0MEAAJjCAACsQgAAEMEAABBBAAAUwgAAksIAADzCAAAIQgAA0kIAAGDBAABQQQAA4MAAAATCAAAYwgAA6EEAACBCAABAQAAAkMIAADhCAABcwgAAoEAAAGxCAABAwQAAQMEAAKhBAACUQgAA8MEAAOBBAADYQQAAiEEAAJbCAACQQQAAPMIAAARCAACgQAAAoMEAADTCAAA0wgAAUEIAALZCAADYwQAAgL8AAEBBAACowQAAPEIAABTCAACIQQAAQEAAAChCAACgwQAAmMEAAKDAAADAQQAAkMEAADjCAAA4wgAAoEAAAKBAAABQwgAAQMEAALDBAAAEQgAAwEEAAIDAAABAwAAAKMIAALDBAACowQAAAMEAAODAAAAQQQAAgMEAAKBAAABQQQAA8MEAAEDBAAA4wgAA8EEAAOjBAABoQgAAAMIAAIJCAABMwgAArsIAAIBAAAAEQgAAgD8AAGjCAAAwQQAAMMEAANjBAABAwAAABMIAAIDAAADIwQAAgL8AAHRCAADAwAAAwEAAAOjBAAAQwgAAEMEAAAjCAADgQQAAwEAAAKBAAAA0wgAAJMIAAIpCAAAAwQAAIMEAAABAAADgQAAAtkIAAMDBAAA8QgAAbEIAABDBAAAQwQAAPMIAAIjBAACIQgAAoMEAADzCAABAwQAAcEEAADhCAAAUwgAATMIAALDBAADIwQAAUEEAAIBAAABcwgAABMIAADTCAADgwCAAOBNACUh1UAEqjwIQABqAAgAAfL4AADy-AACOPgAAiD0AAFy-AAAUPgAAVL4AABu_AACevgAAgLsAAAw-AABQvQAAdD4AAFw-AAC4vQAAQDwAAOY-AACgvAAA1j4AADM_AAB_PwAABD4AAIY-AAAcvgAAyD0AAGQ-AABEvgAAML0AAKA8AADIPQAAJD4AADS-AACAuwAAZL4AAKC8AACgPAAAgLsAAFS-AAAcvgAATL4AAEy-AACgvAAAmj4AAAy-AACYPQAAnj4AALg9AADCvgAAgDsAAFS-AAAkvgAA2L0AADQ-AACIPQAARL4AADA9AABvPwAAbL4AALI-AACoPQAAXL4AALi9AAAwvQAAcL0gADgTQAlIfFABKo8CEAEagAIAAIi9AAAkPgAAiL0AAEO_AACavgAALL4AAKg9AAAQvQAAmD0AAFQ-AAAQPQAAFL4AALg9AACYvQAAmL0AAKi9AABsvgAAET8AAJi9AACiPgAAPD4AACS-AABQPQAAfL4AABC9AAAUPgAAVL4AACQ-AABwPQAAiD0AADA9AABQPQAAqL0AAOi9AAAwPQAAuL0AAKo-AACIPQAADL4AAKC8AACCPgAA4LwAACS-AAC4PQAAqL0AABC9AAB_vwAAFD4AAKi9AADYPQAAoDwAAKA8AAAQvQAAnj4AAKg9AAD4PQAA2L0AALi9AAAwvQAADL4AAFA9AACAuwAA6D0AAIi9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=mIJ3yVVy_BM","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["565713772494150254"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3459647897"},"18280291670594110618":{"videoId":"18280291670594110618","docid":"34-9-16-ZADD62149CACCF8F5","description":"Chair: Eerke Boiten Presenter: Alessandro Cimatti Title: Formal reliability analysis of redundancy architectures FM'21 | Session 13 : Journal First Track Paper...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/986839/a237193bbdbbb735f5893ddeee314994/564x318_1"},"target":"_self","position":"9","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DIsX8iXwOD8I","linkTemplate":"/video/preview/18280291670594110618?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FM'21 | Session 13 : Formal reliability analysis of redundancy architectures","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=IsX8iXwOD8I\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFgoUMTgyODAyOTE2NzA1OTQxMTA2MThaFDE4MjgwMjkxNjcwNTk0MTEwNjE4aq8NEgEwGAAiRRoxAAoqaGh6dG5hbXFxeWxvcnhoY2hoVUM1clpqMEF5QnVkY2EwWVJnRUFYLU93EgIAEioQwg8PGg8_E5sIggQkAYAEKyqLARABGniB9wX3_P4CAPUM-gMDBP4BAgwA__f__wD0CwMG_QL_APv9Bu_9AAAA_wYB_wUAAAD2-P__8_8BAAkH-_kEAAAAFvkADPkAAAAAF_YH_gAAAPz78vIBAAAAB_z7Cv8AAAD8DAf_AgAAAPX7BggAAAAACgL1AQAAAAAgAC1aINg7OBNACUhOUAIqcxAAGmAX_AAMOBr0vxsz7AnW0t0N8vH69aYy_93F_8n63tQR9ASX6wj_PuQP-aEAAAAxDwAl9wAOd-cgt_3tBB4A0-EAFH_kAt3z8g_hxPLQ1gznD94ERV4AqffoDC-Q4hYzV-EgAC2bLBs7OBNACUhvUAIqrwYQDBqgBgAAiEEAAIDBAAAQQQAA4MEAACDBAABUQgAArEIAAKhBAABIwgAAssIAAFBBAAC4QQAAOMIAANDBAACAwQAAPEIAAEDAAAAQwgAAuMEAABDBAACoQQAAhsIAAGRCAAC4QQAAEMEAAGRCAACIQQAA0MEAAMBAAADIwQAAAMEAAPBBAAB4wgAAqMEAACDCAADAQQAA8EEAAIRCAAA4wgAAmMIAAMBAAAAYwgAAjkIAAEDBAACCQgAANMIAAJ7CAACIQQAAoEEAAGBBAACAwAAAqEEAAFTCAAAAwQAACEIAAIBCAAB8wgAATMIAAFDBAAB4QgAAVEIAAEjCAAAAwAAAOMIAAOBBAAAYwgAAMMEAALjBAAD4QQAAkMEAABhCAAAwQQAAlMIAAAhCAADowQAADMIAAABBAAAYQgAAsMEAAOhBAACGwgAAokIAAGDBAAAQQQAAkkIAAEDBAACIQQAAgEEAAEDAAAAAwQAAwMAAAHBCAACgwQAAIMEAADDCAACEwgAAmMEAAMDBAACWQgAAYEEAAILCAAD4QQAALEIAACDCAACkwgAAcEIAAGTCAABEQgAAcMEAAFRCAADAQQAA6MEAABDCAABUQgAA4EAAABBBAAD4QQAAUMEAAHDCAAA0wgAAqEEAAAzCAADQwQAA4EAAAHjCAACgwQAA8EEAANBBAACYwQAAAMAAALjBAADuwgAAoMEAANBBAACIQgAA2EEAAIBBAADQwQAAAEIAAETCAADAQAAAQMAAADBCAADgQAAAmEEAAMDAAABgQQAATMIAABBCAACOQgAA4MAAAIhBAABAQAAAhkIAAOhBAABgQQAAHMIAAIC_AAAAQQAAAEEAAKBAAABQQQAAmMIAANDBAAAAwAAAMEIAAIA_AACMQgAAUEEAAPDBAAAQwgAAHEIAALBBAACswgAALMIAACBBAABoQgAAgD8AAIhBAADwQQAAcMIAAAAAAACCwgAAQMEAAKBCAAA4QgAAFMIAAMjBAACOQgAALMIAAHDBAACYQQAA4EEAAEDBAABgQQAAcEIAAHDBAAAAwQAA6MEAAEDCIAA4E0AJSHVQASqPAhAAGoACAACAOwAA4LwAAIo-AABMPgAAFL4AAHA9AACovQAA0r4AAEy-AADgPAAAyD0AAKg9AAAUPgAAij4AAEy-AAA0vgAAND4AAFC9AAA0PgAAyj4AAH8_AAAQPQAABD4AAGw-AADgvAAAfD4AANi9AABQPQAALD4AAOA8AADgPAAA6L0AADS-AACIPQAA2D0AAKi9AACgvAAAir4AAIK-AADovQAABL4AAEA8AACoPQAAuL0AAHC9AABAPAAAJD4AAIa-AAAMvgAAPL4AAKi9AACYPQAA2D0AAMg9AABMvgAAEL0AAPY-AADgPAAAqL0AAIo-AABAvAAAED0AAIg9AAD4vSAAOBNACUh8UAEqjwIQARqAAgAAVL4AAKg9AACgvAAAQb8AAES-AACYvQAAFD4AAAS-AAAQvQAABz8AAFA9AADgvAAAQDwAAAS-AADgvAAAiL0AAIi9AAA7PwAAPD4AAAE_AAAQvQAALL4AAKi9AACovQAAoDwAAOg9AABcPgAAJD4AAKC8AACAOwAAqL0AAKA8AAAUPgAAJL4AAEA8AADYvQAAqD0AAJo-AAA8vgAAgDsAABw-AACAOwAAcD0AAES-AACAuwAAEL0AAH-_AABAvAAABL4AADA9AAAwPQAA6L0AALg9AAAwPQAAgDsAAOA8AACAOwAAHD4AAFC9AAAwvQAAHD4AAMi9AADgvAAAPD4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=IsX8iXwOD8I","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["18280291670594110618"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"4282447640412636609":{"videoId":"4282447640412636609","docid":"34-1-15-Z67FDB7269354D328","description":"Chair: Tarmo Uustalu Presenter: Jonathan Huerta Y Munive Title: Gaussian Process-Based Confidence Estimation for Hybrid System Falsification Paper: https://doi.org/10.1007/978-3-030-908... by...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2746327/8f1086e974d82aae1216cd03476b4ef2/564x318_1"},"target":"_self","position":"10","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DzUpKhV5ttzI","linkTemplate":"/video/preview/4282447640412636609?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FM'21 | Session 8 : Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models...","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=zUpKhV5ttzI\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFQoTNDI4MjQ0NzY0MDQxMjYzNjYwOVoTNDI4MjQ0NzY0MDQxMjYzNjYwOWqvDRIBMBgAIkUaMQAKKmhoenRuYW1xcXlsb3J4aGNoaFVDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1PdxICABIqEMIPDxoPPxOSCYIEJAGABCsqiwEQARp4gf4Y__8AAAABCwMG-Aj9AhQQDgb1AgIA4gX9AQD8AgDsBAjyAAAAAOLy9vwEAAAA9_kMAAL_AAAQAff8BAAAAAn2Dgr-AAAA8BT49_8BAADw-_wDAwAAAAkFBAEAAAAA_A0H_wMAAADy__P2AQAAAA0GCPoAAAAAIAAt4XDROzgTQAlITlACKnMQABpgHgMADhP05NszDc_H4ukZE_327eOf5f8fEwDUF_DkMgH9qgMYAFEDDM6tAAAAAc3tGP0AAnHm7OcW7x8JugvNByZ_BBThFBcG7slB9Mb4-zfW8ihKALn1FhZn_PtB0B7yIAAt2lcmOzgTQAlIb1ACKq8GEAwaoAYAAGxCAABMQgAANEIAAMjBAADwQQAADEIAALhCAAAkwgAABMIAAEDBAABgQQAAgMAAAHzCAACAwAAAsEEAAMDBAAA4QgAACMIAAOBBAABAwQAAEMEAAODAAACIQQAAIEEAAJjBAABAQAAAsMEAAFTCAAAsQgAAQEAAAIDAAACMQgAAXMIAAADAAAA4wgAAEMEAAIxCAACWQgAAAMAAAFBBAADgQAAA-EEAAABCAAAEwgAAEMEAAJrCAAAAAAAABEIAAERCAAAAwQAAiMIAAAxCAAAgQQAAwEEAABRCAAAAQAAAmMIAAHBBAAC4QQAALEIAANhBAABowgAABMIAABTCAACcQgAADMIAAHjCAADowQAAgEAAAIDCAACqQgAAKEIAABzCAACgwAAAKMIAAHDBAABswgAAEEIAAIDAAAAAQgAAisIAAIRCAAAUwgAAlEIAAChCAABAQgAAGEIAAAAAAAAEQgAAEMIAAKDBAAD-QgAAbEIAAOBAAABAwAAAjMIAAEDAAACYwQAAnEIAAKBAAAAAwgAAMEIAAMhBAAAowgAAQMIAANBBAAAQwQAAAEEAAADCAAA8QgAAmEEAAIBAAACwwQAANEIAAIjCAADAQAAAAEIAALBBAADgwAAAwMEAAIDBAADAwQAAIMEAACjCAABgwgAAKMIAAOhBAADgwAAAMEEAAJhBAACQQQAAmMIAACjCAACwwQAADMIAAKZCAACwQQAA8MEAAARCAAAwwQAAIMEAADBCAAAAwAAAOMIAAGRCAABkQgAAFMIAADxCAACYQQAAgEAAAKrCAACQQgAADMIAAKBBAACAQQAAIMIAAEzCAABwQQAAwMEAALhBAADYwQAANEIAABjCAAAowgAAwEAAACDCAABQwgAAtEIAAChCAAAAwgAAoEAAAHBBAAAoQgAATMIAAKBAAACQwgAAFEIAAOhBAACwQQAAgEEAANDCAAAMwgAAEMEAABBBAADAQQAAwMEAAJDBAABQwQAAJMIAAKBBAABAQQAA2MEAAJBCAAC4wQAAqMEAALBBAAAAQQAAkMEAAEDAAAAAQiAAOBNACUh1UAEqjwIQABqAAgAAur4AANi9AACmPgAAhj4AACS-AABwvQAAyL0AAP6-AABcvgAAQLwAAEw-AABcPgAA-D0AAJI-AADIvQAAyL0AAK4-AABAvAAATD4AALY-AAB_PwAAoLwAABA9AAAwPQAA4DwAAEC8AAA8PgAAXL4AAIg9AACePgAA4DwAALI-AAAcvgAA6D0AALg9AADYPQAAQDwAAIi9AACYvQAA6L0AAGy-AAAQPQAAPD4AAMg9AAAMvgAAmD0AABQ-AACevgAALL4AAFC9AAB0PgAAZD4AAOg9AAAQvQAALL4AAKi9AAAHPwAAND4AAKg9AABkPgAAuD0AABy-AABwPQAAHL4gADgTQAlIfFABKo8CEAEagAIAAIC7AAAEPgAABL4AAFG_AACGvgAAHL4AANi9AACgPAAAoLwAAHw-AADYvQAANL4AADA9AAB8vgAAZL4AAIi9AACGvgAAGz8AAIC7AABMPgAADD4AADy-AAAQPQAAJL4AAOC8AABcPgAAfL4AAJg9AAC4PQAAqD0AAFC9AAAQPQAAED0AAI6-AAB8vgAABL4AAJY-AABAvAAAyL0AAKC8AAC4PQAAyL0AAAy-AABAPAAAiD0AAEC8AAB_vwAAQLwAAPi9AABEPgAA6D0AADS-AACoPQAA2D0AADC9AABAPAAAyL0AADC9AADYvQAAEL0AACQ-AACAuwAAML0AAAS-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=zUpKhV5ttzI","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["4282447640412636609"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"1312981909582917346":{"videoId":"1312981909582917346","docid":"34-5-16-Z41B69B1F134670BE","description":"Abstract: We describe applications of symbolic computation towards automating the formal analysis of while-programs implementing polynomial arithmetic. We combine methods from static analysis...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3645559/e499d42f1539df6f95d104bb3565fa8b/564x318_1"},"target":"_self","position":"12","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D5v8VeT2XmMc","linkTemplate":"/video/preview/1312981909582917346?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FM'23 Keynote Talk | Laura Kovács - Symbolic Computation in Automated Program Reasoning","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=5v8VeT2XmMc\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFQoTMTMxMjk4MTkwOTU4MjkxNzM0NloTMTMxMjk4MTkwOTU4MjkxNzM0NmqvDRIBMBgAIkUaMQAKKmhoenRuYW1xcXlsb3J4aGNoaFVDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1PdxICABIqEMIPDxoPPxPwGoIEJAGABCsqiwEQARp4gQAQ-vv9BAD1_goMAgb9AQH89v34_f0A7f0BBAkAAAD3-QD3AQAAAPHw-_cDAAAA7Qf99fUBAAAA-e_6AgAAAAj4AAf9AAAAABf2B_4AAAD18v8BA_8AABX-BgMAAAAABAX_____AAD7-wIDAAAAAAX8-f4AAAAAIAAtk3nbOzgTQAlITlACKnMQABpgAgkAJxUu8QIVLuAH_NQN9_8q5uPE9f_r3ADuFy_CAffUzPAl_07t_u67AAAAFvvwEBcA_1j06cEH-usH1NT0ITh_3R4CEBQj9M74Cwgg9BYBIiscAO0A__8147NC_ykwIAAtIP5AOzgTQAlIb1ACKq8GEAwaoAYAABxCAAAUwgAAmEEAAMjBAAA4wgAAAEAAAJ5CAACAvwAAKMIAAHjCAAAkQgAAuEEAANjBAAAcQgAAcEIAAMBAAADIQQAAyMEAAPhBAADgQAAAyEEAANBBAADwwQAA-EEAAMDAAACAQQAAtsIAAL7CAACOQgAASEIAAKDAAAAYQgAAqMEAAFTCAACowgAAYMIAABTCAACQQgAAIEEAABDBAAAEwgAAQEAAAGDBAACcQgAALEIAAIBAAACAwgAAgEAAAFhCAACwwQAAMMIAAJhBAAAMwgAAKEIAAGhCAACowQAAusIAAADAAAAQwQAAEEIAAHRCAAAAQQAAzsIAAKDAAAB8QgAAMMEAADxCAABkwgAAuEEAAEBAAACgQQAAdEIAAHDBAACEQgAAAAAAAMDCAAAswgAA6MEAAOjBAAAYwgAA4MEAAJBCAACYwQAAmEEAADjCAACAwAAAMMEAAEBAAACGQgAAFMIAAIjBAABAQgAAAAAAANDBAAAMwgAAtsIAAEDAAABwwQAALEIAALDBAACAPwAAIEIAALhBAACQQQAAMMEAABRCAABQQQAAQEAAANjBAADgQQAAoEAAAHBBAADoQQAAoMEAAJhBAACKQgAAUMEAAPBBAAAgwQAA8MEAAOBAAACCwgAAsMEAAGDBAADwQQAA2MEAAIhBAACIQgAAgL8AAJjBAABAwAAAYMEAAIDAAACAPwAAOEIAALjBAABEQgAAqMEAAK7CAACSwgAA0EEAACBCAABAQAAAQEEAAFBBAAC4QQAABMIAAFzCAABAQAAAOMIAAMBAAAAwwQAAwEAAAEjCAABwwQAAcMEAABzCAAB8wgAAyMEAAPBCAAAgwQAAmEEAAFjCAACKwgAA-MEAAIA_AABkQgAAmkIAAFhCAAD4wQAA4MAAAMhBAAD4QQAAAEIAAIA_AAAAwAAAOEIAAMDAAACoQQAAoMAAANDBAACgwAAAgMAAAIjBAABUQgAA8MEAAJrCAACIwQAA4EEAAAAAAAC4wQAA-MEAAADAAACgwQAAkMEAAPBBAABUwgAAQEEAAAjCAADowSAAOBNACUh1UAEqjwIQABqAAgAANL4AAKC8AABMPgAA6D0AAJi9AAAQPQAAQDwAAAG_AACKvgAA4LwAAOA8AABwvQAAQDwAAJ4-AACovQAATL4AAIg9AACgvAAAVD4AANY-AAB_PwAAyD0AAKA8AAAUPgAAfL4AABQ-AAAwvQAAuL0AABA9AACKPgAAUD0AANg9AAA0vgAAcL0AACy-AAAQPQAAmD0AACy-AAAsvgAAoLwAAIq-AAAQPQAAcD0AAOC8AACovQAAbD4AALI-AABcvgAAVL4AAKK-AAAkPgAAUD0AAIo-AABwPQAAVL4AAFC9AAArPwAA6D0AAFA9AAB8PgAAcL0AAEA8AACAOwAA6L0gADgTQAlIfFABKo8CEAEagAIAALi9AAAkPgAA4LwAAEu_AAB0vgAAiL0AAJi9AAAEPgAA2L0AALY-AADYPQAADL4AANg9AABwvQAAFL4AAKC8AACgPAAAMT8AAOg9AABcPgAAyD0AAIA7AAAcPgAAgr4AALi9AACCPgAAML0AAOg9AACAuwAATD4AABA9AABAvAAAcL0AAEy-AAD4vQAABL4AAKA8AAD4PQAAHL4AABy-AAAMPgAAgDsAABC9AACAOwAAoLwAANg9AAB_vwAAqD0AABC9AAAcPgAALD4AABA9AACgPAAAjj4AAPg9AAAQPQAAEL0AAHA9AACAuwAATL4AAAw-AADovQAAUD0AADS-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=5v8VeT2XmMc","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["1312981909582917346"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"12239411862035698970":{"videoId":"12239411862035698970","docid":"34-6-14-Z7E5013E83C76680A","description":"Abstract: With only a few niche exceptions, the software industry had not previously figured out how to make deep use of formal mechanical reasoning based on mathematical logic. At Amazon we have...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4837747/4591540d9e36817259d1c861e379a420/564x318_1"},"target":"_self","position":"13","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DWi9rM-LtodY","linkTemplate":"/video/preview/12239411862035698970?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FM' 24 Keynote | Byron Cook - The Business of Proof","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=Wi9rM-LtodY\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFgoUMTIyMzk0MTE4NjIwMzU2OTg5NzBaFDEyMjM5NDExODYyMDM1Njk4OTcwaq8NEgEwGAAiRRoxAAoqaGh6dG5hbXFxeWxvcnhoY2hoVUM1clpqMEF5QnVkY2EwWVJnRUFYLU93EgIAEioQwg8PGg8_E6EbggQkAYAEKyqLARABGniBBQ4Q-gn2AO_uBwX6BP8B7P309fn-_QDo9_vxAv8BAOcDCAAC_wAA8vr0DfwAAADyDwn48f8BAAIQAPsFAAAADgENBfMAAADiCvAEAAEAAArxAgcE_wAAI_QHAwAAAADvCvYLAQAAAAf4_vwAAAAAF_sABgABAAAgAC3XP7k7OBNACUhOUAIqcxAAGmAVFwA8_xLU0AMn6iz0zgv05hb80aT3_wPwAOcOHeDvHrC6ARH_FewF0a8AAAAO7hMhHADYbDPH2wL9JAarzfUMRH_9JgoeHD782uTfFzjy9vkrIwwAE-7wGjj1B0wNMwIgAC2PXS07OBNACUhvUAIqrwYQDBqgBgAAQEAAAABAAACIQgAAIMIAADRCAADgQAAAHEIAAMjBAACiwgAAqEEAAODAAACAwQAAWMIAANjBAACeQgAAbMIAAJDBAABgwQAACMIAAJzCAABAwQAAyMEAAKjBAACYQgAAaEIAAGDBAACkwgAAUMIAAI5CAAC0QgAAgD8AAJjBAADwwQAAoMAAAGTCAABQwQAAUEEAANRCAAAQQQAAwEEAAOBBAABoQgAAsEEAAABBAABEQgAAFMIAABzCAADowQAAoEIAAODBAACmwgAA4EEAANhBAABwQQAAMMEAAKDBAAC2wgAAoEEAAOjBAAAUQgAAwEEAADzCAAAQwgAAmMEAADxCAABMwgAAIEEAADTCAAAMwgAAGMIAAHhCAACIQQAALMIAAJpCAADIQQAA1sIAAGDBAAAcwgAAkkIAAPDBAAAwwgAAmEEAADBBAABAQQAAoMAAANhBAABAwAAAJEIAANhBAABQwQAAiEEAAFBCAAC4QQAAVMIAALBBAACMwgAA8EEAAOBBAACQQQAAyMEAAILCAAA8QgAAkkIAADTCAAAkwgAAMMEAABDCAACoQQAA2MEAAEhCAACAvwAAmEEAANhBAAA4wgAAHEIAAMhCAADQwQAAqMEAAAjCAABowgAAEMEAADDBAAD4wQAA0MEAAMBAAABoQgAA4MEAAFDBAAAwwQAALEIAAEBBAAAIwgAACMIAAI5CAACAQAAAJMIAAIDAAADowQAAisIAAKDCAAAAQAAAwEEAAFBBAADgwAAAHEIAANjBAAB4wgAAUEEAALDBAACAwAAAEEEAAI5CAABAQQAAsMEAAMDBAAAAQAAAsMEAABDCAABEwgAATEIAAOjBAAAwQgAAVMIAAJhBAADQQQAADEIAANBBAADgQQAANEIAAADCAAA0wgAAREIAAAAAAAAQwQAAoEAAAIBAAACAPwAAgL8AACxCAABgQgAAsMEAAEDCAAAQwQAAAMIAAKpCAABgwQAAOMIAAGBBAACQQQAAyEEAABjCAABQwQAAAEEAADDBAAAwwQAA6EEAAAzCAAAAAAAAjMIAALjBIAA4E0AJSHVQASqPAhAAGoACAABMvgAAiL0AAJI-AAAwPQAAuL0AAFA9AACgvAAApr4AAIi9AAAsvgAAoLwAAEC8AABAvAAABD4AABw-AAC4vQAAcD0AAMi9AABEPgAAhj4AAH8_AACAOwAAoLwAACQ-AACCvgAADD4AABS-AADYvQAAgLsAAHQ-AACgPAAAmL0AADy-AACIPQAA6L0AABS-AABQvQAAdL4AAKK-AABMPgAAZL4AAOC8AABwPQAALD4AAFA9AACAuwAAjj4AACS-AAAQvQAAED0AAAy-AACIPQAAHD4AADA9AAAsvgAAuD0AAOY-AACAOwAAED0AAPI-AACIPQAAiD0AAFA9AAAkviAAOBNACUh8UAEqjwIQARqAAgAAHL4AAIC7AAAcvgAAJ78AAPi9AAAQvQAAmL0AAEQ-AACYPQAAEL0AAIi9AACCvgAA-D0AAAy-AACAuwAAgLsAAMg9AAANPwAAgDsAAHQ-AABkPgAATD4AABw-AAAEvgAAmD0AAFw-AAAwPQAATD4AAOC8AABAPAAAqD0AABw-AADYvQAAUL0AAAS-AABcvgAAqj4AAJ4-AACGvgAADL4AAIY-AADovQAAgDsAAEC8AAAkPgAA2L0AAH-_AAAUPgAADL4AAHw-AACAuwAAQLwAAI6-AACaPgAAVD4AABw-AABQvQAAJD4AAEC8AABwPQAAJD4AAGy-AAAwPQAAcL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=Wi9rM-LtodY","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["12239411862035698970"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"2518539877129603329":{"videoId":"2518539877129603329","docid":"34-4-9-ZC3E7B52CF9F8E93B","description":"Chair: Borzoo Bonakdarpour Speakers: Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder and Kim G. Larsen Title: L*-Based Learning of Markov Decision Processes...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3445400/191a4f03244d2f687af27312c5286f2c/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/b5Gz-wAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"14","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D3MUcrdWx7HY","linkTemplate":"/video/preview/2518539877129603329?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FM Symposium | Session 14A: Learning-Based Techniques and Applications (2)","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=3MUcrdWx7HY\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFQoTMjUxODUzOTg3NzEyOTYwMzMyOVoTMjUxODUzOTg3NzEyOTYwMzMyOWq2DxIBMBgAIkUaMQAKKmhoenRuYW1xcXlsb3J4aGNoaFVDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1PdxICABIqEMIPDxoPPxPVC4IEJAGABCsqiwEQARp4gfkP9P4C_gDy_Qr-DQP-AQEJ_gn3_v4A6wL7BAAAAAAGAwcFAgEAAO4KAAEAAAAA9QED-_P_AQAOA_cRAwAAAB8K8wb9AAAA7xX49v8BAAD1-gb4AgAAAB4H-Pr_AAAABQD3_v3_AAH2___-AAAAAAgJ-wQAAAAAIAAtjvrLOzgTQAlITlACKoQCEAAa8AF37A4BgfsQ-G0H-gA1DxABovsM_zb15P_I_O0A4fTwARonFQDW7PgAETbzAMj1AQDw-P0AFvwAAP39AwArCwn_JxoYATPw_AA3AhL_BwcFAOMKCf4p-CEB9vEOAAcJ2f4Z8xD9Gf32BAUI-QIABRUCGAsYASLw6wXlFv4AFAwOAQwBAgMHBg4G0vME-uMQ-wf69tcE8hzrBAAXCwQaAhMDAAAA_Cj7__4q--cC_AkC_uoPA_sqBv36HA4P9QQa7wbS6v__EP8AAB4CAgEh9BcAIfERAvP0A__XCvQABPIXBwMPAv8DC_MHEQr2Cgnw-wYgAC2MrTU7OBNACUhhUAIqcxAAGmA0AwA38BnUtBVX6-XX5A_S8NLSD7vz_98F_wgcDNYXLgK1Af__8MztAKoAAADz7O9ASQDPbdH05xHjKfyx4gEB73_bNPT9DBvxtSrrCdQM3AYHA1UAwwa1ADv2ygkLDwsgAC27uCQ7OBNACUhvUAIqrwYQDBqgBgAAEEEAAADCAABYQgAAgD8AAKDBAAAwQgAA2EEAAKhBAAAEwgAAqEEAANBBAAAYQgAAgMEAABBCAACGQgAALMIAAMDAAAAAwAAAAEAAAGTCAAC4wQAAwMEAANjBAACYQgAAgEEAAIBBAABcwgAA6MEAAJxCAADwQQAAAEAAAFxCAADwwQAAoEEAACjCAAAIwgAA4EEAAFBBAACoQQAAMEEAAHzCAAAAQQAAUMEAAIJCAADYQQAAMMEAAJjBAACgwAAAYMEAAPjBAAAAwQAAJEIAAAjCAADoQQAAAMEAAIjBAABQwgAA4EEAAAxCAAC4QQAAMMEAAJDBAAAcwgAAIMEAAPBBAACAQAAAREIAAGzCAAC4wQAAMEEAANBBAADAQQAAYEEAAGxCAABgwQAAhsIAACzCAADwQQAABMIAAGDBAAB4wgAAUEEAACzCAAC0wgAA4MAAAJRCAACAPwAAgEAAAAhCAABAwAAAVMIAAFBBAACgQQAABMIAAMBAAADOwgAA4MAAAADBAAD4QQAA0EEAAIA_AAAgQQAAPEIAAETCAADQwQAAIMIAAK7CAABAQAAAOMIAANRCAACgQgAA4MAAAKBAAAA8QgAAaEIAAKZCAABAwAAAoMAAAGBCAABUwgAAiMEAAJhBAABcwgAAeMIAALhBAAAUwgAAIEEAAKDAAACAwAAAeMIAAMBBAAAYwgAAiEEAAOBBAAA8QgAA0EEAADhCAACAwAAANMIAANLCAAAIwgAAuEEAABRCAADAQAAAREIAAODAAACgwQAAMEEAAIDBAAAgwgAAGMIAAIDAAACwQQAANMIAAADCAABgQQAASMIAAIBBAACwwQAAAEIAAFTCAAAcQgAAisIAANjBAACAvwAALMIAADxCAADwQQAAREIAAGDBAACwwgAAAEEAANDBAABQQQAAQEEAAEBCAAAEQgAAuMEAALhBAACIQQAA4MAAAFDCAABAQQAAJMIAAEBCAAAAAAAAjsIAANBCAACgwQAAiMEAAEDBAAAQQgAAVMIAAPhBAADAwAAAAMIAAJjCAABgwgAAmsIAAOhBIAA4E0AJSHVQASqPAhAAGoACAAD4vQAAQDwAAM4-AAA8PgAALL4AAJg9AADgPAAAKb8AADS-AACgPAAAVD4AADC9AACAOwAAij4AAOi9AAA0vgAAlj4AAIi9AACaPgAABz8AAH8_AAAUPgAAgLsAAPg9AACIvQAAED0AAIi9AABEvgAAgLsAAGw-AADgPAAAmD0AAJa-AADoPQAAED0AALi9AABAPAAAiL0AACy-AACovQAAlr4AABA9AABwPQAAoDwAABC9AACAuwAAmj4AAFy-AACYvQAATL4AANg9AADgPAAADD4AAAQ-AADYvQAAiL0AADc_AABAPAAAqL0AABQ-AACIvQAAcD0AABA9AAAQPSAAOBNACUh8UAEqjwIQARqAAgAA6L0AAOi9AADgvAAAO78AAGy-AABAvAAAoDwAAKA8AAAEvgAAHD4AAKi9AAAMvgAA-D0AABS-AACgPAAAyL0AAEA8AAAfPwAAuD0AAO4-AAAwvQAAiL0AADA9AAA0vgAAEL0AABC9AAAQPQAAQDwAADw-AADoPQAAoDwAAHA9AABAvAAAir4AAOg9AABAvAAAHD4AADQ-AAA8vgAAhj4AAHA9AADYvQAAqL0AAJg9AAA0vgAAiD0AAH-_AADgvAAAbL4AADw-AAAEPgAAXL4AAIA7AAAsPgAAJD4AAOA8AACAOwAAqD0AAAS-AAAQvQAAHD4AANg9AAAcPgAAML0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=3MUcrdWx7HY","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["2518539877129603329"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"16776329527072862554":{"videoId":"16776329527072862554","docid":"34-3-4-Z95C073C7FE181431","description":"Chair: Elvira Albert Speakers: Simon Lunel, Stefan Mitsch, Benoît Boyer and Jean-Pierre Talpin Title: Parallel Composition and Modular Verification of Computer Controlled Systems in Differential...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3871370/a22b4c75a834277084cd55a7c187d444/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/kmGmawEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"15","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DsbRKGSqZWww","linkTemplate":"/video/preview/16776329527072862554?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FM Symposium | Session 8B: Analysis Techniques (3)","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=sbRKGSqZWww\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFgoUMTY3NzYzMjk1MjcwNzI4NjI1NTRaFDE2Nzc2MzI5NTI3MDcyODYyNTU0aq8NEgEwGAAiRRoxAAoqaGh6dG5hbXFxeWxvcnhoY2hoVUM1clpqMEF5QnVkY2EwWVJnRUFYLU93EgIAEioQwg8PGg8_E68LggQkAYAEKyqLARABGniB-Q_0_gL-APAJ_QoRBPwBDAoI__YBAQDrAvsEAAAAAPnyFAIFAAAA7Av3BwYAAAD38wcB-f4AABL1-AkCAAAAKAD9BvsAAADvFfj2_wEAAO4BBv8DAAAADAPtAQAAAAAACAL2AwAAAPDx-gYAAAAADg72_QAAAAAgAC2O-ss7OBNACUhOUAIqcxAAGmARAwAlEBqiyFdD7Az33Qjz9-Ln-YEO_9D___v_6c_1JRu42f4AFv8M-qEAAAD96t4m4gD6ds8a9CwZ9wiunc0vClvwGeM1HQX2wyIRLgvxDf32GSkAm-fzJSS9xyIIQBYgAC06bx47OBNACUhvUAIqrwYQDBqgBgAAgEEAACTCAACgQQAAgL8AAEDCAAB0QgAAgEEAAAAAAACowQAAgL8AABhCAAAAQgAAMMEAAOhBAABQQgAAGMIAAJBBAACgQAAACEIAAETCAAAAwgAANMIAAADBAACUQgAAwEEAAABCAACKwgAANMIAALhCAABEQgAAgMAAAMhBAACAvwAAAEIAAFDCAAB8wgAAAAAAAEBBAADAQQAAIEEAAHjCAAAYQgAAiEEAALBCAAAQQgAAEMEAANjBAABQwQAAuEEAABTCAACAPwAAEEEAAEDAAABAQAAAIEEAALhBAABwwgAAkEEAAIC_AABUQgAAoMAAAMDAAABQwQAAiMEAAKDAAACAwQAA4EEAADDCAAAIwgAA2EEAAIBBAAD4QQAAkEEAAGRCAABMwgAAisIAALjBAABYQgAAsMEAAAAAAACiwgAAwEAAACjCAACcwgAAGMIAAGxCAABAwQAAAEAAAEBCAADAQAAAQMIAAIC_AAAgQQAAZMIAACxCAACIwgAAgEAAAABAAACgQQAA4EEAACDBAACwQQAA0EEAACjCAAAIwgAAsMEAAJbCAABgwQAATMIAAKxCAACuQgAAKEIAAGBBAAAkQgAAHEIAAMJCAADwwQAAOMIAAGhCAAAAQQAACMIAABRCAAAYwgAAgL8AAMhBAAAcwgAAcMEAANhBAAC4wQAArsIAAEBCAACCwgAAAMAAAEBCAAC4QQAAMEEAAChCAABQwgAAJMIAALzCAACAwAAAyEEAAAhCAADAQAAAkEEAACRCAACQwQAAgEAAAJhBAAAowgAAmMEAABDBAADAQAAAsMEAAIDCAAAwwQAAIMIAAERCAADgQAAAEEIAAFjCAACoQQAAcMIAAIBBAADAQAAAuMEAAMBAAACQQQAAAEIAABDBAABQwgAAUMEAALDBAACAPwAAgEAAABRCAAAkQgAAcMEAACBBAAAAQgAAkEEAAM7CAABAQAAAmsIAAFhCAADAwAAAbMIAAPZCAABAQAAAQMEAAFBBAACgQQAAJMIAALhBAAAEwgAAmMEAAIzCAACAwQAAZMIAACBBIAA4E0AJSHVQASqPAhAAGoACAAAcvgAA4LwAAA0_AAAsPgAA-L0AABA9AAAsvgAAJ78AADS-AADgvAAA6D0AAMi9AAAcPgAAXD4AAOA8AABEvgAA6D0AAEA8AAAUPgAA7j4AAH8_AAD4PQAAiL0AACw-AAC4vQAA-L0AAEC8AAAwvQAAPD4AABQ-AACgvAAAgDsAAIq-AABMPgAA4LwAAEA8AABQPQAABL4AADC9AAAcvgAAHL4AAKg9AAC4PQAAiL0AADC9AACYvQAAmD0AAMi9AACIvQAAgr4AAOA8AABkPgAAgLsAACQ-AACSvgAAEL0AADk_AAAQPQAAmL0AAK4-AACgvAAAmD0AAAw-AAAwPSAAOBNACUh8UAEqjwIQARqAAgAAyL0AAKC8AAC4vQAAUb8AAJ6-AADYvQAA4DwAAKi9AAAwvQAAPD4AAKA8AABMvgAA6D0AAEy-AADgPAAAmL0AAKi9AAAjPwAAJD4AALo-AAAcPgAAmL0AALg9AAAMvgAAUL0AALg9AACgPAAA-D0AAEQ-AACAOwAAoLwAABA9AAAEPgAA8r4AAKi9AABAvAAAED0AAAQ-AADYvQAAFD4AACw-AABwvQAAEL0AADC9AACgvAAAmD0AAH-_AACovQAA4LwAADQ-AADYPQAAhr4AADS-AAD4PQAAbD4AAIg9AAAQvQAARD4AAAy-AABwvQAATD4AAIC7AAD4PQAAgDsgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=sbRKGSqZWww","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":360,"cratio":1.77777,"dups":["16776329527072862554"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3984565945"},"16756995699790309827":{"videoId":"16756995699790309827","docid":"34-5-9-Z91E7B868EA42132B","description":"Chair: Maurice ter Beek Speaker: Erik Poll Session 7: FM Symposium Keynote Talk | Formal Methods for Security Functionality and for Secure Functionality...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/224932/c9d09245938eef21fce16bd173d879fc/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/oN5LTQEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"16","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D_E-WzfMpVSQ","linkTemplate":"/video/preview/16756995699790309827?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FM Symposium Keynote Talk | Erik Poll","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=_E-WzfMpVSQ\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFgoUMTY3NTY5OTU2OTk3OTAzMDk4MjdaFDE2NzU2OTk1Njk5NzkwMzA5ODI3arYPEgEwGAAiRRoxAAoqaGh6dG5hbXFxeWxvcnhoY2hoVUM1clpqMEF5QnVkY2EwWVJnRUFYLU93EgIAEioQwg8PGg8_E-0TggQkAYAEKyqLARABGniB_P8IAQABAO8FDAURA_0A7_8B-vr__gD0BgL_BwL_APX3A__3AAAA8QEA-_8AAAD1AQP88_8BAAEA_ggEAAAAGvb1CP0AAAABBu8LAAEAAPz4Av8C_wAAEPv4BQAAAAAI_QACAQAAAPD3B_sAAAAAC_z67QAAAAAgAC1KxNQ7OBNACUhOUAIqhAIQABrwAX_qDwGF7_75Xwb4AC4I3wGb-w3_V_vi_9To7gG99fcABjEdAdX9AAD4GQIAxPUBANINAf8QBvX__f0D_ysPGQAcFAQAReUMASj8FQH_F_L-6gf9_wf-NAAA9AwAFwzo_hnjA_4a_fUE7Ab2_ucADv8QGhb_Jf33_-0gDgMLBQgBHAEKAQQVDATj5Pr8_Q4DAwXy7__vAvEF_SgM__sADwbzCwz-M_bt_DAI9PwLBgH66RAE-hkZAAQY_wj9Hiv1DNvz8fQV6PYB_A39ARICGgcMChX-5OwGBeIQ7_345Q79-Qj7_vQI8gkWGvMEJQj8AiAALfRWKjs4E0AJSGFQAipzEAAaYDYKABHxTuDs-jHkJRLwD8y0Te39oPj_B-MABhPdzfka6Nb0TQAl3BzppQAAAAD-_kQUAMZ3u9nf2Owv6aq4Ay0Vf_QxEAQLHtsBy-op5eUmICsZFgDn-JvjWfqcBjAE9iAALVhOGDs4E0AJSG9QAiqvBhAMGqAGAADQQQAAcMEAAGhCAACAPwAA6MEAAJhCAACgwQAA4EAAAJjBAAAAwAAAgEAAALBBAAD4wQAAwEAAADxCAAAAQAAAgEAAAEBAAADwQQAAOMIAAIDBAAA0wgAA-MEAAGhCAABAQgAA-EEAAEDCAABAwgAAjEIAACRCAAA4QgAAcEEAAFDBAABgQQAANMIAAEzCAADYQQAAuEEAANBBAACowQAA4MEAAABBAACYQQAANEIAAJZCAACgwQAAgMEAADjCAAA0QgAA4MAAAMBAAADwQQAADMIAADBBAAAYwgAAAEEAADzCAABgQQAAJMIAAJhBAACQwQAAqMEAAATCAADgwQAAgEAAAOjBAACAvwAAuMEAAJ7CAADYQQAA4MAAAKDAAADAQQAAqEIAAJLCAABwwgAA0MEAAFRCAAAAQAAA4MEAAMbCAAAAwAAAIMEAACzCAACgwAAAuEEAAKBAAABAwQAAKEIAAIC_AADQwQAAsEEAAGhCAABIwgAAiEEAAJ7CAAAQQQAAwEAAAADAAAAcQgAAuMEAAHBBAADIQQAARMIAABjCAACgwAAAhMIAAADBAACowgAAbEIAAJxCAAAwwQAAQMAAANBBAAA4QgAAgEIAACTCAACOwgAA8EEAALBBAAB8wgAA-EEAAOjBAACYwQAAoMAAAHDBAACYwQAAsEEAAMDAAACSwgAACEIAAJDCAAD4QQAAYEIAAJhBAACAQAAAQEAAAJDBAAA0wgAAtsIAACDBAABAQgAAWEIAAKhBAAAQQgAAFEIAAMDBAADAQAAAkEEAAIC_AAAwwQAAwMAAAHDBAAA0wgAAEMIAAIBAAAAQQQAAwEAAAERCAADgQAAAkMEAACBCAABowgAADEIAABBBAABAwgAAMEEAAJxCAAAwQgAAQEAAAJbCAACAQQAAeMIAAEBBAAAgQQAAREIAALBBAACwwQAAAEAAAMBBAACAQQAAjMIAAPjBAAB8wgAAbEIAAPBBAACqwgAAwkIAAABAAAAAwAAAQEEAAFRCAACwwQAAmEEAAAAAAAAYQgAAosIAAHzCAAB4wgAABEIgADgTQAlIdVABKo8CEAAagAIAAEC8AABAvAAA5j4AAKA8AACCvgAA4LwAAFC9AADivgAAcL0AAEA8AABsPgAAmD0AAPg9AACCPgAADD4AAIa-AAAcPgAAqL0AAKI-AAALPwAAfz8AAAQ-AACYvQAAij4AANi9AACIPQAAQDwAAJa-AAAMPgAA5j4AAAy-AACAuwAAyL0AAGw-AAAwPQAAUL0AAKi9AAA8vgAAHL4AAIA7AAC-vgAAMD0AADA9AACYPQAAEL0AAFC9AAB8PgAAFL4AAFy-AAAcvgAAiL0AAIo-AAD4PQAA2D0AAHy-AABQPQAAIT8AABS-AAAcPgAAtj4AAIA7AAAEPgAA2D0AADy-IAA4E0AJSHxQASqPAhABGoACAACAuwAA6D0AAIA7AAB_vwAAvr4AALg9AAA0PgAAMD0AAIA7AACgPAAAmD0AAKK-AAA8PgAAiL0AAIi9AABAvAAA4LwAABs_AAAsPgAARD4AAOg9AABUvgAAJD4AAIK-AACYvQAAPD4AABC9AAAwPQAAyD0AABQ-AADgPAAA2L0AAJg9AACivgAA6L0AACy-AABwvQAA6L0AAMi9AABAvAAAHD4AAOA8AABsPgAA-D0AAGy-AAAUPgAAd78AAOA8AAAwvQAA0j4AAFw-AADgPAAAQDwAAFQ-AADoPQAAUD0AAKi9AAAkPgAA4DwAAJK-AADOPgAA4LwAAFC9AADYvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=_E-WzfMpVSQ","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":656,"cheight":480,"cratio":1.36666,"dups":["16756995699790309827"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"1642355067"},"1843358484812429810":{"videoId":"1843358484812429810","docid":"34-8-2-Z73A572E147392C1C","description":"This talk provides an overview of the formal methods used on the iFACTS project. iFACTS is delivering increased Air Traffic Control capability to the UK. This is achieved through the elimination...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4607048/707e8ec457e9bd19bc391d650b0c9b16/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/XmhDJwAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"17","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DIQMWVqQfm5A","linkTemplate":"/video/preview/1843358484812429810?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"The Use of Formal Methods on the iFACTS ATCl project pt1 (Neil White)","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=IQMWVqQfm5A\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFQoTMTg0MzM1ODQ4NDgxMjQyOTgxMFoTMTg0MzM1ODQ4NDgxMjQyOTgxMGq2DxIBMBgAIkUaMQAKKmhodmNzaGNlZnl2anFheGNoaFVDT0M3cUhYTVlaZS13MTczN19WdjdZZxICABIqEMIPDxoPPxPRBIIEJAGABCsqiwEQARp4gf_5_Pv8BQD0EgYGBwT9AQ7-BgL3AAAA6fkCDgT_AQAM9gDwAgEAAAoAAgH-AAAAAwH5BfP-AQANAwH-BAAAABv9AgMCAAAABwb_Av4BAAD_AfT9Av8AAAD7_P0AAAAA-g38-_8AAAD5AAERAAAAAAX9AvkAAAAAIAAtWwbhOzgTQAlITlACKoQCEAAa8AF_6RMDmwgT-kDwCAAwFfsAlAAB_yoP1ADB_wAApPcD__cWBwDc7gsA_gwNANvz9gD_BAQAKgb3AAn6AAAjBCEBGgIBACsADgEO_wcABevx_8_4BP8Z7iUBAO3_AQci8gAZAwP8_PTsBfgRDv7q-RwCCwYRAycRBgH1EwcHBArsAQ8T_f0cDPYE9gMN_gcb-wj9_eoF8w36A_UF_QMBCgj8DPDz_hb_1fw38AQCERAI_egZ__xEEAwA8fwCAR0QHALn-vz7JAn4A-L_A_sQAhcGEvwZAOr4D__xDPgBA-35-_8MCPf1B_QIHwIDAhv49gAgAC2zAUI7OBNACUhhUAIqcxAAGmA-CgAR0R3tz-lO0CXayPzhAhkw0p8M_ybj__El8ejrDtLAIQH_NuoTEqEAAAAeDRk0CgDtf_er9g3XMQ31sMtAHHHjHwbJ-yPQ2_Hn-N7E8vn_JWQA5Ayn-kwKtxoeRBUgAC2JChk7OBNACUhvUAIqrwYQDBqgBgAA0EEAABzCAAD4QQAAQEAAAIBAAADgQQAAuEEAAABAAABIwgAAoEAAALhBAACAQQAATMIAAADBAABUQgAAIMEAABTCAACYwQAAZMIAAILCAACgwQAACMIAAKjBAACQQgAAsEEAALBBAACCwgAAWMIAADRCAABQQgAAsEEAAHxCAABAwAAAUEEAAIbCAACgwQAAyEEAAExCAACAwAAAoEEAABDCAAAAQAAAuMEAAPhBAABoQgAAgEAAALDBAACwwQAAIEIAAEDCAACowQAAWEIAAOBAAAAEQgAAiMEAADzCAADIwgAAAEIAABzCAACYwQAA-MEAAIDBAAB8wgAAMMIAAJhBAABQwQAAAEEAAFDBAADowQAAQEEAAIC_AAAQQgAA8MEAAJhCAACgQQAATMIAAFDBAABAwQAAuEEAAOjBAAA8wgAAgMEAACTCAACwwQAAoMAAAFxCAACgwQAAEEEAACRCAACQwQAAEMIAALBBAAAAQgAAGMIAAODBAADQwgAAwMAAAMjBAADoQQAAIEEAAAjCAABIQgAAREIAAIDCAAAQwgAAHMIAAETCAABIwgAAksIAAGhCAABIQgAAwMAAAKhBAADAQAAA0EEAAJxCAAAgwgAAYEEAAFBBAACQwQAASMIAAKDAAAAkwgAAyMEAAIDAAACAwQAAgD8AAAhCAADAQQAAmMIAAFBCAABYwgAAIEEAAChCAABkQgAAqMEAAJBBAAAoQgAA4MEAANDCAAAIwgAAQEEAANBBAADAQAAABEIAAHBBAADAwAAAYEEAAABBAABgwQAAUEEAAEBBAAD4QQAAGMIAALDBAABAwAAAkMEAAJLCAAAwwQAA0EEAAFjCAABgQQAAkMIAAIDBAACAQAAAWMIAANBBAAA0QgAASEIAALDBAADMwgAA8EEAANjBAACQQQAA-EEAADhCAACkQgAAkMEAAPhBAABAQAAAiEEAALzCAADgQQAAJMIAAPhBAADAQQAAqsIAAExCAACAPwAAsMEAAGTCAACwQQAAcMEAAHDBAABwQQAAgL8AAJzCAACQwgAAXMIAADBBIAA4E0AJSHVQASqPAhAAGoACAABEvgAAQDwAACQ-AABQPQAAcD0AAIi9AAAsPgAA7r4AADS-AABUPgAAcD0AAHC9AAAwPQAAXD4AACQ-AAAQPQAAqD0AAIA7AAAsPgAAoj4AAH8_AAA8PgAARD4AAFA9AACYvQAATD4AAKC8AACIPQAAoDwAAAw-AABAPAAAFL4AAAS-AAB0PgAAcD0AAEQ-AACGPgAApr4AAL6-AABsvgAAVL4AABA9AADgvAAA2D0AAOg9AABAvAAAUL0AABS-AACgPAAA1r4AAFC9AABQPQAApj4AAKI-AACKvgAA4DwAAA8_AACKvgAA6D0AALI-AACovQAA4LwAANg9AADovSAAOBNACUh8UAEqjwIQARqAAgAAjr4AAIi9AAAUvgAAN78AAAy-AACAOwAAoLwAAOg9AADYvQAAgj4AAOA8AABQvQAAuD0AAAS-AADovQAA4DwAACQ-AAAZPwAAQDwAAKY-AAAEvgAAgj4AAIi9AAAMvgAAgLsAAIo-AAAkPgAA-D0AAFS-AACoPQAABD4AALg9AADovQAABD4AAFA9AAA0vgAAqj4AAM4-AADKvgAAXL4AAOg9AADovQAA-L0AAHA9AACYvQAAmL0AAH-_AADYPQAAmr4AAMg9AAA8PgAA4LwAAJg9AABkPgAAMD0AAHA9AACAuwAAHD4AABQ-AADIvQAABD4AANi9AACovQAAgLsgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=IQMWVqQfm5A","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":480,"cratio":1.33333,"dups":["1843358484812429810"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3603599606"},"2768502957183189945":{"videoId":"2768502957183189945","docid":"34-0-9-Z0FCEF0C27164A25E","description":"Chair: Joao F. Ferreira Speakers: Graeme Smith, Nicholas Coughlin and Toby Murray Jon Haël Brenas, Rachid Echahed and Martin Strecker Session 12A: Reasoning Techniques...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3817259/aca4c96eea8e3e8015a7b4a0160a920e/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/tSFoYwEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"18","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DUm2Wcxbp7tE","linkTemplate":"/video/preview/2768502957183189945?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"FM Symposium | Session 12A: Reasoning Techniques","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=Um2Wcxbp7tE\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFQoTMjc2ODUwMjk1NzE4MzE4OTk0NVoTMjc2ODUwMjk1NzE4MzE4OTk0NWq2DxIBMBgAIkUaMQAKKmhoenRuYW1xcXlsb3J4aGNoaFVDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1PdxICABIqEMIPDxoPPxO8GYIEJAGABCsqiwEQARp4gfkP9P4C_gDoCQQDCwH_AAEJ_gn3_v4A8vcH__8C_wD4-v8FBQAAAPAGAQIJAAAA7Pj_8_UAAAAS6_v8AgAAAB8K8wb9AAAA9xDuAf8BAADyBAvxAgAAABoO9Ab_AAAADwHu__8A_wHx-gECAAAAAA4C8fYAAAAAIAAtjvrLOzgTQAlITlACKoQCEAAa8AF_9RgBlvML-lwG-AAZB-3_nvsN_z0J5ADG7fQAye3kAAQfCQDV3QAA9zz7ALEPCgHW_vEAHwYGAAYFAQAj9hYAJSUEAD_-BwAn_BQBCgr0__EaGQAc7CgC-_MjAQcJ2P4a8xD8Avv5BvgB-AbxDCkCDxkV_yT9-P_mEAYCFQwOAQoNCAUEFAwD3fIEA_wT-AYF8_D_8h3qBAAYCwQA-g39AAAA_D7f6AA9Cuj-ARMA9OoQBPsqDvkGCfcKAhQl8frR6f__HPn5Bv0FAg0lAggKIvESAuj4EP_WGAH8C_YJAAMPAv_0CPMIJA_3Ahns7AYgAC0PbC87OBNACUhhUAIqcxAAGmAp8gAm3iXAxC5EANzH2SK2FPnXApT1_9jP_yYW--sCAvffGQQAA-b0_aIAAAAN9_AhGQDlf7fkATvtJgadvwQS_W73PewA4SH9xzEOD8fq3QjwI2cAzuafBzT1phogHR8gAC20oBk7OBNACUhvUAIqrwYQDBqgBgAAwEEAABTCAAA8QgAAYMEAABzCAABwQgAA4EAAABBBAAAAwAAAMMEAANhBAAA4QgAAAMEAAABCAACAQgAAuMEAAADAAAAwQQAAyEEAAFzCAAD4wQAAJMIAAATCAACMQgAAMEEAAJhBAACKwgAAHMIAAJZCAAAwQgAAwEAAADRCAACQwQAALEIAAAzCAAA8wgAAAEIAACBBAADYQQAAQEAAAHjCAACAQQAAiEEAAFRCAAAAQgAAuMEAALDBAABgwQAAYEEAAKDBAAAAAAAAQEIAAATCAACoQQAAIMEAAGDBAABQwgAAgEAAAJhBAAAMQgAAcMEAACTCAAAUwgAA-MEAAMBBAABwwQAACEIAAITCAAAMwgAAQEEAAMhBAADIQQAAgEAAAIpCAAAwwgAAhsIAACTCAAAcQgAA2MEAAEDBAACUwgAAgEEAAGDCAACewgAA4MAAAI5CAAAwQQAAMMEAABRCAAAAQAAAUMIAALBBAAAAQQAA2MEAAIhBAAC-wgAAoMAAAIjBAADQQQAA6EEAAMDBAADAQQAAJEIAAFjCAAAQwgAAEMIAAKjCAACAvwAAVMIAAMBCAACoQgAAAMEAAGBBAABMQgAADEIAAJxCAACYwQAAkMEAABRCAAA8wgAA2MEAAMBBAABQwgAAyMEAALhBAABswgAAwEAAABBBAAAgwQAAkMIAAABCAABYwgAAsEEAADBCAACQQQAA8EEAAARCAACwwQAAMMIAALrCAACAwAAAyEEAAChCAAAAQQAAKEIAAGBBAADAwQAAIEEAAABAAAA0wgAAGMIAAOBAAADgwAAAJMIAADzCAAAAwAAAJMIAAKBAAAAQQQAAcEEAAEDCAAAcQgAAcMIAAABAAAAAQQAACMIAAKBBAAAoQgAADEIAAJjBAACwwgAAUEEAAKjBAAAwQQAAQEAAADRCAAAUQgAAcMEAALBBAACoQQAAAEEAAIDCAACAPwAAgsIAAFBCAACAQAAAhsIAALpCAABgwQAAuMEAABBBAADwQQAAKMIAALhBAABAwAAAuMEAALTCAAAwwgAAkMIAAGBBIAA4E0AJSHVQASqPAhAAGoACAADYvQAA4DwAAN4-AADYPQAAXL4AALg9AABEvgAAK78AADS-AADovQAAXD4AAFy-AAAMPgAAlj4AAKC8AABsvgAARD4AAOC8AAAUPgAABz8AAH8_AAAEPgAA4DwAANg9AABwvQAAcL0AAFC9AACIvQAAoDwAACQ-AAAQPQAAHD4AAHS-AABUPgAAyL0AADC9AAAQPQAALL4AAHC9AAAsvgAAir4AAIA7AADgPAAAmL0AAAy-AAA8vgAAmD0AADy-AABsvgAApr4AAIA7AAAEPgAADD4AADQ-AABcvgAAEL0AAEk_AAAwPQAAcD0AAHw-AAAUvgAADD4AAMg9AAAQPSAAOBNACUh8UAEqjwIQARqAAgAAUL0AAKA8AAC4vQAAPb8AAKa-AADgvAAAgDsAAIA7AAD4vQAALD4AAAS-AACevgAAND4AAFS-AAAQvQAAiL0AAFA9AAAlPwAABD4AAKY-AAAQPQAAqL0AAIg9AADovQAA4LwAANg9AACAuwAAoDwAAJg9AACoPQAAQDwAAIA7AADoPQAAVL4AAKi9AACYvQAAmD0AADw-AADYvQAA2D0AAEQ-AABAPAAAcD0AADC9AAAUvgAA6D0AAH-_AAC4vQAAhr4AABQ-AAB0PgAARL4AAMg9AAD4PQAAmD0AAOA8AAAQvQAAbD4AAEy-AACIvQAATD4AAIg9AACYvQAAmL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=Um2Wcxbp7tE","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":640,"cheight":360,"cratio":1.77777,"dups":["2768502957183189945"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2925737308"},"6898767806859019962":{"videoId":"6898767806859019962","docid":"34-10-6-Z5F23B829103DBF7C","description":"Formal Methods in Airbus for Validation and Verfication...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3538517/9b3b7e1d6b70c43b59efb8aac79e4bb0/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/wFGCSAAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"19","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D4PUKQuCbr_0","linkTemplate":"/video/preview/6898767806859019962?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Formal Methods Final Presentation","related_orig_text":"Formal Methods Europe","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"Formal Methods Europe\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=4PUKQuCbr_0\",\"src\":\"serp\",\"rvb\":\"EqwDChQxNjYxOTczOTU2MjIwNDUxNzU4NgoSNzExMzI2NjAyNzU5Nzg0NjY3ChMzMzE0MTYzMzAzOTc5NTQzMjU0ChQxNjE1NTkyMzg5MDk2NjMxMzk5NQoTODQ1MjM1MzEzNTU2OTc5OTc4NwoUMTE5MzY3ODcwNTI1NDY5MjE4ODMKFDExNDM2NTQwNDk0NTU1MTk0OTg3ChI1NjU3MTM3NzI0OTQxNTAyNTQKFDE4MjgwMjkxNjcwNTk0MTEwNjE4ChM0MjgyNDQ3NjQwNDEyNjM2NjA5ChMxMzEyOTgxOTA5NTgyOTE3MzQ2ChQxMjIzOTQxMTg2MjAzNTY5ODk3MAoTMjUxODUzOTg3NzEyOTYwMzMyOQoUMTY3NzYzMjk1MjcwNzI4NjI1NTQKFDE2NzU2OTk1Njk5NzkwMzA5ODI3ChMxODQzMzU4NDg0ODEyNDI5ODEwChMyNzY4NTAyOTU3MTgzMTg5OTQ1ChM2ODk4NzY3ODA2ODU5MDE5OTYyChQxMDM4NzQyMjY3NTczODQzOTM2MAoUMTE3MDc0MDUyODg3MDEyNDk5ODAaFQoTNjg5ODc2NzgwNjg1OTAxOTk2MloTNjg5ODc2NzgwNjg1OTAxOTk2MmqHFxIBMBgAIkQaMAAKKWhoamhzcGtndmNnbGZ4ZWhoVUNjbmVLMXFrUW03VDk2VnpVR0dreFJnEgIAESoQwg8PGg8_E90CggQkAYAEKyqLARABGniBAgD0_QL-AOgGDwMEAf8ADAoH__YBAQDxAfcCCAH_APj09u7_AAAADgUEBgMAAAD-Ce4D9v4BAAz39_0DAAAAF_gADfgAAAD9Cvr3_wEAAP_s9PYC_wAAEwgD8_8AAAD2DBL7_wAAAPIHCQ4AAAAACPcA_gAAAAAgAC3Os847OBNACUhOUAIqhAIQABrwAWED7__f_Pv_GfLmAd8M0ACBBQv_K_HVAcv1CAC59-0A_hL3ANriAAAFEh3_1gHz_wzn2wAeFAMAIQMOACr2DwEHGhcALvL8ABUJAP_0A-MACQoG_zn4IAAJ7AoBCxIM_ycJEQDQ_u4C9xDjAf8DIQAdDfr_LOgGBAgGFAH2HhEDARb4BA0PD__y-fD_6gsNBgj-4QDz--38_fz8BfMb_gDz9AcAFf_X_DL69wD19vr5AxUV_f0J_v4HFAwDCSf4APL4_gUG6_8A8wIL-zXsDAkR_BgADBEFA-YO8v4T3wz27OsR9uwh-P8N8goHBv4D8CAALW4nSDs4E0AJSGFQAirPBxAAGsAHwacFv9SVFTxyw--87tKhvAeoGj0gES48mfWCPUjypjwaaIQ70hC8O-xcYj0DVIK8dHzEvhyE7zyZ2i29OxlsPq4M6jyCjCU8dckovtpUnT2TkKM89aGDvjx38TsuxZc7bueBPZakXzsUi0k9G_YLPsxMBDyzd-s8IZWivIZEkLxO3ra8Vj_AvBf4Rb07eYm7lX8NPqKkVr2xVV084ZcKPnGolL26q2y7FqwnPHG1qTz7xCa7-hK1vWUja7yyDcE89z8QPhegbbyfSfI7SMsXPewHhjx383m8Y5z_PL7Mg7szCjQ70sWmPHg7Jz22aja7vJsiPcADqL3DP7I7v54vPMLVJj3I6vs8qPwLPqWDlT0kjoa820wKPfwi_DyM07U8iFfjvA9Hl7xnLBi8y8dkPUOXi7zesp47lKgyvRWvjTydIeY8z0XoPBrBRjxEjDK86uPGPHrxjz3Sb6G7llmpPKIBhjzAPbI7qBSwvSZjJr1Jewu8NhDBPbq7zr3A1Mc6zMmlPdd-lzyF_rI71sciPGZsAzwHpVw7OowOPSe2bD29Zbk6L3UGPX57bb0CMPm6j47rPBSW-DwSQlG83bTZvVmrUbwTlTK8fp-bPe-WP7z8CBU8NllDPVv-rrtgh9o7aPbvPLMqHb36NF28x4QYvY3aM7yPegC80E8nvXeihL2h94Q66wHTPajRmjx5OOQ7qy-xvXf7x7ylLam4voFOPaVaVTxpYWS7Evhku-4sMLw21_Y30PFRPO_LtD2uGYM4rnQGPME7Wb3UrwG5O3UjvMCBZD1i4i2570IpPUpHlLxjyYe6fPUsPdd3tDzBz3O3gIKmPFtQKbx5lZG4APEIPJAjpTpuJL-6-D2FPTBfFroUmwU4oxiFPOCwHTyltju6rL4EvVKfHz1Jkbw54DH6O34glLw5FNC4k9jeOwNMT71GXwW4DbAlvYpyIbrGli45-_ENvLhIcL03inE4t2J_PD3PRL2FTso2kR-7vKPuXj00e-O2mJnjup1mA7wv8BK2_4AdvV2Ejrzbw4G389r2vAj5yr1ah3u2IZ6bvOGTUz3I0NW3rOZ5vW1XqLx5afa3mhL_vL2yJr0Vuse3TJJCPd2YHrpxTAc4PoiROxhPnr1Mqek3SeGlPdx3FDzUtiO5DwQtPWSikjyGi4c44AHUPMf1bzy06gI46ORbvdbwI71JIjC19nR6PeAP370_mZu3QstfPWMatz1ukI44BwunvL387j2DtB65OE9QvTjWCj0QdqY2CV24vAmZdb2R7jg4IAA4E0AJSG1QASpzEAAaYBcJACTxGt_K6ybwDgP9B-PqN_wJofz_5M4AAC772eTz5sMfDABZvDAErgAAAC4M8Q37ANNw2w7RMuscB8rTGeEhf_oRDOjYA-iv9-It7OYUEBVVSgAGy6gISw_LJQkX-yAALbS_JDs4E0AJSG9QAiqvBhAMGqAGAAAQQgAAAEIAAIpCAADgQAAAwEAAADBCAADoQgAAQMAAAI7CAAAAAAAAmMEAAADCAAD4wQAAwEAAAEBAAADowQAAEEEAAADCAACgwQAAcMEAACjCAAAEwgAAmMEAALBBAACQQQAA4EAAALjBAAB0wgAAhkIAAIBBAAAQQgAApkIAAATCAADQwQAAaMIAAADAAAAAQQAAZEIAAABAAAA8QgAAQEEAALBBAACQQgAAQEEAABDBAADgwQAA4MAAACDBAACgQQAAwEAAAHDCAACAvwAA4MAAACxCAAAwQgAAdEIAAJjCAACAwAAAAMEAAIRCAAAAQAAAQEIAAIbCAADgwQAAXEIAAIBBAAAwwQAAksIAAIC_AABQwQAAIEEAAOBAAAAAQAAAEMIAACjCAABMwgAAcMIAAMjBAAAQQQAAgMIAAKDCAADqQgAAIMIAAKRCAACAQAAABMIAAHBBAACEQgAAmEEAAJjBAAAUQgAArEIAADRCAACgwAAAAEIAAPjBAAAEwgAAfMIAADBCAABkwgAAIEEAAGzCAAC4QgAAkEEAAChCAADAwAAA-MEAAOhBAAAAwgAAMEEAAChCAACQQQAAAEAAAFRCAABAQQAAUMEAANDBAABAQAAAQMEAAODBAAA0QgAA2MEAAEBBAAB8wgAAhsIAACDBAACwQQAAkEEAAFjCAABAwQAAAMEAAMDAAACAvwAAMEEAABjCAADQwQAAEMEAAIjCAADAwAAAksIAAKDBAAAQQgAAAEAAAIC_AABkQgAAREIAABDBAADYwQAAgMEAAJBBAAAcQgAAAEEAADDBAAD4wQAAAMEAAMDAAACQQQAA-MEAACDBAAAYQgAAyMEAAPhBAAAEwgAAQMIAAKLCAAAwQQAA4EAAADhCAAAQwQAALMIAAKjBAABwQgAAZEIAAADBAAAUwgAAFEIAAOhBAACgwQAAMEEAANjBAADAwgAAUMIAANhBAABUwgAAVEIAAMjBAAAwwgAAmMEAAARCAADoQQAAiMEAAEjCAABgQgAAIMIAAHDBAAAkQgAANMIAAEzCAACEwgAAZEIgADgTQAlIdVABKo8CEAAagAIAAAy-AACYvQAA-D0AAJY-AAA8vgAAED0AAJg9AAAJvwAAFL4AALo-AACaPgAAmL0AAIY-AAAQvQAAfL4AAMi9AAA8PgAAED0AAPg9AADKPgAAfz8AAIA7AAAQvQAA6D0AAIC7AABUPgAAoLwAAAS-AADgvAAAuD0AALg9AACgvAAALL4AAGw-AADovQAAHD4AAEQ-AAC-vgAAHL4AAEy-AAAEvgAAmL0AAGQ-AAAQPQAAmL0AAOi9AAAcvgAABL4AAHy-AACCvgAAEL0AAOC8AACKPgAAZD4AAKC8AACAOwAAET8AAI6-AACAOwAAij4AAEC8AAAQvQAADD4AAIA7IAA4E0AJSHxQASqPAhABGoACAAAEvgAAUD0AAGS-AAAXvwAADL4AAAS-AAAMPgAAiL0AADC9AADePgAAXD4AAEC8AAC4PQAAEL0AAHC9AABQvQAAMD0AABU_AABQvQAApj4AAFA9AADoPQAAcD0AAAS-AABAPAAAuD0AAIA7AAD4PQAAUD0AAFA9AACoPQAAUD0AADC9AAAwPQAA6D0AACS-AABMPgAAtj4AADy-AAAEvgAAAT8AAIA7AACYvQAAyL0AAFC9AADIPQAAf78AAFw-AACAOwAAiL0AAEQ-AADgvAAAMD0AAAw-AAAUPgAAyD0AAKC8AACgvAAAoLwAAOi9AAAQvQAA-L0AABS-AABQPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=4PUKQuCbr_0","parent-reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1014,"cratio":1.89349,"dups":["6898767806859019962"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2208787127"}},"dups":{"16619739562204517586":{"videoId":"16619739562204517586","title":"\u0007[FormaliSE\u0007]2020 Keynote - On the Probabilistic Analysis of Neural Networks","cleanTitle":"FormaliSE2020 Keynote - On the Probabilistic Analysis of Neural Networks","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=lDjUKeKe7QQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/lDjUKeKe7QQ?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3245,"text":"54:05","a11yText":"Süre 54 dakika 5 saniye","shortText":"54 dk."},"date":"15 tem 2020","modifyTime":1594771200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/lDjUKeKe7QQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=lDjUKeKe7QQ","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":3245},"parentClipId":"16619739562204517586","href":"/preview/16619739562204517586?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/16619739562204517586?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"711326602759784667":{"videoId":"711326602759784667","title":"FMAS 2023 | Prof. Alice Miller - \u0007[Formal\u0007] \u0007[methods\u0007] within the TAS Governance node","cleanTitle":"FMAS 2023 | Prof. Alice Miller - Formal methods within the TAS Governance node","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=QeUbKBzJ9Gc","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/QeUbKBzJ9Gc?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2194,"text":"36:34","a11yText":"Süre 36 dakika 34 saniye","shortText":"36 dk."},"date":"16 oca 2025","modifyTime":1736985600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/QeUbKBzJ9Gc?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=QeUbKBzJ9Gc","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":2194},"parentClipId":"711326602759784667","href":"/preview/711326602759784667?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/711326602759784667?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"3314163303979543254":{"videoId":"3314163303979543254","title":"\u0007[FormaliSE\u0007] 2024 - Keynote: Two-way collaboration between flow and proof in Spark","cleanTitle":"FormaliSE 2024 - Keynote: Two-way collaboration between flow and proof in Spark","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=opJtsHVtZFY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/opJtsHVtZFY?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3607,"text":"1:00:07","a11yText":"Süre 1 saat 7 saniye","shortText":"1 sa."},"date":"21 haz 2024","modifyTime":1718928000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/opJtsHVtZFY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=opJtsHVtZFY","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":3607},"parentClipId":"3314163303979543254","href":"/preview/3314163303979543254?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/3314163303979543254?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"16155923890966313995":{"videoId":"16155923890966313995","title":"FM'24 Keynote | Hadas Kress-Gazit - \u0007[Formal\u0007] \u0007[Methods\u0007] for Robotics and Human-Robot Interac...","cleanTitle":"FM'24 Keynote | Hadas Kress-Gazit - Formal Methods for Robotics and Human-Robot Interaction","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=1GtVWF3p5LE","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/1GtVWF3p5LE?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3761,"text":"1:02:41","a11yText":"Süre 1 saat 2 dakika 41 saniye","shortText":"1 sa. 2 dk."},"date":"13 nis 2025","modifyTime":1744502400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/1GtVWF3p5LE?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=1GtVWF3p5LE","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":3761},"parentClipId":"16155923890966313995","href":"/preview/16155923890966313995?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/16155923890966313995?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"8452353135569799787":{"videoId":"8452353135569799787","title":"Fmas2022 | \u0007[Formal\u0007] Verification for Neural Networks in Autonomous Cyber-Physical Systems","cleanTitle":"Fmas2022 | Formal Verification for Neural Networks in Autonomous Cyber-Physical Systems","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=ZHMq8_ZvmNg","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/ZHMq8_ZvmNg?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3377,"text":"56:17","a11yText":"Süre 56 dakika 17 saniye","shortText":"56 dk."},"date":"3 nis 2023","modifyTime":1680480000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/ZHMq8_ZvmNg?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=ZHMq8_ZvmNg","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":3377},"parentClipId":"8452353135569799787","href":"/preview/8452353135569799787?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/8452353135569799787?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"11936787052546921883":{"videoId":"11936787052546921883","title":"Fmas2024 | Dr. Silvia Lizeth Tapia Tarifa - Self-Adaptation in Autonomous Systems","cleanTitle":"Fmas2024 | Dr. Silvia Lizeth Tapia Tarifa - Self-Adaptation in Autonomous Systems","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=pVYshMo67aY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/pVYshMo67aY?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2500,"text":"41:40","a11yText":"Süre 41 dakika 40 saniye","shortText":"41 dk."},"date":"16 oca 2025","modifyTime":1736985600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/pVYshMo67aY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=pVYshMo67aY","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":2500},"parentClipId":"11936787052546921883","href":"/preview/11936787052546921883?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/11936787052546921883?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"11436540494555194987":{"videoId":"11436540494555194987","title":"FMAS 2023 | Prof. Erika Ábrahám - SMT: Something you Must Try","cleanTitle":"FMAS 2023 | Prof. Erika Ábrahám - SMT: Something you Must Try","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=0BCRFtzZ9BM","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/0BCRFtzZ9BM?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3533,"text":"58:53","a11yText":"Süre 58 dakika 53 saniye","shortText":"58 dk."},"date":"16 oca 2025","modifyTime":1736985600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/0BCRFtzZ9BM?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=0BCRFtzZ9BM","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":3533},"parentClipId":"11436540494555194987","href":"/preview/11436540494555194987?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/11436540494555194987?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"565713772494150254":{"videoId":"565713772494150254","title":"FMAS 2021 - Understanding and Verifying Deep Neural Networks","cleanTitle":"FMAS 2021 - Understanding and Verifying Deep Neural Networks","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=mIJ3yVVy_BM","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/mIJ3yVVy_BM?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3654,"text":"1:00:54","a11yText":"Süre 1 saat 54 saniye","shortText":"1 sa."},"date":"9 ara 2021","modifyTime":1639008000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/mIJ3yVVy_BM?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=mIJ3yVVy_BM","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":3654},"parentClipId":"565713772494150254","href":"/preview/565713772494150254?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/565713772494150254?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"18280291670594110618":{"videoId":"18280291670594110618","title":"FM'21 | Session 13 : \u0007[Formal\u0007] reliability analysis of redundancy architectures","cleanTitle":"FM'21 | Session 13 : Formal reliability analysis of redundancy architectures","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=IsX8iXwOD8I","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/IsX8iXwOD8I?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1051,"text":"17:31","a11yText":"Süre 17 dakika 31 saniye","shortText":"17 dk."},"views":{"text":"2bin","a11yText":"2 bin izleme"},"date":"8 tem 2022","modifyTime":1657238400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/IsX8iXwOD8I?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=IsX8iXwOD8I","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":1051},"parentClipId":"18280291670594110618","href":"/preview/18280291670594110618?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/18280291670594110618?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"4282447640412636609":{"videoId":"4282447640412636609","title":"FM'21 | Session 8 : Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Model...","cleanTitle":"FM'21 | Session 8 : Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models...","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=zUpKhV5ttzI","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/zUpKhV5ttzI?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1170,"text":"19:30","a11yText":"Süre 19 dakika 30 saniye","shortText":"19 dk."},"date":"6 haz 2022","modifyTime":1654473600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/zUpKhV5ttzI?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=zUpKhV5ttzI","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":1170},"parentClipId":"4282447640412636609","href":"/preview/4282447640412636609?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/4282447640412636609?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"1312981909582917346":{"videoId":"1312981909582917346","title":"FM'23 Keynote Talk | Laura Kovács - Symbolic Computation in Automated Program Reasoning","cleanTitle":"FM'23 Keynote Talk | Laura Kovács - Symbolic Computation in Automated Program Reasoning","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=5v8VeT2XmMc","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/5v8VeT2XmMc?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3440,"text":"57:20","a11yText":"Süre 57 dakika 20 saniye","shortText":"57 dk."},"date":"26 nis 2023","modifyTime":1682467200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/5v8VeT2XmMc?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=5v8VeT2XmMc","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":3440},"parentClipId":"1312981909582917346","href":"/preview/1312981909582917346?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/1312981909582917346?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"12239411862035698970":{"videoId":"12239411862035698970","title":"FM' 24 Keynote | Byron Cook - The Business of Proof","cleanTitle":"FM' 24 Keynote | Byron Cook - The Business of Proof","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=Wi9rM-LtodY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/Wi9rM-LtodY?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3489,"text":"58:09","a11yText":"Süre 58 dakika 9 saniye","shortText":"58 dk."},"date":"9 nis 2025","modifyTime":1744156800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/Wi9rM-LtodY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=Wi9rM-LtodY","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":3489},"parentClipId":"12239411862035698970","href":"/preview/12239411862035698970?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/12239411862035698970?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"2518539877129603329":{"videoId":"2518539877129603329","title":"FM Symposium | Session 14A: Learning-Based Techniques and Applications (2)","cleanTitle":"FM Symposium | Session 14A: Learning-Based Techniques and Applications (2)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=3MUcrdWx7HY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/3MUcrdWx7HY?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1493,"text":"24:53","a11yText":"Süre 24 dakika 53 saniye","shortText":"24 dk."},"date":"14 şub 2020","modifyTime":1581638400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/3MUcrdWx7HY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=3MUcrdWx7HY","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":1493},"parentClipId":"2518539877129603329","href":"/preview/2518539877129603329?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/2518539877129603329?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"16776329527072862554":{"videoId":"16776329527072862554","title":"FM Symposium | Session 8B: Analysis Techniques (3)","cleanTitle":"FM Symposium | Session 8B: Analysis Techniques (3)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=sbRKGSqZWww","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/sbRKGSqZWww?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1455,"text":"24:15","a11yText":"Süre 24 dakika 15 saniye","shortText":"24 dk."},"date":"14 şub 2020","modifyTime":1581638400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/sbRKGSqZWww?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=sbRKGSqZWww","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":1455},"parentClipId":"16776329527072862554","href":"/preview/16776329527072862554?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/16776329527072862554?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"16756995699790309827":{"videoId":"16756995699790309827","title":"FM Symposium Keynote Talk | Erik Poll","cleanTitle":"FM Symposium Keynote Talk | Erik Poll","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=_E-WzfMpVSQ","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/_E-WzfMpVSQ?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":2541,"text":"42:21","a11yText":"Süre 42 dakika 21 saniye","shortText":"42 dk."},"date":"3 oca 2020","modifyTime":1578009600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/_E-WzfMpVSQ?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=_E-WzfMpVSQ","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":2541},"parentClipId":"16756995699790309827","href":"/preview/16756995699790309827?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/16756995699790309827?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"1843358484812429810":{"videoId":"1843358484812429810","title":"The Use of \u0007[Formal\u0007] \u0007[Methods\u0007] on the iFACTS ATCl project pt1 (Neil White)","cleanTitle":"The Use of Formal Methods on the iFACTS ATCl project pt1 (Neil White)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=IQMWVqQfm5A","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/IQMWVqQfm5A?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDT0M3cUhYTVlaZS13MTczN19WdjdZZw==","name":"AdaCore","isVerified":false,"subscribersCount":0,"url":"/video/search?text=AdaCore","origUrl":"http://www.youtube.com/@AdaCore05","a11yText":"AdaCore. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":593,"text":"9:53","a11yText":"Süre 9 dakika 53 saniye","shortText":"9 dk."},"views":{"text":"1,5bin","a11yText":"1,5 bin izleme"},"date":"9 nis 2010","modifyTime":1270771200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/IQMWVqQfm5A?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=IQMWVqQfm5A","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":593},"parentClipId":"1843358484812429810","href":"/preview/1843358484812429810?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/1843358484812429810?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"2768502957183189945":{"videoId":"2768502957183189945","title":"FM Symposium | Session 12A: Reasoning Techniques","cleanTitle":"FM Symposium | Session 12A: Reasoning Techniques","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=Um2Wcxbp7tE","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/Um2Wcxbp7tE?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDNXJaajBBeUJ1ZGNhMFlSZ0VBWC1Pdw==","name":"Formal Methods Europe","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Formal+Methods+Europe","origUrl":"http://www.youtube.com/@formalmethodseurope9823","a11yText":"Formal Methods Europe. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3260,"text":"54:20","a11yText":"Süre 54 dakika 20 saniye","shortText":"54 dk."},"date":"23 oca 2020","modifyTime":1579737600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/Um2Wcxbp7tE?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=Um2Wcxbp7tE","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":3260},"parentClipId":"2768502957183189945","href":"/preview/2768502957183189945?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/2768502957183189945?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"6898767806859019962":{"videoId":"6898767806859019962","title":"\u0007[Formal\u0007] \u0007[Methods\u0007] Final Presentation","cleanTitle":"Formal Methods Final Presentation","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=4PUKQuCbr_0","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/4PUKQuCbr_0?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDY25lSzFxa1FtN1Q5NlZ6VUdHa3hSZw==","name":"A Bhimani","isVerified":false,"subscribersCount":0,"url":"/video/search?text=A+Bhimani","origUrl":"http://www.youtube.com/@aryabhimani","a11yText":"A Bhimani. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":349,"text":"5:49","a11yText":"Süre 5 dakika 49 saniye","shortText":"5 dk."},"date":"21 nis 2017","modifyTime":1492732800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/4PUKQuCbr_0?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=4PUKQuCbr_0","reqid":"1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL","duration":349},"parentClipId":"6898767806859019962","href":"/preview/6898767806859019962?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","rawHref":"/video/preview/6898767806859019962?parent-reqid=1769623653831024-14985978263829848756-balancer-l7leveler-kubr-yp-vla-98-BAL&text=Formal+Methods+Europe","isEmbedOnly":false,"shouldPlayInstreamPreroll":false}}},"viewer":{"_isInitial":false,"clips":{"items":{},"dups":{},"loadingStatus":"None"},"internal":{"videoId":"","sandboxEventPrefix":"sandbox:","sandboxVersion":"0x001cd987dbd","isEmbedded":false,"from":"yavideo","service":"ya-video","hbPeriod":30,"table":"video_tech","isInstreamDisabled":false,"nonce":"4985978263829848756798","errorList":[],"isAdultAdv":false,"isImportantCommonAdv":false,"shouldShowAdvId":false,"advConfig":{"under-player":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"under-player-lite":{"regular":{"default":"R-I-48058-728"},"adult":{"default":"R-I-474674-103"}},"under-player-old":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"video-list":{"regular":{"default":"R-I-48058-708","mail":"R-A-13411721-2"},"adult":{"default":"R-I-474674-101","mail":"R-A-13426421-2"}},"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-row":{"regular":{"default":"R-I-48058-718","mail":"R-A-13411721-4"},"adult":{"default":"R-I-474674-109","mail":"R-A-13426421-4"}},"search-grid-head":{"regular":{"default":"R-I-2120168-7"}},"search-list-right":{"regular":{"default":"R-I-8843654-1"}},"before-player-old":{"regular":{"default":"R-I-2120168-1"}},"before-player":{"regular":{"default":"R-I-2120168-1"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"shouldValidateSandbox":false,"sandboxInitTimeout":15000,"isSSROnlyMastheadEnabled":true,"query":"Formal Methods Europe","queryUriEscaped":"Formal%20Methods%20Europe","filterMode":1,"isUserChild":false,"advInstreamConfig":{"regular":{"default":{"category":"2","impId":"7","partnerId":"2216089","vmapScenarioId":"119"}},"adult":{"default":{"category":"3","impId":"4","partnerId":"1988486","vmapScenarioId":"119"}}}},"playbackQueue":{"currentIndex":0,"items":[]},"related":{"items":[],"pages":[],"loadingStatus":"None","nextPageNum":0,"ncrnd":0},"playlist":{"items":{}},"delayedViews":{"ids":[],"loadingStatus":"None"}}}