{"id":280,"date":"2021-01-20T13:38:42","date_gmt":"2021-01-20T13:38:42","guid":{"rendered":"http:\/\/easyconferences.eu\/itp2021\/?page_id=280"},"modified":"2021-03-02T12:56:10","modified_gmt":"2021-03-02T12:56:10","slug":"workshops","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/itp2021\/workshops\/","title":{"rendered":"Workshops"},"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;][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 color=\"#ffffff\" style=\"color: #ffffff;\">Workshops<\/span><\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.4.6&#8243;][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; background_color=&#8221;#f4f4f4&#8243; custom_margin=&#8221;||-46px|||&#8221; custom_padding=&#8221;||12px|||&#8221; hover_enabled=&#8221;0&#8243;]<\/p>\n<h3><strong><\/strong><\/h3>\n<p><strong><\/strong><\/p>\n<h3 style=\"padding-left: 30px;\"><strong>Coq Workshop 2021: 12th Coq Workshop<\/strong><\/h3>\n<p style=\"padding-left: 30px;\">Organizers: <a href=\"http:\/\/www-sop.inria.fr\/members\/Christian.Doczkal\/\">Christian Doczkal<\/a>, <a href=\"https:\/\/madiot.fr\">Jean-Marie Madiot<\/a><\/p>\n<p style=\"padding-left: 30px;\"><a href=\"https:\/\/coq-workshop.gitlab.io\/2021\/\">Website<\/a><\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#ffffff&#8221; min_height=&#8221;159px&#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;#f4f4f4&#8243; hover_enabled=&#8221;0&#8243; custom_padding=&#8221;||12px||false|false&#8221;]<\/p>\n<h3 style=\"padding-left: 30px;\"><strong><\/strong><\/h3>\n<h3 style=\"padding-left: 30px;\"><strong><\/strong><\/h3>\n<h3 style=\"padding-left: 30px;\"><strong>Proof Ground 2021\u00a0<\/strong><\/h3>\n<p style=\"padding-left: 30px;\">Organizers: <a href=\"https:\/\/www21.in.tum.de\/~haslbema\/\">Maximilian P. L. Haslbeck<\/a>, <a href=\"https:\/\/home.in.tum.de\/~wimmers\/\">Simon Wimmer<\/a>, <a href=\"https:\/\/www21.in.tum.de\/~nipkow\/\">Tobias Nipkow<\/a><\/p>\n<p style=\"padding-left: 30px;\"><a href=\"https:\/\/www21.in.tum.de\/~wimmers\/proofground\/\">Website<\/a><\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Workshops Coq Workshop 2021: 12th Coq Workshop Organizers: Christian Doczkal, Jean-Marie Madiot Website Proof Ground 2021\u00a0 Organizers: Maximilian P. L. Haslbeck, Simon Wimmer, Tobias Nipkow Website<\/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\/280"}],"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=280"}],"version-history":[{"count":12,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/280\/revisions"}],"predecessor-version":[{"id":346,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/280\/revisions\/346"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/media?parent=280"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}