[et_pb_section fb_built=”1″ next_background_color=”#ffffff” _builder_version=”4.16″ background_color=”#8c8c8c” top_divider_color=”#b53319″ bottom_divider_style=”arrow3″ global_colors_info=”{}”][et_pb_row _builder_version=”4.16″ custom_margin=”-26px|auto||auto||” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.16″ global_colors_info=”{}”][et_pb_text _builder_version=”4.19.4″ global_colors_info=”{}”]<\/p>\n
[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.16″ custom_padding=”6px|||||” global_colors_info=”{}”][et_pb_row _builder_version=”4.19.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.19.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.19.4″ custom_margin=”||0px|||” inline_fonts=”Georgia” global_colors_info=”{}”]<\/p>\n
FSCD satellite events<\/strong><\/span><\/p>\n <\/p>\n [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP) \u00a0\u2013 Date: 02 July<\/span><\/span> [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n UNIF 2023: The 37th International Workshop on Unification \u00a0\u2013 Date: 02 July<\/span><\/span> [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n Tenth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2023) \u00a0\u2013 Date: 01 July<\/span> [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n DCM 2023 – 13th International Workshop on Developments in Computational Models \u00a0\u2013 Date: 02 July<\/span><\/span> [\/et_pb_text][et_pb_text _builder_version=”4.20.2″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” hover_enabled=”0″ border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}” sticky_enabled=”0″]<\/p>\n Seventh International Workshop on Trends in Linear Logic and Applications, TLLA 2023 \u00a0\u2013 Date: 01-02 July<\/span><\/span> [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n IFIP WG 1.6 – \u00a0\u2013 Date: 05 July<\/span><\/span> [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n Women in Logic (WIL) 2023 \u00a0\u2013 Date: 01 July<\/span> [\/et_pb_text][et_pb_text _builder_version=”4.20.2″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n 18th Logical and Semantic Frameworks with Applications (LSFA 2023) \u00a0\u2013 Date: 01-02 July [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n 11th International Workshop on Higher-Order Rewriting (HOR 2023) \u00a0\u2013 Date: 04 July<\/span> [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ inline_fonts=”Georgia” global_colors_info=”{}”]<\/p>\n CADE satellite events<\/strong><\/span><\/p>\n <\/strong><\/span><\/p>\n [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n ADeMaL: Automated Deduction for Machine Learning – Date: 05 July<\/span><\/span> [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n Vampire 2023: The 7th Vampire Workshop – Date: 05 July<\/span><\/span> [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n Theorem Proving Components for Educational Software (ThEdu’23) – Date: 05 July<\/span> [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n SMT\u201923: The 21st International Workshop on Satisfiability Modulo Theories \u2013 Date: 05-06 July<\/span> [\/et_pb_text][et_pb_text _builder_version=”4.19.4″ _module_preset=”default” background_color=”#c1c1c1″ custom_padding=”10px|10px|10px|10px|false|false” border_radii=”on|15px|15px|15px|15px” global_colors_info=”{}”]<\/p>\n The CADE ATP System Competition (CASC) [\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":" Satellite EventsFSCD satellite events International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP) \u00a0\u2013 Date: 02 JulyWebsite\u00a0UNIF 2023: The 37th International Workshop on Unification \u00a0\u2013 Date: 02 JulyWebsite\u00a0Tenth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2023) \u00a0\u2013 Date: 01 JulyWebsite\u00a0DCM 2023 – 13th International Workshop on Developments in Computational […]<\/p>\n","protected":false},"author":3,"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":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/fscd2023\/wp-json\/wp\/v2\/pages\/243630"}],"collection":[{"href":"https:\/\/easyconferences.eu\/fscd2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/fscd2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/fscd2023\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/fscd2023\/wp-json\/wp\/v2\/comments?post=243630"}],"version-history":[{"count":15,"href":"https:\/\/easyconferences.eu\/fscd2023\/wp-json\/wp\/v2\/pages\/243630\/revisions"}],"predecessor-version":[{"id":243743,"href":"https:\/\/easyconferences.eu\/fscd2023\/wp-json\/wp\/v2\/pages\/243630\/revisions\/243743"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/fscd2023\/wp-json\/wp\/v2\/media?parent=243630"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
Website\u00a0<\/a><\/span><\/p>\n
Website\u00a0<\/a><\/span><\/p>\n
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n
Website\u00a0<\/a><\/span><\/p>\n
Website<\/a><\/span><\/p>\n
Website<\/a><\/span>
“except for the business meeting, this event is open to the general public”<\/span><\/p>\n
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n
Website<\/a><\/span><\/span><\/span><\/p>\n
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n
Website<\/a><\/span><\/p>\n
Website<\/a><\/span><\/p>\n
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n