{"id":22,"date":"2020-06-03T07:53:45","date_gmt":"2020-06-03T07:53:45","guid":{"rendered":"http:\/\/easyconferences.eu\/itp2021\/?page_id=22"},"modified":"2021-09-08T12:26:35","modified_gmt":"2021-09-08T12:26:35","slug":"program","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/itp2021\/program\/","title":{"rendered":"Program"},"content":{"rendered":"<p>[et_pb_section fb_built=&#8221;1&#8243; next_background_color=&#8221;#ffffff&#8221; _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#8c8c8c&#8221; top_divider_color=&#8221;#b53319&#8243; bottom_divider_style=&#8221;arrow3&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_is_popup=&#8221;off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;-26px|auto||auto||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\"><span style=\"color: #ffffff;\">Program<\/span><\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #1&#8243; module_id=&#8221;1&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;1&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/4iibbPEhTTE\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #2&#8243; module_id=&#8221;2&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;2&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/VAZiWluwut0\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #3&#8243; module_id=&#8221;3&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;3&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/fGnIdt_jPfA\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #4&#8243; module_id=&#8221;4&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;4&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/BQAeMd7IzII\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #5&#8243; module_id=&#8221;5&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;5&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/37oeI3CLMdE\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #6&#8243; module_id=&#8221;6&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;6&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/gXICZQ_6bbI\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #7&#8243; module_id=&#8221;7&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;7&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/Y0zs9aTjejk\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #8&#8243; module_id=&#8221;8&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;8&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/_0V46pBkRYo\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #9&#8243; module_id=&#8221;9&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;9&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/tiGMqunbQp4\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #10&#8243; module_id=&#8221;10&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;10&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/b-guSuayKYs\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #11&#8243; module_id=&#8221;11&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;11&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/AVYVlZG04Fc\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; admin_label=&#8221;Popup &#8211; #12&#8243; module_id=&#8221;12&#8243; module_class=&#8221;popup&#8221; _builder_version=&#8221;4.4.6&#8243; da_is_popup=&#8221;on&#8221; da_popup_slug=&#8221;12&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube-nocookie.com\/embed\/uAt6zsMq1r4\" title=\"YouTube video player\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>[\/et_pb_code][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.4.6&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_is_popup=&#8221;off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\"><span style=\"color: #800000;\">ITP 2021<\/span><\/h2>\n<div class=\"et_pb_module et_pb_text et_pb_text_1  et_pb_text_align_left et_pb_bg_layout_light\">\n<div class=\"et_pb_text_inner\">\n<p style=\"text-align: center;\"><strong><span>All times are in the Central European Summer Timezone (CEST), UTC+2, GMT+2<\/span><\/strong><\/p>\n<p style=\"text-align: center;\"><strong><span><a href=\"https:\/\/www.thetimezoneconverter.com\/\" target=\"_blank\" rel=\"noopener noreferrer\"><b>Click here to calculate your local time<\/b><\/a><\/span><\/strong><\/p>\n<\/div>\n<\/div>\n<p style=\"text-align: center;\"><span>Talks will be 20 minutes long + 5 minutes for questions<\/span><\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243; custom_padding=&#8221;0px|||||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_code _builder_version=&#8221;4.4.6&#8243;]<div class=\"sched-loader\"><div class=\"sched-loader-icon\"><\/div><div class=\"sched-loader-text\"><\/div><\/div>\n<div class=\" sched\" id=\"sched-schedule-1-899745062\" data-options=\" {&quot;am_pm&quot;:&quot;0&quot;,&quot;sidebar_width&quot;:&quot;100&quot;,&quot;sidebar_position&quot;:&quot;left&quot;,&quot;event_hover_color&quot;:&quot;lighten&quot;,&quot;event_box_text_align&quot;:&quot;center&quot;,&quot;event_box_time&quot;:&quot;0&quot;,&quot;event_hover_text_color&quot;:&quot;#FFFFFF&quot;,&quot;event_hover_background_color&quot;:&quot;#000000&quot;,&quot;event_box_truncate_title&quot;:&quot;0&quot;,&quot;event_tooltip&quot;:&quot;0&quot;,&quot;event_tooltip_title&quot;:&quot;1&quot;,&quot;event_tooltip_time&quot;:&quot;1&quot;,&quot;event_tooltip_description&quot;:&quot;1&quot;,&quot;event_tooltip_width_type&quot;:&quot;event&quot;,&quot;event_tooltip_width&quot;:&quot;150&quot;,&quot;event_tooltip_color_type&quot;:&quot;event&quot;,&quot;event_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;event_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;column_tooltip&quot;:&quot;0&quot;,&quot;column_tooltip_title&quot;:&quot;1&quot;,&quot;column_tooltip_description&quot;:&quot;1&quot;,&quot;column_tooltip_width_type&quot;:&quot;column&quot;,&quot;column_tooltip_width&quot;:&quot;150&quot;,&quot;column_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;column_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;animations&quot;:&quot;0&quot;,&quot;animations_mobile&quot;:&quot;0&quot;,&quot;animations_speed&quot;:&quot;normal&quot;,&quot;animations_css3&quot;:&quot;1&quot;,&quot;tooltips_mobile&quot;:&quot;0&quot;,&quot;editor_bg&quot;:&quot;#F5F5F5&quot;,&quot;animations_editor&quot;:&quot;1&quot;,&quot;popup_max_width&quot;:&quot;560&quot;,&quot;popup_background_color&quot;:&quot;#ffffff&quot;,&quot;popup_text_color&quot;:&quot;#535353&quot;,&quot;popup_link_color&quot;:&quot;#18bc9c&quot;,&quot;autoplay_videos&quot;:&quot;0&quot;,&quot;column_color_bg&quot;:&quot;#e8e8e8&quot;,&quot;column_color_text&quot;:&quot;#3f3f3f&quot;,&quot;column_color_border&quot;:&quot;#ffffff&quot;,&quot;pattern_color_1&quot;:&quot;#ffffff&quot;,&quot;pattern_color_2&quot;:&quot;#e8e8e8&quot;,&quot;pattern_color_3&quot;:&quot;#f5f5f5&quot;,&quot;title_text_color&quot;:&quot;#3f3f3f&quot;,&quot;sidebar_text_color&quot;:&quot;#3f3f3f&quot;,&quot;event_box_text_color&quot;:&quot;#ffffff&quot;,&quot;title_attr&quot;:&quot;1&quot;,&quot;column_break&quot;:1,&quot;column_break_width&quot;:&quot;120&quot;,&quot;column_break_hide_sidebar&quot;:&quot;0&quot;,&quot;editor_custom_css&quot;:&quot;1&quot;,&quot;column_title&quot;:&quot;1&quot;,&quot;event_box_description_method&quot;:&quot;full&quot;,&quot;editor_quick_tooltips&quot;:&quot;1&quot;,&quot;editor_timepicker_increments&quot;:&quot;5&quot;,&quot;event_box_style&quot;:&quot;1&quot;,&quot;filter_position&quot;:&quot;right&quot;,&quot;filter_multiple&quot;:&quot;1&quot;,&quot;filter_hidden_events&quot;:&quot;hide&quot;,&quot;filter_hidden_events_opacity&quot;:&quot;30&quot;,&quot;filter_dropdown_width&quot;:&quot;100&quot;,&quot;filter_dropdown_hover_width&quot;:&quot;180&quot;,&quot;filter_dropdown_label&quot;:&quot;&quot;,&quot;filter_dropdown_show_all_label&quot;:&quot;Showing All&quot;,&quot;hashtag_url&quot;:&quot;0&quot;,&quot;hide_popup_for_empty_events&quot;:&quot;0&quot;,&quot;event_box_padding_break&quot;:&quot;110&quot;,&quot;popup_arrows&quot;:&quot;1&quot;,&quot;filter_visible&quot;:&quot;1&quot;,&quot;column_break_action&quot;:&quot;list&quot;,&quot;list_view_column_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_hover_title_color&quot;:&quot;#000&quot;,&quot;list_view_event_title_bold&quot;:&quot;1&quot;,&quot;list_view_event_bullets&quot;:&quot;1&quot;,&quot;list_view_event_short_description_method&quot;:&quot;short&quot;,&quot;list_view_event_description_color&quot;:&quot;#666&quot;,&quot;list_view_hide_empty_columns&quot;:&quot;0&quot;,&quot;shortcodes_in_descriptions&quot;:&quot;1&quot;,&quot;columns_sticky_header&quot;:&quot;1&quot;,&quot;columns_sticky_header_offset&quot;:&quot;0&quot;,&quot;h_row_height&quot;:90,&quot;h_column_width&quot;:200,&quot;h_time_indicator&quot;:1,&quot;h_time_indicator_height&quot;:30,&quot;h_column_multiline&quot;:0,&quot;h_column_title_position&quot;:&quot;middle&quot;,&quot;h_column_title_align&quot;:&quot;center&quot;,&quot;h_break&quot;:1,&quot;h_width_break_point&quot;:200,&quot;h_bg_color&quot;:&quot;#f8f8f8&quot;,&quot;pdf_type&quot;:&quot;html&quot;,&quot;pdf_enable&quot;:&quot;0&quot;,&quot;pdf_enable_list&quot;:&quot;0&quot;,&quot;pdf_label&quot;:&quot;Download&quot;,&quot;pdf_css&quot;:&quot;&quot;,&quot;upcoming_type&quot;:&quot;current_datetime&quot;,&quot;upcoming_custom&quot;:&quot;2016-01-01 00:00&quot;,&quot;upcoming_limit&quot;:&quot;5&quot;,&quot;upcoming_title&quot;:&quot;timetable_title&quot;,&quot;upcoming_title_custom&quot;:&quot;Upcoming Events&quot;,&quot;upcoming_title_amount&quot;:&quot;1&quot;}\" data-start=\"10:00\" data-end=\"19:00\" data-timetable-id=\"1\" data-type=\"full\" data-list-id=\"#sched-schedule-1-899745062-list\" data-layout=\"default\">\t<div class=\"sched-style\"><style type=\"text\/css\">\/*\n * Custom CSS For Timetable\n*\/\n\n#sched-schedule-1-899745062 .sched-column-header,\n#sched-schedule-1-899745062 .sched-column-header-sticky {\n\tbackground: #e8e8e8;\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-1-899745062 .sched-column-header:after,\n#sched-schedule-1-899745062 .sched-column-header-sticky:after {\n\tbackground: #ffffff;\n}\n\n#sched-schedule-1-899745062 .sched-columns .sched-column:last-child .sched-column-header:after,\n#sched-schedule-1-899745062 .sched-columns .sched-column:last-child .sched-column-header-sticky:after {\n\tbackground: #e8e8e8;\n}\n\n#sched-schedule-1-899745062 .sched-column-bg-block {\n\tbackground: #ffffff;\n\tborder-color: #e8e8e8;\n}\n\n#sched-schedule-1-899745062 .sched-column-bg-block:after {\n\tbackground: #f5f5f5;\n}\n\n#sched-schedule-1-899745062 .sched-row-no-title .sched-column .sched-column-bg {\n\tbox-shadow: 0 -1px 0 #e8e8e8;\n}\n\n#sched-schedule-1-899745062 .sched-title {\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-1-899745062 .sched-time-value {\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-1-899745062 .sched-event .sched-event-inner {\n\tcolor: #ffffff;\n\ttext-align: center;\n}\n\n#sched-schedule-1-899745062 .sched-event.sched-event-invert .sched-event-inner {\n\t<!-- background: #999; -->\n}\n\n\n\n\/*#sched-schedule-1-899745062 a.sched-event.sched-event-sort-hidden {\n\topacity: 0;\n}*\/\n\n#sched-schedule-1-899745062 .sched-sort .sched-sort-current .sched-sort-current-label,\n#sched-schedule-1-899745062 .sched-top-buttons-below-title .sched-sort.sched-sort-open .sched-sort-dropdown .sched-sort-current .sched-sort-current-label,\n#sched-schedule-1-899745062-list.sched-list .sched-sort .sched-sort-current .sched-sort-current-label {\n\twidth: 100px;\n}\n\n#sched-schedule-1-899745062 .sched-sort.sched-sort-open .sched-sort-dropdown .sched-sort-current .sched-sort-current-label {\n\twidth: 180px;\n}\n\n\/*\n * Custom CSS Event Popup\n *\/\n\n#sched-schedule-1-899745062-popup .sched-popup-description {\n\t\n}\n\n#sched-schedule-1-899745062-popup .sched-popup-description .sched-meta a,\n#sched-schedule-1-899745062-popup .sched-popup-description .sched-popup-description-text a {\n\tcolor: #18bc9c;\n}\n\n#sched-schedule-1-899745062-popup .sched-popup-description .sched-meta,\n#sched-schedule-1-899745062-popup .sched-popup-description .sched-popup-description-text {\n\tcolor: #535353;\n\tbackground: #ffffff;\n}\n\n\/*\n * List\n *\/\n\n#sched-schedule-1-899745062-list .sched-list-title {\n\tcolor: #3f3f3f;\n}\n\n\n\n#sched-schedule-1-899745062-list .sched-list-column-title {\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-1-899745062-list .sched-list-event {\n\tcolor: #3f3f3f;\n\t\n\t\n}\n\n#sched-schedule-1-899745062-list .sched-list-event:hover {\n\tcolor: #000;\n}\n\n#sched-schedule-1-899745062-list .sched-list-event-description {\n\tcolor: #666;\n}\n\n#sched-schedule-1-899745062-list .sched-list-event-title {\n\t\tfont-weight: bold;\n\t;\n}\n<\/style><\/div>\n\t<div class=\"sched-top\" style=\"margin-left: 100px; margin-right: 0px\">\n\t\t\t<h2 class=\"sched-title\">PROGRAM OVERVIEW<\/h2>\n\t\t\n\t<div class=\"sched-top-buttons sched-top-buttons-right\">\n\t\t\t\n\t\t\t<\/div><!-- .sched-top-buttons -->\n\n<\/div><!-- .sched-top -->\t<div class=\"sched-row\">\n\t\t\t\t\t<div class=\"sched-sidebar\" style=\"width: 100px;\">\n\t\t\t\t<div class=\"sched-time\">\n\t\t\t\t\t<div class=\"sched-time-value\" style=\"padding-bottom: 36px\">10:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">10:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">11:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">11:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">12:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">12:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">13:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">13:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">14:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">14:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">15:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">15:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">16:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">16:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">17:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">17:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">18:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">18:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">19:00<\/div>\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t\t\t\t\t<div class=\"sched-columns\" style=\"margin-left: 100px; margin-right: 0px;\">\n\t\t\t\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 20%\" data-column-id=\"11\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Monday - 28th of June\">\n\t\t\t\t\tMonday - 28th of June\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tMonday - 28th of June\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Proof Ground 2021 - Workshop\" data-event-id=\"15\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 699px; top: 0px\" data-start-time=\"10:00\" data-end-time=\"17:00\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Proof Ground 2021 - Workshop\" data-event-id=\"15\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 699px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"15\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Proof Ground 2021 - Workshop<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"15\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 20%\" data-column-id=\"1\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Tuesday - 29th of June\">\n\t\t\t\t\tTuesday - 29th of June\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tTuesday - 29th of June\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"74\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 174px; top: 0px\" data-start-time=\"10:00\" data-end-time=\"11:45\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"74\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 174px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"74\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 1<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"74\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"16\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 175px\" data-start-time=\"11:45\" data-end-time=\"12:15\" data-top=\"175\" data-size=\"1\" data-sort-index=\"1\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"16\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 175px\" data-top=\"175\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"16\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"16\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"17\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 225px\" data-start-time=\"12:15\" data-end-time=\"13:30\" data-top=\"225\" data-size=\"1\" data-sort-index=\"2\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"17\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 225px\" data-top=\"225\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"17\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 2<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"17\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"18\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 149px; top: 350px\" data-start-time=\"13:30\" data-end-time=\"15:00\" data-top=\"350\" data-size=\"1\" data-sort-index=\"3\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"18\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 149px; top: 350px\" data-top=\"350\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"18\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"18\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"19\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-start-time=\"15:00\" data-end-time=\"16:15\" data-top=\"500\" data-size=\"1\" data-sort-index=\"4\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"19\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-top=\"500\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"19\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 3<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"19\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"23\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-start-time=\"16:15\" data-end-time=\"16:45\" data-top=\"625\" data-size=\"1\" data-sort-index=\"5\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"23\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-top=\"625\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"23\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"23\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"22\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-start-time=\"16:45\" data-end-time=\"17:45\" data-top=\"675\" data-size=\"1\" data-sort-index=\"6\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"22\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-top=\"675\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"22\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Invited Talk<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"22\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 20%\" data-column-id=\"2\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Wednesday - 30th of June\">\n\t\t\t\t\tWednesday - 30th of June\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tWednesday - 30th of June\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"8\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 75px\" data-start-time=\"10:45\" data-end-time=\"12:00\" data-top=\"75\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"8\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 75px\" data-top=\"75\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"8\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 1<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"8\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"10\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 200px\" data-start-time=\"12:00\" data-end-time=\"12:30\" data-top=\"200\" data-size=\"1\" data-sort-index=\"1\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"10\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 200px\" data-top=\"200\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"10\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"10\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"9\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 250px\" data-start-time=\"12:30\" data-end-time=\"13:45\" data-top=\"250\" data-size=\"1\" data-sort-index=\"2\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"9\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 250px\" data-top=\"250\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"9\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 2<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"9\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"11\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 375px\" data-start-time=\"13:45\" data-end-time=\"15:00\" data-top=\"375\" data-size=\"1\" data-sort-index=\"3\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"11\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 375px\" data-top=\"375\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"11\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"11\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"12\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-start-time=\"15:00\" data-end-time=\"16:15\" data-top=\"500\" data-size=\"1\" data-sort-index=\"4\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"12\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-top=\"500\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"12\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 3<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"12\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"13\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-start-time=\"16:15\" data-end-time=\"16:45\" data-top=\"625\" data-size=\"1\" data-sort-index=\"5\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"13\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-top=\"625\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"13\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"13\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Business Meeting\" data-event-id=\"14\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-start-time=\"16:45\" data-end-time=\"17:45\" data-top=\"675\" data-size=\"1\" data-sort-index=\"6\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Business Meeting\" data-event-id=\"14\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-top=\"675\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"14\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Business Meeting<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"14\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"20\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 24px; top: 775px\" data-start-time=\"17:45\" data-end-time=\"18:00\" data-top=\"775\" data-size=\"1\" data-sort-index=\"7\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"20\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 24px; top: 775px\" data-top=\"775\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"20\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"20\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"21\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 800px\" data-start-time=\"18:00\" data-end-time=\"19:00\" data-top=\"800\" data-size=\"1\" data-sort-index=\"8\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"21\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 800px\" data-top=\"800\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"21\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Invited Talk<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"21\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 20%\" data-column-id=\"3\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Thursday - 1st of July\">\n\t\t\t\t\tThursday - 1st of July\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tThursday - 1st of July\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"3\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 174px; top: 0px\" data-start-time=\"10:00\" data-end-time=\"11:45\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"3\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 174px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"3\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 1<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"3\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"4\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 175px\" data-start-time=\"11:45\" data-end-time=\"12:15\" data-top=\"175\" data-size=\"1\" data-sort-index=\"1\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"4\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 175px\" data-top=\"175\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"4\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"4\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"5\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 225px\" data-start-time=\"12:15\" data-end-time=\"13:30\" data-top=\"225\" data-size=\"1\" data-sort-index=\"2\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"5\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 225px\" data-top=\"225\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"5\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 2<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"5\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"6\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 149px; top: 350px\" data-start-time=\"13:30\" data-end-time=\"15:00\" data-top=\"350\" data-size=\"1\" data-sort-index=\"3\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"6\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 149px; top: 350px\" data-top=\"350\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"6\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"6\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"7\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-start-time=\"15:00\" data-end-time=\"16:15\" data-top=\"500\" data-size=\"1\" data-sort-index=\"4\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"7\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-top=\"500\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"7\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 3<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"7\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"2\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-start-time=\"16:15\" data-end-time=\"16:45\" data-top=\"625\" data-size=\"1\" data-sort-index=\"5\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"2\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-top=\"625\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"2\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"2\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"1\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-start-time=\"16:45\" data-end-time=\"17:45\" data-top=\"675\" data-size=\"1\" data-sort-index=\"6\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"1\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-top=\"675\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"1\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Invited Talk<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"1\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 20%\" data-column-id=\"10\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Friday - 2nd of July\">\n\t\t\t\t\tFriday - 2nd of July\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tFriday - 2nd of July\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Coq Workshop 2021: 12th Coq Workshop\" data-event-id=\"72\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 699px; top: 0px\" data-start-time=\"10:00\" data-end-time=\"17:00\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Coq Workshop 2021: 12th Coq Workshop\" data-event-id=\"72\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 699px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"72\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Coq Workshop 2021: 12th Coq Workshop<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"72\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t<\/div><!-- #sched-columns -->\n\t<\/div>\n<\/div><div class=\" sched-list sched-hidden\" id=\"sched-schedule-1-899745062-list\" data-id-schedule=\"sched-schedule-1-899745062\" data-options=\" {&quot;am_pm&quot;:&quot;0&quot;,&quot;sidebar_width&quot;:&quot;100&quot;,&quot;sidebar_position&quot;:&quot;left&quot;,&quot;event_hover_color&quot;:&quot;lighten&quot;,&quot;event_box_text_align&quot;:&quot;center&quot;,&quot;event_box_time&quot;:&quot;0&quot;,&quot;event_hover_text_color&quot;:&quot;#FFFFFF&quot;,&quot;event_hover_background_color&quot;:&quot;#000000&quot;,&quot;event_box_truncate_title&quot;:&quot;0&quot;,&quot;event_tooltip&quot;:&quot;0&quot;,&quot;event_tooltip_title&quot;:&quot;1&quot;,&quot;event_tooltip_time&quot;:&quot;1&quot;,&quot;event_tooltip_description&quot;:&quot;1&quot;,&quot;event_tooltip_width_type&quot;:&quot;event&quot;,&quot;event_tooltip_width&quot;:&quot;150&quot;,&quot;event_tooltip_color_type&quot;:&quot;event&quot;,&quot;event_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;event_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;column_tooltip&quot;:&quot;0&quot;,&quot;column_tooltip_title&quot;:&quot;1&quot;,&quot;column_tooltip_description&quot;:&quot;1&quot;,&quot;column_tooltip_width_type&quot;:&quot;column&quot;,&quot;column_tooltip_width&quot;:&quot;150&quot;,&quot;column_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;column_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;animations&quot;:&quot;0&quot;,&quot;animations_mobile&quot;:&quot;0&quot;,&quot;animations_speed&quot;:&quot;normal&quot;,&quot;animations_css3&quot;:&quot;1&quot;,&quot;tooltips_mobile&quot;:&quot;0&quot;,&quot;editor_bg&quot;:&quot;#F5F5F5&quot;,&quot;animations_editor&quot;:&quot;1&quot;,&quot;popup_max_width&quot;:&quot;560&quot;,&quot;popup_background_color&quot;:&quot;#ffffff&quot;,&quot;popup_text_color&quot;:&quot;#535353&quot;,&quot;popup_link_color&quot;:&quot;#18bc9c&quot;,&quot;autoplay_videos&quot;:&quot;0&quot;,&quot;column_color_bg&quot;:&quot;#e8e8e8&quot;,&quot;column_color_text&quot;:&quot;#3f3f3f&quot;,&quot;column_color_border&quot;:&quot;#ffffff&quot;,&quot;pattern_color_1&quot;:&quot;#ffffff&quot;,&quot;pattern_color_2&quot;:&quot;#e8e8e8&quot;,&quot;pattern_color_3&quot;:&quot;#f5f5f5&quot;,&quot;title_text_color&quot;:&quot;#3f3f3f&quot;,&quot;sidebar_text_color&quot;:&quot;#3f3f3f&quot;,&quot;event_box_text_color&quot;:&quot;#ffffff&quot;,&quot;title_attr&quot;:&quot;1&quot;,&quot;column_break&quot;:1,&quot;column_break_width&quot;:&quot;120&quot;,&quot;column_break_hide_sidebar&quot;:&quot;0&quot;,&quot;editor_custom_css&quot;:&quot;1&quot;,&quot;column_title&quot;:&quot;1&quot;,&quot;event_box_description_method&quot;:&quot;full&quot;,&quot;editor_quick_tooltips&quot;:&quot;1&quot;,&quot;editor_timepicker_increments&quot;:&quot;5&quot;,&quot;event_box_style&quot;:&quot;1&quot;,&quot;filter_position&quot;:&quot;right&quot;,&quot;filter_multiple&quot;:&quot;1&quot;,&quot;filter_hidden_events&quot;:&quot;hide&quot;,&quot;filter_hidden_events_opacity&quot;:&quot;30&quot;,&quot;filter_dropdown_width&quot;:&quot;100&quot;,&quot;filter_dropdown_hover_width&quot;:&quot;180&quot;,&quot;filter_dropdown_label&quot;:&quot;&quot;,&quot;filter_dropdown_show_all_label&quot;:&quot;Showing All&quot;,&quot;hashtag_url&quot;:&quot;0&quot;,&quot;hide_popup_for_empty_events&quot;:&quot;0&quot;,&quot;event_box_padding_break&quot;:&quot;110&quot;,&quot;popup_arrows&quot;:&quot;1&quot;,&quot;filter_visible&quot;:&quot;1&quot;,&quot;column_break_action&quot;:&quot;list&quot;,&quot;list_view_column_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_hover_title_color&quot;:&quot;#000&quot;,&quot;list_view_event_title_bold&quot;:&quot;1&quot;,&quot;list_view_event_bullets&quot;:&quot;1&quot;,&quot;list_view_event_short_description_method&quot;:&quot;short&quot;,&quot;list_view_event_description_color&quot;:&quot;#666&quot;,&quot;list_view_hide_empty_columns&quot;:&quot;0&quot;,&quot;shortcodes_in_descriptions&quot;:&quot;1&quot;,&quot;columns_sticky_header&quot;:&quot;1&quot;,&quot;columns_sticky_header_offset&quot;:&quot;0&quot;,&quot;h_row_height&quot;:90,&quot;h_column_width&quot;:200,&quot;h_time_indicator&quot;:1,&quot;h_time_indicator_height&quot;:30,&quot;h_column_multiline&quot;:0,&quot;h_column_title_position&quot;:&quot;middle&quot;,&quot;h_column_title_align&quot;:&quot;center&quot;,&quot;h_break&quot;:1,&quot;h_width_break_point&quot;:200,&quot;h_bg_color&quot;:&quot;#f8f8f8&quot;,&quot;pdf_type&quot;:&quot;html&quot;,&quot;pdf_enable&quot;:&quot;0&quot;,&quot;pdf_enable_list&quot;:&quot;0&quot;,&quot;pdf_label&quot;:&quot;Download&quot;,&quot;pdf_css&quot;:&quot;&quot;,&quot;upcoming_type&quot;:&quot;current_datetime&quot;,&quot;upcoming_custom&quot;:&quot;2016-01-01 00:00&quot;,&quot;upcoming_limit&quot;:&quot;5&quot;,&quot;upcoming_title&quot;:&quot;timetable_title&quot;,&quot;upcoming_title_custom&quot;:&quot;Upcoming Events&quot;,&quot;upcoming_title_amount&quot;:&quot;1&quot;}\" data-start=\"10:00\" data-end=\"19:00\" data-timetable-id=\"1\" data-type=\"list\" data-layout=\"default\">\t<div class=\"sched-list-top\">\n\t\t<div class=\"sched-list-title\">PROGRAM OVERVIEW<\/div>\n\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Monday - 28th of June<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-15\" data-event-id=\"15\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tProof Ground 2021 - Workshop\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">10:00 - 17:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Tuesday - 29th of June<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-74\" data-event-id=\"74\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 1\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">10:00 - 11:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-16\" data-event-id=\"16\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">11:45 - 12:15<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-17\" data-event-id=\"17\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 2\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">12:15 - 13:30<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-18\" data-event-id=\"18\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">13:30 - 15:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-19\" data-event-id=\"19\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 3\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 16:15<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-23\" data-event-id=\"23\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:15 - 16:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-22\" data-event-id=\"22\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tInvited Talk\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:45 - 17:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Wednesday - 30th of June<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-8\" data-event-id=\"8\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 1\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">10:45 - 12:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-10\" data-event-id=\"10\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">12:00 - 12:30<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-9\" data-event-id=\"9\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 2\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">12:30 - 13:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-11\" data-event-id=\"11\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">13:45 - 15:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-12\" data-event-id=\"12\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 3\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 16:15<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-13\" data-event-id=\"13\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:15 - 16:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-14\" data-event-id=\"14\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBusiness Meeting\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:45 - 17:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-20\" data-event-id=\"20\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">17:45 - 18:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-21\" data-event-id=\"21\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tInvited Talk\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">18:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Thursday - 1st of July<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-3\" data-event-id=\"3\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 1\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">10:00 - 11:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-4\" data-event-id=\"4\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">11:45 - 12:15<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-5\" data-event-id=\"5\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 2\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">12:15 - 13:30<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-6\" data-event-id=\"6\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">13:30 - 15:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-7\" data-event-id=\"7\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 3\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 16:15<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-2\" data-event-id=\"2\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:15 - 16:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-1\" data-event-id=\"1\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tInvited Talk\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:45 - 17:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Friday - 2nd of July<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-72\" data-event-id=\"72\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tCoq Workshop 2021: 12th Coq Workshop\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">10:00 - 17:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t<!-- .sched-list-column -->\n\t\n<\/div>[\/et_pb_code][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\"><\/h2>\n<div class=\"et_pb_module et_pb_text et_pb_text_1  et_pb_text_align_left et_pb_bg_layout_light\">\n<div class=\"et_pb_text_inner\">\n<p style=\"text-align: center;\"><strong><span>All times are in the Central European Summer Timezone (CEST), UTC+2, GMT+2<\/span><\/strong><\/p>\n<p style=\"text-align: center;\"><strong><span><a href=\"https:\/\/www.thetimezoneconverter.com\/\" target=\"_blank\" rel=\"noopener noreferrer\"><b>Click here to calculate your local time<\/b><\/a><\/span><\/strong><\/p>\n<\/div>\n<\/div>\n<p style=\"text-align: center;\"><span>Talks will be 20 minutes long + 5 minutes for questions<\/span><\/p>\n<p style=\"text-align: center;\">Sessions will be held online using Zoom\u00a0<span><\/span><\/p>\n<p style=\"text-align: center;\"><span><\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||12px|||&#8221;]<\/p>\n<h2 style=\"text-align: center;\">Monday &#8211; 28th of June<\/h2>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;-3px|||||&#8221; custom_padding=&#8221;10px||0px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Proof Ground 2021\u00a0<\/span><\/h3>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Time: 09:30 &#8211; 17:30<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"text-decoration: underline;\"><a href=\"https:\/\/www21.in.tum.de\/~wimmers\/proofground\/\"><span style=\"color: #333333; text-decoration: underline;\">Click here for the program<\/span><\/a><\/span><\/p>\n<p style=\"text-align: center;\">\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\">Tuesday &#8211; 29th of June<\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243; width=&#8221;60.7%&#8221; custom_margin=&#8221;-25px|auto||auto||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;-19px|||||&#8221; custom_padding=&#8221;10px||6px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Theory I<\/span><\/h3>\n<p><span style=\"color: #333333;\"><a href=\"#3\"><span><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" style=\"display: block; margin-left: auto; margin-right: auto;\" \/><\/span><\/a><\/span><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">10:00 &#8211; 11:45<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Chair: Matthieu Sozeau<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>A Mechanised Proof of the Time Invariance Thesis for the Weak Call-by-value \u03bb-Calculus<\/strong><br \/> <em><span>Yannick Forster,\u00a0Fabian Kunze,\u00a0Gert Smolka\u00a0and Maximilian Wuttke<\/span>.<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Flexible coinduction in Agda\u00a0<\/strong><br \/> <em>Luca Ciccone, Francesco Dagnino and Elena Zucca.<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Reaching for the Star: Tale of a Monad in Coq<\/strong><br \/> <em>Pierre Nigron and Pierre-Evariste Dagand.\u00a0<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Homotopy Type Theory in Isabelle (Short Paper)\u00a0<\/strong><br \/> <em>Joshua Chen.<\/em><\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;rgba(142,149,158,0.45)&#8221; custom_margin=&#8221;-30px||-2px|||&#8221; custom_padding=&#8221;3px|||||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #000000;\">Break<\/span><br \/> <span style=\"color: #000000;\"> 11:45 &#8211; 12:15<\/span><\/h3>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;||-1px|||&#8221; custom_padding=&#8221;7px||5px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Mathematics Formalizations<\/span><\/h3>\n<p><span style=\"color: #333333;\"><a href=\"#4\"><span><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" style=\"display: block; margin-left: auto; margin-right: auto;\" \/><\/span><\/a><\/span><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">12:15 &#8211; 13:30<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Chair:\u00a0Larry Paulson<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>A formalization of Dedekind domains and class groups of global fields \u00a0<\/strong><br \/> <em>Anne Baanen, Sander R. Dahmen, Filippo A. E. Nuccio Mortarino Majno di Capriglio and Ashvni Narayanan.<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Proof Pearl : Playing with the Tower of Hanoi Formally \u00a0<\/strong><br \/> <em>Laurent Th\u00e9ry.<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Formalized Haar Measure.<\/strong><br \/> <em>Floris van Doorn\u00a0<\/em><\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;rgba(142,149,158,0.45)&#8221; custom_margin=&#8221;||0px|||&#8221; custom_padding=&#8221;5px|||||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #000000;\">Break<\/span><br \/> <span style=\"color: #000000;\"> 13:30 &#8211; 15:00<\/span><\/h3>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;||25px|||&#8221; custom_padding=&#8221;12px||8px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Verification 1<\/span><\/h3>\n<p><span style=\"color: #333333;\"><a href=\"#5\"><span><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" style=\"display: block; margin-left: auto; margin-right: auto;\" \/><\/span><\/a><\/span><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">15:00 &#8211; 16:15<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Chair: Tobias Nipkow<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Formal Verification of Termination Criteria for First-Order Recursive Functions \u00a0\u00a0<\/strong><br \/> <em>Cesar Munoz,\u00a0Mauricio Ayala-Rinc\u00f3n, Mariano Moscato,\u00a0Aaron Dutle, Anthony Narkawicz, Ariane Alves Almeida, Andreia B. Avelar da Silva and Thiago M. Ferreira Ramos.<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm \u00a0\u00a0<\/strong><br \/> <em>Katherine Cordwell,\u00a0Yong Kiam Tan\u00a0and\u00a0Andr\u00e9 Platzer<\/em><br \/> <\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Verifying an HTTP Key-Value Server with Interaction Trees and VST <\/strong><br \/> <em>Hengchu Zhang, Wolf Honor\u00e9, Nicolas Koh, Yao Li, Yishuai Li, Li-Yao Xia, Lennart Beringer, William Mansky, Benjamin Pierce and Steve Zdancewic<\/em><\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;rgba(142,149,158,0.45)&#8221; custom_margin=&#8221;-26px||0px|||&#8221; custom_padding=&#8221;4px|||||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #000000;\">Break<\/span><br \/> <span style=\"color: #000000;\"> 16:15 &#8211; 16:45<\/span><\/h3>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;-3px|||||&#8221; custom_padding=&#8221;10px||0px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Invited Talk &#8211; Andrei Popescu<\/span><\/h3>\n<p style=\"text-align: center;\"><a href=\"#1\"><span style=\"color: #333333;\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" \/><\/span><\/a><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">16:45 &#8211; 17:45<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Chair: Tobias Nipkow<\/span><span><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Title:\u00a0Bounded-Deducibility Security<\/span><\/p>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243; custom_padding=&#8221;88px|||||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\">Wednesday &#8211; 30th of June<\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243; width=&#8221;60.7%&#8221; custom_margin=&#8221;-25px|auto||auto||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;-26px|||||&#8221; custom_padding=&#8221;10px||6px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Theory II<\/span><\/h3>\n<p><span style=\"color: #333333;\"><a href=\"#6\"><span><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" style=\"display: block; margin-left: auto; margin-right: auto;\" \/><\/span><\/a><\/span><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">10:45 &#8211; 12:00<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Chair:\u00a0Claudia Nalon<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq <\/strong><br \/> <em>Dominik Kirst\u00a0and\u00a0Marc Hermes.<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>A formal proof of modal completeness for provability logic<\/strong><br \/> <em>Marco Maggesi\u00a0and\u00a0Cosimo Perini Brogi.\u00a0<strong>\u00a0<\/strong><\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Mechanising Complexity Theory: The Cook-Levin Theorem in Coq\u00a0<\/strong><br \/> <em>Lennard G\u00e4her\u00a0and\u00a0Fabian Kunze.\u00a0<\/em><\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;rgba(142,149,158,0.45)&#8221; custom_margin=&#8221;-30px||-2px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #000000;\">Break<\/span><br \/> <span style=\"color: #000000;\"> 12:00 &#8211; 12:30<\/span><\/h3>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;||-1px|||&#8221; custom_padding=&#8221;12px||5px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Verification II<\/span><\/h3>\n<p><span style=\"color: #333333;\"><a href=\"#7\"><span><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" style=\"display: block; margin-left: auto; margin-right: auto;\" \/><\/span><\/a><\/span><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">12:30 &#8211; 13:45<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Chair: Claudio Sacerdoti-Coen<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong><span>Verified Progress Tracking for Timely Dataflow<br \/> <\/span><\/strong><em>Matthias Brun, S\u00e1ra Decova, Andrea Lattuada and\u00a0Dmitriy Traytel<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Complete Bidirectional Typing for the Calculus of Inductive Constructions <\/strong><br \/> <em>Meven Lennon-Bertrand.<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Specifying Message Formats with Contiguity Types <\/strong><br \/> <em>Konrad Slind<\/em><\/span><\/p>\n<p style=\"text-align: center;\">\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;rgba(142,149,158,0.45)&#8221; custom_margin=&#8221;||0px|||&#8221; custom_padding=&#8221;5px|||||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #000000;\">Break<\/span><br \/> <span style=\"color: #000000;\"> 13:45 &#8211; 15:00<\/span><\/h3>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;||25px|||&#8221; custom_padding=&#8221;12px||8px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Formalizations I<\/span><\/h3>\n<p><span style=\"color: #333333;\"><a href=\"#8\"><span><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" style=\"display: block; margin-left: auto; margin-right: auto;\" \/><\/span><\/a><\/span><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">15:00 &#8211; 16:15<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Chair:\u00a0Amy Felty<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong><span>Proving Quantum Programs Correct<br \/> <\/span><\/strong><em>Kesha Hietala,\u00a0Robert Rand, Shih-Han Hung, Liyi Li and\u00a0Michael Hicks.<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Formalization of Basic Combinatorics on Words\u00a0<\/strong><br \/> <em>Stepan Holub\u00a0and Stepan Starosta<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Unsolvability of the Quintic Formalized in Dependent Type Theory\u00a0<\/strong><br \/> <em>Sophie Bernard,\u00a0Cyril Cohen,\u00a0Assia Mahboubi\u00a0and\u00a0Pierre-Yves Strub.<\/em><\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;rgba(142,149,158,0.45)&#8221; custom_margin=&#8221;-26px||0px|||&#8221; custom_padding=&#8221;4px|||||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #000000;\">Break<\/span><br \/> <span style=\"color: #000000;\"> 16:15 &#8211; 16:45<\/span><\/h3>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;-3px|||||&#8221; custom_padding=&#8221;10px||0px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span color=\"#000000\" style=\"color: #333333;\">Business Meeting<\/span><\/h3>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">16:45 &#8211; 17:45<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Chair:\u00a0Larry Paulson<\/span><\/p>\n<p style=\"text-align: center;\">[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;rgba(142,149,158,0.45)&#8221; custom_margin=&#8221;-30px||0px|||&#8221; custom_padding=&#8221;2px|||||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #000000;\">Break<\/span><br \/> <span style=\"color: #000000;\"> 17:45 &#8211; 18:00<\/span><\/h3>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;-3px||77px|||&#8221; custom_padding=&#8221;10px||0px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Invited Talk &#8211; Nadia Polikarpova<br \/> (joint with LICS 2021)<\/span><\/h3>\n<p><span style=\"color: #333333;\"><a href=\"#2\"><span><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" style=\"display: block; margin-left: auto; margin-right: auto;\" \/><\/span><\/a><\/span><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">18:00 &#8211; 19:00<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Chair: Liron Cohen<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Title: <span>Synthesis of Safe Pointer-Manipulating Programs<\/span><\/span><\/p>\n<p style=\"text-align: center;\">\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\">Thursday &#8211; 01st of July<\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243; width=&#8221;60.7%&#8221; custom_margin=&#8221;-25px|auto||auto||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;-19px|||||&#8221; custom_padding=&#8221;10px||11px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span color=\"#000000\" style=\"color: #333333;\">Formalizations II<\/span><\/h3>\n<p><span color=\"#000000\" style=\"color: #333333;\"><a href=\"#10\"><span><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" style=\"display: block; margin-left: auto; margin-right: auto;\" \/><\/span><\/a><\/span><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">10:00 &#8211; 11:45<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><span>Chair: Adam Naumowicz<\/span><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>A Natural Formalization of the Mutilated Checkerboard Problem in Naproche\u00a0<\/strong><br \/> <em>Peter Koepke, Adrian De Lon and\u00a0Anton Lorenzen<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Value-oriented Legal Argumentation in Isabelle\/HOL\u00a0<\/strong><br \/> <em>Christoph Benzm\u00fcller\u00a0and David Fuenmayor<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong><\/strong><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong><span>A Variant of Wagner\u2019s Theorem Based on Combinatorial Hypermaps<br \/> <\/span><\/strong><em>Christian Doczkal.<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><em><strong>Verified Double Sided Auctions for Financial Markets\u00a0<\/strong><br \/> Raja Natarajan,\u00a0Suneel Sarswat\u00a0and\u00a0Abhishek Kr Singh.<\/em><\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;rgba(142,149,158,0.45)&#8221; custom_margin=&#8221;-30px||-2px|||&#8221; custom_padding=&#8221;4px|||||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #000000;\">Break<\/span><br \/> <span style=\"color: #000000;\"> 11:45 &#8211; 12:15<\/span><\/h3>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;||-1px|||&#8221; custom_padding=&#8221;7px||13px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Automation and extensions of proof assistants<\/span><\/h3>\n<p><span style=\"color: #333333;\"><a href=\"#11\"><span><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" style=\"display: block; margin-left: auto; margin-right: auto;\" \/><\/span><\/a><\/span><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">12:15 &#8211; 13:30<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><span>Chair:\u00a0Jeremy Avigad<\/span><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Itauto: an Extensible Intuitionistic SAT Solver\u00a0<\/strong><\/span><br \/> <em><span style=\"color: #333333;\"> Fr\u00e9d\u00e9ric Besson.<\/span><\/em><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Syntactic-semantic Form of Mizar Articles\u00a0<\/strong><\/span><br \/> <em><span style=\"color: #333333;\"> Czes\u0142aw Byli\u0144ski,\u00a0Artur Korni\u0142owicz\u00a0and\u00a0Adam Naumowicz.<\/span><\/em><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><em><strong>A graphical user interface framework for formal verification\u00a0<\/strong><br \/> Edward William Ayers,\u00a0Mateja Jamnik\u00a0and William Gowers.<\/em><\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;rgba(142,149,158,0.45)&#8221; custom_margin=&#8221;||0px|||&#8221; custom_padding=&#8221;5px|||||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #000000;\">Break<\/span><br \/> <span style=\"color: #000000;\"> 13:30 &#8211; 15:00<\/span><\/h3>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;||25px|||&#8221; custom_padding=&#8221;12px||8px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span color=\"#000000\" style=\"color: #333333;\">Formalization III<\/span><\/h3>\n<p><span color=\"#000000\" style=\"color: #333333;\"><a href=\"#12\"><span><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" style=\"display: block; margin-left: auto; margin-right: auto;\" \/><\/span><\/a><\/span><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">15:00 &#8211; 16:15<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><span>Chair:\u00a0Jeremy Avigad<\/span><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks<\/strong><br \/> <em>Andreas Lochbihler<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>Formalising a Turing-Complete Choreographic Language in Coq <\/strong><br \/> <em>Lu\u00eds Cruz-Filipe,\u00a0Fabrizio Montesi\u00a0and\u00a0Marco Peressotti<\/em><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><strong>A Formally Verified TESC Verifier<\/strong><br \/> <em>Seulkee Baek<\/em><\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;rgba(142,149,158,0.45)&#8221; custom_margin=&#8221;-27px||0px|||&#8221; custom_padding=&#8221;5px|||||&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #000000;\">Break<\/span><br \/> <span style=\"color: #000000;\"> 16:15 &#8211; 16:45<\/span><\/h3>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;-3px|||||&#8221; custom_padding=&#8221;10px||0px|||&#8221; hover_enabled=&#8221;0&#8243;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Invited Talk &#8211; Magnus Myreen<\/span><\/h3>\n<p><span style=\"color: #333333;\"><a href=\"#9\"><span><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2021\/07\/download.png\" width=\"34\" height=\"24\" alt=\"\" class=\"wp-image-527 alignnone size-full\" style=\"display: block; margin-left: auto; margin-right: auto;\" \/><\/span><\/a><\/span><\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">16:45 &#8211; 17:45<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\"><span>Chair:\u00a0Cezary Kaliszyk<\/span><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #333333;\">Title:\u00a0The CakeML Project\u2019s Quest for Ever Stronger Correctness Theorems<\/span><\/p>\n<p style=\"text-align: center;\">\n[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||10px|||&#8221;]<\/p>\n<h2 style=\"text-align: center;\">Friday &#8211; 02nd of July<\/h2>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#cc846a&#8221; custom_margin=&#8221;-3px|||||&#8221; custom_padding=&#8221;10px||0px|||&#8221;]<\/p>\n<h3 style=\"text-align: center;\">The Coq Workshop 2021<\/h3>\n<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">10:00 &#8211; 17:30<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"text-decoration: underline;\"><a href=\"https:\/\/coq-workshop.gitlab.io\/2021\/\" target=\"_blank\" rel=\"noopener noreferrer\"><span style=\"color: #333333; text-decoration: underline;\">Click here for the program<\/span><\/a><\/span><\/p>\n<p style=\"text-align: center;\">\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>ProgramITP 2021 All times are in the Central European Summer Timezone (CEST), UTC+2, GMT+2 Click here to calculate your local time Talks will be 20 minutes long + 5 minutes for questions<div class=\"sched-loader\"><div class=\"sched-loader-icon\"><\/div><div class=\"sched-loader-text\"><\/div><\/div>\n<div class=\" sched\" id=\"sched-schedule-1-991216710\" data-options=\" {&quot;am_pm&quot;:&quot;0&quot;,&quot;sidebar_width&quot;:&quot;100&quot;,&quot;sidebar_position&quot;:&quot;left&quot;,&quot;event_hover_color&quot;:&quot;lighten&quot;,&quot;event_box_text_align&quot;:&quot;center&quot;,&quot;event_box_time&quot;:&quot;0&quot;,&quot;event_hover_text_color&quot;:&quot;#FFFFFF&quot;,&quot;event_hover_background_color&quot;:&quot;#000000&quot;,&quot;event_box_truncate_title&quot;:&quot;0&quot;,&quot;event_tooltip&quot;:&quot;0&quot;,&quot;event_tooltip_title&quot;:&quot;1&quot;,&quot;event_tooltip_time&quot;:&quot;1&quot;,&quot;event_tooltip_description&quot;:&quot;1&quot;,&quot;event_tooltip_width_type&quot;:&quot;event&quot;,&quot;event_tooltip_width&quot;:&quot;150&quot;,&quot;event_tooltip_color_type&quot;:&quot;event&quot;,&quot;event_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;event_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;column_tooltip&quot;:&quot;0&quot;,&quot;column_tooltip_title&quot;:&quot;1&quot;,&quot;column_tooltip_description&quot;:&quot;1&quot;,&quot;column_tooltip_width_type&quot;:&quot;column&quot;,&quot;column_tooltip_width&quot;:&quot;150&quot;,&quot;column_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;column_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;animations&quot;:&quot;0&quot;,&quot;animations_mobile&quot;:&quot;0&quot;,&quot;animations_speed&quot;:&quot;normal&quot;,&quot;animations_css3&quot;:&quot;1&quot;,&quot;tooltips_mobile&quot;:&quot;0&quot;,&quot;editor_bg&quot;:&quot;#F5F5F5&quot;,&quot;animations_editor&quot;:&quot;1&quot;,&quot;popup_max_width&quot;:&quot;560&quot;,&quot;popup_background_color&quot;:&quot;#ffffff&quot;,&quot;popup_text_color&quot;:&quot;#535353&quot;,&quot;popup_link_color&quot;:&quot;#18bc9c&quot;,&quot;autoplay_videos&quot;:&quot;0&quot;,&quot;column_color_bg&quot;:&quot;#e8e8e8&quot;,&quot;column_color_text&quot;:&quot;#3f3f3f&quot;,&quot;column_color_border&quot;:&quot;#ffffff&quot;,&quot;pattern_color_1&quot;:&quot;#ffffff&quot;,&quot;pattern_color_2&quot;:&quot;#e8e8e8&quot;,&quot;pattern_color_3&quot;:&quot;#f5f5f5&quot;,&quot;title_text_color&quot;:&quot;#3f3f3f&quot;,&quot;sidebar_text_color&quot;:&quot;#3f3f3f&quot;,&quot;event_box_text_color&quot;:&quot;#ffffff&quot;,&quot;title_attr&quot;:&quot;1&quot;,&quot;column_break&quot;:1,&quot;column_break_width&quot;:&quot;120&quot;,&quot;column_break_hide_sidebar&quot;:&quot;0&quot;,&quot;editor_custom_css&quot;:&quot;1&quot;,&quot;column_title&quot;:&quot;1&quot;,&quot;event_box_description_method&quot;:&quot;full&quot;,&quot;editor_quick_tooltips&quot;:&quot;1&quot;,&quot;editor_timepicker_increments&quot;:&quot;5&quot;,&quot;event_box_style&quot;:&quot;1&quot;,&quot;filter_position&quot;:&quot;right&quot;,&quot;filter_multiple&quot;:&quot;1&quot;,&quot;filter_hidden_events&quot;:&quot;hide&quot;,&quot;filter_hidden_events_opacity&quot;:&quot;30&quot;,&quot;filter_dropdown_width&quot;:&quot;100&quot;,&quot;filter_dropdown_hover_width&quot;:&quot;180&quot;,&quot;filter_dropdown_label&quot;:&quot;&quot;,&quot;filter_dropdown_show_all_label&quot;:&quot;Showing All&quot;,&quot;hashtag_url&quot;:&quot;0&quot;,&quot;hide_popup_for_empty_events&quot;:&quot;0&quot;,&quot;event_box_padding_break&quot;:&quot;110&quot;,&quot;popup_arrows&quot;:&quot;1&quot;,&quot;filter_visible&quot;:&quot;1&quot;,&quot;column_break_action&quot;:&quot;list&quot;,&quot;list_view_column_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_hover_title_color&quot;:&quot;#000&quot;,&quot;list_view_event_title_bold&quot;:&quot;1&quot;,&quot;list_view_event_bullets&quot;:&quot;1&quot;,&quot;list_view_event_short_description_method&quot;:&quot;short&quot;,&quot;list_view_event_description_color&quot;:&quot;#666&quot;,&quot;list_view_hide_empty_columns&quot;:&quot;0&quot;,&quot;shortcodes_in_descriptions&quot;:&quot;1&quot;,&quot;columns_sticky_header&quot;:&quot;1&quot;,&quot;columns_sticky_header_offset&quot;:&quot;0&quot;,&quot;h_row_height&quot;:90,&quot;h_column_width&quot;:200,&quot;h_time_indicator&quot;:1,&quot;h_time_indicator_height&quot;:30,&quot;h_column_multiline&quot;:0,&quot;h_column_title_position&quot;:&quot;middle&quot;,&quot;h_column_title_align&quot;:&quot;center&quot;,&quot;h_break&quot;:1,&quot;h_width_break_point&quot;:200,&quot;h_bg_color&quot;:&quot;#f8f8f8&quot;,&quot;pdf_type&quot;:&quot;html&quot;,&quot;pdf_enable&quot;:&quot;0&quot;,&quot;pdf_enable_list&quot;:&quot;0&quot;,&quot;pdf_label&quot;:&quot;Download&quot;,&quot;pdf_css&quot;:&quot;&quot;,&quot;upcoming_type&quot;:&quot;current_datetime&quot;,&quot;upcoming_custom&quot;:&quot;2016-01-01 00:00&quot;,&quot;upcoming_limit&quot;:&quot;5&quot;,&quot;upcoming_title&quot;:&quot;timetable_title&quot;,&quot;upcoming_title_custom&quot;:&quot;Upcoming Events&quot;,&quot;upcoming_title_amount&quot;:&quot;1&quot;}\" data-start=\"10:00\" data-end=\"19:00\" data-timetable-id=\"1\" data-type=\"full\" data-list-id=\"#sched-schedule-1-991216710-list\" data-layout=\"default\">\t<div class=\"sched-style\"><style type=\"text\/css\">\/*\n * Custom CSS For Timetable\n*\/\n\n#sched-schedule-1-991216710 .sched-column-header,\n#sched-schedule-1-991216710 .sched-column-header-sticky {\n\tbackground: #e8e8e8;\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-1-991216710 .sched-column-header:after,\n#sched-schedule-1-991216710 .sched-column-header-sticky:after {\n\tbackground: #ffffff;\n}\n\n#sched-schedule-1-991216710 .sched-columns .sched-column:last-child .sched-column-header:after,\n#sched-schedule-1-991216710 .sched-columns .sched-column:last-child .sched-column-header-sticky:after {\n\tbackground: #e8e8e8;\n}\n\n#sched-schedule-1-991216710 .sched-column-bg-block {\n\tbackground: #ffffff;\n\tborder-color: #e8e8e8;\n}\n\n#sched-schedule-1-991216710 .sched-column-bg-block:after {\n\tbackground: #f5f5f5;\n}\n\n#sched-schedule-1-991216710 .sched-row-no-title .sched-column .sched-column-bg {\n\tbox-shadow: 0 -1px 0 #e8e8e8;\n}\n\n#sched-schedule-1-991216710 .sched-title {\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-1-991216710 .sched-time-value {\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-1-991216710 .sched-event .sched-event-inner {\n\tcolor: #ffffff;\n\ttext-align: center;\n}\n\n#sched-schedule-1-991216710 .sched-event.sched-event-invert .sched-event-inner {\n\t<!-- background: #999; -->\n}\n\n\n\n\/*#sched-schedule-1-991216710 a.sched-event.sched-event-sort-hidden {\n\topacity: 0;\n}*\/\n\n#sched-schedule-1-991216710 .sched-sort .sched-sort-current .sched-sort-current-label,\n#sched-schedule-1-991216710 .sched-top-buttons-below-title .sched-sort.sched-sort-open .sched-sort-dropdown .sched-sort-current .sched-sort-current-label,\n#sched-schedule-1-991216710-list.sched-list .sched-sort .sched-sort-current .sched-sort-current-label {\n\twidth: 100px;\n}\n\n#sched-schedule-1-991216710 .sched-sort.sched-sort-open .sched-sort-dropdown .sched-sort-current .sched-sort-current-label {\n\twidth: 180px;\n}\n\n\/*\n * Custom CSS Event Popup\n *\/\n\n#sched-schedule-1-991216710-popup .sched-popup-description {\n\t\n}\n\n#sched-schedule-1-991216710-popup .sched-popup-description .sched-meta a,\n#sched-schedule-1-991216710-popup .sched-popup-description .sched-popup-description-text a {\n\tcolor: #18bc9c;\n}\n\n#sched-schedule-1-991216710-popup .sched-popup-description .sched-meta,\n#sched-schedule-1-991216710-popup .sched-popup-description .sched-popup-description-text {\n\tcolor: #535353;\n\tbackground: #ffffff;\n}\n\n\/*\n * List\n *\/\n\n#sched-schedule-1-991216710-list .sched-list-title {\n\tcolor: #3f3f3f;\n}\n\n\n\n#sched-schedule-1-991216710-list .sched-list-column-title {\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-1-991216710-list .sched-list-event {\n\tcolor: #3f3f3f;\n\t\n\t\n}\n\n#sched-schedule-1-991216710-list .sched-list-event:hover {\n\tcolor: #000;\n}\n\n#sched-schedule-1-991216710-list .sched-list-event-description {\n\tcolor: #666;\n}\n\n#sched-schedule-1-991216710-list .sched-list-event-title {\n\t\tfont-weight: bold;\n\t;\n}\n<\/style><\/div>\n\t<div class=\"sched-top\" style=\"margin-left: 100px; margin-right: 0px\">\n\t\t\t<h2 class=\"sched-title\">PROGRAM OVERVIEW<\/h2>\n\t\t\n\t<div class=\"sched-top-buttons sched-top-buttons-right\">\n\t\t\t\n\t\t\t<\/div><!-- .sched-top-buttons -->\n\n<\/div><!-- .sched-top -->\t<div class=\"sched-row\">\n\t\t\t\t\t<div class=\"sched-sidebar\" style=\"width: 100px;\">\n\t\t\t\t<div class=\"sched-time\">\n\t\t\t\t\t<div class=\"sched-time-value\" style=\"padding-bottom: 36px\">10:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">10:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">11:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">11:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">12:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">12:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">13:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">13:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">14:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">14:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">15:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">15:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">16:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">16:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">17:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">17:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">18:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">18:30<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 36px\">19:00<\/div>\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t\t\t\t\t<div class=\"sched-columns\" style=\"margin-left: 100px; margin-right: 0px;\">\n\t\t\t\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 20%\" data-column-id=\"11\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Monday - 28th of June\">\n\t\t\t\t\tMonday - 28th of June\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tMonday - 28th of June\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Proof Ground 2021 - Workshop\" data-event-id=\"15\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 699px; top: 0px\" data-start-time=\"10:00\" data-end-time=\"17:00\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Proof Ground 2021 - Workshop\" data-event-id=\"15\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 699px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"15\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Proof Ground 2021 - Workshop<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"15\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 20%\" data-column-id=\"1\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Tuesday - 29th of June\">\n\t\t\t\t\tTuesday - 29th of June\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tTuesday - 29th of June\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"74\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 174px; top: 0px\" data-start-time=\"10:00\" data-end-time=\"11:45\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"74\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 174px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"74\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 1<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"74\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"16\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 175px\" data-start-time=\"11:45\" data-end-time=\"12:15\" data-top=\"175\" data-size=\"1\" data-sort-index=\"1\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"16\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 175px\" data-top=\"175\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"16\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"16\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"17\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 225px\" data-start-time=\"12:15\" data-end-time=\"13:30\" data-top=\"225\" data-size=\"1\" data-sort-index=\"2\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"17\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 225px\" data-top=\"225\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"17\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 2<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"17\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"18\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 149px; top: 350px\" data-start-time=\"13:30\" data-end-time=\"15:00\" data-top=\"350\" data-size=\"1\" data-sort-index=\"3\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"18\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 149px; top: 350px\" data-top=\"350\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"18\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"18\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"19\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-start-time=\"15:00\" data-end-time=\"16:15\" data-top=\"500\" data-size=\"1\" data-sort-index=\"4\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"19\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-top=\"500\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"19\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 3<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"19\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"23\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-start-time=\"16:15\" data-end-time=\"16:45\" data-top=\"625\" data-size=\"1\" data-sort-index=\"5\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"23\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-top=\"625\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"23\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"23\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"22\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-start-time=\"16:45\" data-end-time=\"17:45\" data-top=\"675\" data-size=\"1\" data-sort-index=\"6\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"22\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-top=\"675\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"22\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Invited Talk<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"22\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 20%\" data-column-id=\"2\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Wednesday - 30th of June\">\n\t\t\t\t\tWednesday - 30th of June\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tWednesday - 30th of June\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"8\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 75px\" data-start-time=\"10:45\" data-end-time=\"12:00\" data-top=\"75\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"8\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 75px\" data-top=\"75\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"8\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 1<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"8\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"10\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 200px\" data-start-time=\"12:00\" data-end-time=\"12:30\" data-top=\"200\" data-size=\"1\" data-sort-index=\"1\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"10\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 200px\" data-top=\"200\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"10\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"10\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"9\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 250px\" data-start-time=\"12:30\" data-end-time=\"13:45\" data-top=\"250\" data-size=\"1\" data-sort-index=\"2\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"9\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 250px\" data-top=\"250\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"9\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 2<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"9\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"11\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 375px\" data-start-time=\"13:45\" data-end-time=\"15:00\" data-top=\"375\" data-size=\"1\" data-sort-index=\"3\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"11\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 375px\" data-top=\"375\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"11\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"11\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"12\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-start-time=\"15:00\" data-end-time=\"16:15\" data-top=\"500\" data-size=\"1\" data-sort-index=\"4\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"12\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-top=\"500\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"12\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 3<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"12\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"13\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-start-time=\"16:15\" data-end-time=\"16:45\" data-top=\"625\" data-size=\"1\" data-sort-index=\"5\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"13\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-top=\"625\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"13\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"13\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Business Meeting\" data-event-id=\"14\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-start-time=\"16:45\" data-end-time=\"17:45\" data-top=\"675\" data-size=\"1\" data-sort-index=\"6\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Business Meeting\" data-event-id=\"14\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-top=\"675\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"14\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Business Meeting<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"14\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"20\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 24px; top: 775px\" data-start-time=\"17:45\" data-end-time=\"18:00\" data-top=\"775\" data-size=\"1\" data-sort-index=\"7\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"20\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 24px; top: 775px\" data-top=\"775\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"20\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"20\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"21\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 800px\" data-start-time=\"18:00\" data-end-time=\"19:00\" data-top=\"800\" data-size=\"1\" data-sort-index=\"8\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"21\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 800px\" data-top=\"800\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"21\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Invited Talk<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"21\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 20%\" data-column-id=\"3\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Thursday - 1st of July\">\n\t\t\t\t\tThursday - 1st of July\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tThursday - 1st of July\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"3\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 174px; top: 0px\" data-start-time=\"10:00\" data-end-time=\"11:45\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 1\" data-event-id=\"3\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 174px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"3\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 1<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"3\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"4\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 175px\" data-start-time=\"11:45\" data-end-time=\"12:15\" data-top=\"175\" data-size=\"1\" data-sort-index=\"1\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"4\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 175px\" data-top=\"175\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"4\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"4\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"5\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 225px\" data-start-time=\"12:15\" data-end-time=\"13:30\" data-top=\"225\" data-size=\"1\" data-sort-index=\"2\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 2\" data-event-id=\"5\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 225px\" data-top=\"225\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"5\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 2<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"5\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"6\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 149px; top: 350px\" data-start-time=\"13:30\" data-end-time=\"15:00\" data-top=\"350\" data-size=\"1\" data-sort-index=\"3\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"6\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 149px; top: 350px\" data-top=\"350\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"6\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"6\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"7\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-start-time=\"15:00\" data-end-time=\"16:15\" data-top=\"500\" data-size=\"1\" data-sort-index=\"4\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Session 3\" data-event-id=\"7\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 124px; top: 500px\" data-top=\"500\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"7\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Session 3<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"7\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"2\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-start-time=\"16:15\" data-end-time=\"16:45\" data-top=\"625\" data-size=\"1\" data-sort-index=\"5\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#89929e\" title=\"Break\" data-event-id=\"2\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 49px; top: 625px\" data-top=\"625\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #89929e; \" data-event-background-image-url=\"\" data-event-id=\"2\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Break<\/div>\n\t\t\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"2\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"1\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-start-time=\"16:45\" data-end-time=\"17:45\" data-top=\"675\" data-size=\"1\" data-sort-index=\"6\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Invited Talk\" data-event-id=\"1\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 99px; top: 675px\" data-top=\"675\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"1\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Invited Talk<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"1\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 20%\" data-column-id=\"10\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Friday - 2nd of July\">\n\t\t\t\t\tFriday - 2nd of July\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tFriday - 2nd of July\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"#\" data-onclick=\"0\" data-color=\"#cc7859\" title=\"Coq Workshop 2021: 12th Coq Workshop\" data-event-id=\"72\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 699px; top: 0px\" data-start-time=\"10:00\" data-end-time=\"17:00\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"0\" data-color=\"#cc7859\" title=\"Coq Workshop 2021: 12th Coq Workshop\" data-event-id=\"72\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 699px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #cc7859; \" data-event-background-image-url=\"\" data-event-id=\"72\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Coq Workshop 2021: 12th Coq Workshop<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"72\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 49px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t<\/div><!-- #sched-columns -->\n\t<\/div>\n<\/div><div class=\" sched-list sched-hidden\" id=\"sched-schedule-1-991216710-list\" data-id-schedule=\"sched-schedule-1-991216710\" data-options=\" {&quot;am_pm&quot;:&quot;0&quot;,&quot;sidebar_width&quot;:&quot;100&quot;,&quot;sidebar_position&quot;:&quot;left&quot;,&quot;event_hover_color&quot;:&quot;lighten&quot;,&quot;event_box_text_align&quot;:&quot;center&quot;,&quot;event_box_time&quot;:&quot;0&quot;,&quot;event_hover_text_color&quot;:&quot;#FFFFFF&quot;,&quot;event_hover_background_color&quot;:&quot;#000000&quot;,&quot;event_box_truncate_title&quot;:&quot;0&quot;,&quot;event_tooltip&quot;:&quot;0&quot;,&quot;event_tooltip_title&quot;:&quot;1&quot;,&quot;event_tooltip_time&quot;:&quot;1&quot;,&quot;event_tooltip_description&quot;:&quot;1&quot;,&quot;event_tooltip_width_type&quot;:&quot;event&quot;,&quot;event_tooltip_width&quot;:&quot;150&quot;,&quot;event_tooltip_color_type&quot;:&quot;event&quot;,&quot;event_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;event_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;column_tooltip&quot;:&quot;0&quot;,&quot;column_tooltip_title&quot;:&quot;1&quot;,&quot;column_tooltip_description&quot;:&quot;1&quot;,&quot;column_tooltip_width_type&quot;:&quot;column&quot;,&quot;column_tooltip_width&quot;:&quot;150&quot;,&quot;column_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;column_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;animations&quot;:&quot;0&quot;,&quot;animations_mobile&quot;:&quot;0&quot;,&quot;animations_speed&quot;:&quot;normal&quot;,&quot;animations_css3&quot;:&quot;1&quot;,&quot;tooltips_mobile&quot;:&quot;0&quot;,&quot;editor_bg&quot;:&quot;#F5F5F5&quot;,&quot;animations_editor&quot;:&quot;1&quot;,&quot;popup_max_width&quot;:&quot;560&quot;,&quot;popup_background_color&quot;:&quot;#ffffff&quot;,&quot;popup_text_color&quot;:&quot;#535353&quot;,&quot;popup_link_color&quot;:&quot;#18bc9c&quot;,&quot;autoplay_videos&quot;:&quot;0&quot;,&quot;column_color_bg&quot;:&quot;#e8e8e8&quot;,&quot;column_color_text&quot;:&quot;#3f3f3f&quot;,&quot;column_color_border&quot;:&quot;#ffffff&quot;,&quot;pattern_color_1&quot;:&quot;#ffffff&quot;,&quot;pattern_color_2&quot;:&quot;#e8e8e8&quot;,&quot;pattern_color_3&quot;:&quot;#f5f5f5&quot;,&quot;title_text_color&quot;:&quot;#3f3f3f&quot;,&quot;sidebar_text_color&quot;:&quot;#3f3f3f&quot;,&quot;event_box_text_color&quot;:&quot;#ffffff&quot;,&quot;title_attr&quot;:&quot;1&quot;,&quot;column_break&quot;:1,&quot;column_break_width&quot;:&quot;120&quot;,&quot;column_break_hide_sidebar&quot;:&quot;0&quot;,&quot;editor_custom_css&quot;:&quot;1&quot;,&quot;column_title&quot;:&quot;1&quot;,&quot;event_box_description_method&quot;:&quot;full&quot;,&quot;editor_quick_tooltips&quot;:&quot;1&quot;,&quot;editor_timepicker_increments&quot;:&quot;5&quot;,&quot;event_box_style&quot;:&quot;1&quot;,&quot;filter_position&quot;:&quot;right&quot;,&quot;filter_multiple&quot;:&quot;1&quot;,&quot;filter_hidden_events&quot;:&quot;hide&quot;,&quot;filter_hidden_events_opacity&quot;:&quot;30&quot;,&quot;filter_dropdown_width&quot;:&quot;100&quot;,&quot;filter_dropdown_hover_width&quot;:&quot;180&quot;,&quot;filter_dropdown_label&quot;:&quot;&quot;,&quot;filter_dropdown_show_all_label&quot;:&quot;Showing All&quot;,&quot;hashtag_url&quot;:&quot;0&quot;,&quot;hide_popup_for_empty_events&quot;:&quot;0&quot;,&quot;event_box_padding_break&quot;:&quot;110&quot;,&quot;popup_arrows&quot;:&quot;1&quot;,&quot;filter_visible&quot;:&quot;1&quot;,&quot;column_break_action&quot;:&quot;list&quot;,&quot;list_view_column_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_hover_title_color&quot;:&quot;#000&quot;,&quot;list_view_event_title_bold&quot;:&quot;1&quot;,&quot;list_view_event_bullets&quot;:&quot;1&quot;,&quot;list_view_event_short_description_method&quot;:&quot;short&quot;,&quot;list_view_event_description_color&quot;:&quot;#666&quot;,&quot;list_view_hide_empty_columns&quot;:&quot;0&quot;,&quot;shortcodes_in_descriptions&quot;:&quot;1&quot;,&quot;columns_sticky_header&quot;:&quot;1&quot;,&quot;columns_sticky_header_offset&quot;:&quot;0&quot;,&quot;h_row_height&quot;:90,&quot;h_column_width&quot;:200,&quot;h_time_indicator&quot;:1,&quot;h_time_indicator_height&quot;:30,&quot;h_column_multiline&quot;:0,&quot;h_column_title_position&quot;:&quot;middle&quot;,&quot;h_column_title_align&quot;:&quot;center&quot;,&quot;h_break&quot;:1,&quot;h_width_break_point&quot;:200,&quot;h_bg_color&quot;:&quot;#f8f8f8&quot;,&quot;pdf_type&quot;:&quot;html&quot;,&quot;pdf_enable&quot;:&quot;0&quot;,&quot;pdf_enable_list&quot;:&quot;0&quot;,&quot;pdf_label&quot;:&quot;Download&quot;,&quot;pdf_css&quot;:&quot;&quot;,&quot;upcoming_type&quot;:&quot;current_datetime&quot;,&quot;upcoming_custom&quot;:&quot;2016-01-01 00:00&quot;,&quot;upcoming_limit&quot;:&quot;5&quot;,&quot;upcoming_title&quot;:&quot;timetable_title&quot;,&quot;upcoming_title_custom&quot;:&quot;Upcoming Events&quot;,&quot;upcoming_title_amount&quot;:&quot;1&quot;}\" data-start=\"10:00\" data-end=\"19:00\" data-timetable-id=\"1\" data-type=\"list\" data-layout=\"default\">\t<div class=\"sched-list-top\">\n\t\t<div class=\"sched-list-title\">PROGRAM OVERVIEW<\/div>\n\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Monday - 28th of June<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-15\" data-event-id=\"15\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tProof Ground 2021 - Workshop\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">10:00 - 17:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Tuesday - 29th of June<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-74\" data-event-id=\"74\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 1\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">10:00 - 11:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-16\" data-event-id=\"16\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">11:45 - 12:15<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-17\" data-event-id=\"17\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 2\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">12:15 - 13:30<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-18\" data-event-id=\"18\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">13:30 - 15:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-19\" data-event-id=\"19\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 3\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 16:15<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-23\" data-event-id=\"23\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:15 - 16:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-22\" data-event-id=\"22\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tInvited Talk\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:45 - 17:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Wednesday - 30th of June<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-8\" data-event-id=\"8\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 1\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">10:45 - 12:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-10\" data-event-id=\"10\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">12:00 - 12:30<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-9\" data-event-id=\"9\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 2\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">12:30 - 13:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-11\" data-event-id=\"11\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">13:45 - 15:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-12\" data-event-id=\"12\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 3\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 16:15<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-13\" data-event-id=\"13\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:15 - 16:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-14\" data-event-id=\"14\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBusiness Meeting\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:45 - 17:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-20\" data-event-id=\"20\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">17:45 - 18:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-21\" data-event-id=\"21\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tInvited Talk\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">18:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Thursday - 1st of July<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-3\" data-event-id=\"3\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 1\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">10:00 - 11:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-4\" data-event-id=\"4\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">11:45 - 12:15<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-5\" data-event-id=\"5\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 2\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">12:15 - 13:30<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-6\" data-event-id=\"6\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">13:30 - 15:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-7\" data-event-id=\"7\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tSession 3\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 16:15<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-2\" data-event-id=\"2\" data-color=\"#89929e\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #89929e;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tBreak\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:15 - 16:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-1\" data-event-id=\"1\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tInvited Talk\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">16:45 - 17:45<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Friday - 2nd of July<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-72\" data-event-id=\"72\" data-color=\"#cc7859\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #cc7859;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tCoq Workshop 2021: 12th Coq Workshop\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">10:00 - 17:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t<!-- .sched-list-column -->\n\t\n<\/div> All times are in the Central European Summer Timezone (CEST), UTC+2, GMT+2 Click here to calculate your local time Talks will be [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"<!-- wp:divi\/placeholder \/-->","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/22"}],"collection":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/comments?post=22"}],"version-history":[{"count":40,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/22\/revisions"}],"predecessor-version":[{"id":541,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/22\/revisions\/541"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/media?parent=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}