{"id":243645,"date":"2023-01-27T07:03:04","date_gmt":"2023-01-27T07:03:04","guid":{"rendered":"https:\/\/easyconferences.eu\/cade2023\/?page_id=243645"},"modified":"2023-05-07T15:14:27","modified_gmt":"2023-05-07T15:14:27","slug":"satellite-events","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/cade2023\/satellite-events\/","title":{"rendered":"Satellite events"},"content":{"rendered":"

[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.17.4″ global_colors_info=”{}”]<\/p>\n

Satellite Events<\/span><\/h2>\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″ 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.20.0″ _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\u00a0 – <\/span>Date: 05 July<\/span>
Website<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.19.5″ _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>
Website<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.19.5″ _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
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.19.5″ _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 – Date: 05-06 July
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.19.5″ _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)
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n

[\/et_pb_text][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.5″ _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) – Date: 02 July<\/span>
Website\u00a0<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.19.5″ _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 Date: 02 July<\/span>
Website\u00a0<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.19.5″ _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) – Date: 01 July
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.20.0″ _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 – Date: 02 July<\/span>
Website\u00a0<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.21.0″ _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 – Date: 01-02 July<\/span>
Website<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.19.5″ _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 – Date: 05 July<\/span>
Website<\/a><\/span>
“except for the business meeting, this event is open to the general public”<\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.19.5″ _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 – Date: 01 July
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.20.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

18th Logical and Semantic Frameworks with Applications (LSFA 2023)\u00a0 – Date: 01-02 July<\/span>
Website<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.19.5″ _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) – Date: 04 July
<\/a><\/span>Website\u00a0<\/a><\/span><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

Satellite EventsCADE satellite events ADeMaL: Automated Deduction for Machine Learning\u00a0 – Date: 05 JulyWebsiteVampire 2023: The 7th Vampire Workshop – Date: 05 JulyWebsiteTheorem Proving Components for Educational Software (ThEdu’23) – Date: 05 JulyWebsite\u00a0SMT\u201923: The 21st International Workshop on Satisfiability Modulo Theories – Date: 05-06 JulyWebsite\u00a0The CADE ATP System Competition (CASC)Website\u00a0FSCD satellite events  International Workshop on […]<\/p>\n","protected":false},"author":4,"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\/cade2023\/wp-json\/wp\/v2\/pages\/243645"}],"collection":[{"href":"https:\/\/easyconferences.eu\/cade2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/cade2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/cade2023\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/cade2023\/wp-json\/wp\/v2\/comments?post=243645"}],"version-history":[{"count":14,"href":"https:\/\/easyconferences.eu\/cade2023\/wp-json\/wp\/v2\/pages\/243645\/revisions"}],"predecessor-version":[{"id":243740,"href":"https:\/\/easyconferences.eu\/cade2023\/wp-json\/wp\/v2\/pages\/243645\/revisions\/243740"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/cade2023\/wp-json\/wp\/v2\/media?parent=243645"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}