{"id":6,"date":"2020-06-03T07:45:40","date_gmt":"2020-06-03T07:45:40","guid":{"rendered":"http:\/\/easyconferences.eu\/itp2021\/?page_id=6"},"modified":"2023-09-07T10:47:40","modified_gmt":"2023-09-07T10:47:40","slug":"home","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/cade2023\/","title":{"rendered":"Home"},"content":{"rendered":"

[et_pb_section fb_built=”1″ fullwidth=”on” _builder_version=”4.16″ global_colors_info=”{}”][et_pb_fullwidth_slider _builder_version=”4.17.4″ custom_margin=”||||false|false” custom_padding=”221px||227px|||” global_colors_info=”{}”][et_pb_slide heading=”CADE-29″ use_bg_overlay=”on” bg_overlay_color=”rgba(0,0,0,0)” use_text_overlay=”on” _builder_version=”4.17.4″ header_level=”h1″ header_font=”|700|||||||” header_text_color=”#ffffff” header_font_size=”100px” background_image=”https:\/\/easyconferences.eu\/cade2023\/wp-content\/uploads\/2022\/11\/Rome-3.jpg” background_enable_image=”on” parallax=”on” child_filter_saturate=”0%” header_text_shadow_style=”preset2″ header_text_shadow_color=”#5a0c2f” global_colors_info=”{}” child_filter_saturate__hover_enabled=”on|hover” child_filter_saturate__hover=”100%” sticky_transition=”on”]<\/p>\n

29th International Conference on Automated Deduction\u00a0<\/span><\/h1>\n

July 1-4, 2023<\/strong><\/h3>\n

\u00a0Co-Located with FSCD 2023<\/a><\/span><\/h3>\n

Rome, Italy<\/strong><\/h2>\n

[\/et_pb_slide][\/et_pb_fullwidth_slider][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.16″ background_color=”#FFFFFF” custom_margin=”-10px|||||” custom_padding=”2px||0px|||” global_colors_info=”{}”][et_pb_row _builder_version=”4.20.2″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.20.2″ _module_preset=”default” global_colors_info=”{}”][et_pb_button button_url=”https:\/\/link.springer.com\/book\/10.1007\/978-3-031-38499-8″ url_new_window=”on” button_text=”Download Conference Proceedings” button_alignment=”center” _builder_version=”4.22.1″ _module_preset=”default” custom_button=”on” button_text_color=”#961a0f” button_border_width=”3px” button_border_radius=”9px” button_font=”|600|||||||” button_icon=”5||divi||400″ custom_margin=”||5px|||” hover_enabled=”0″ global_colors_info=”{}” sticky_enabled=”0″][\/et_pb_button][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”3_5,2_5″ _builder_version=”4.17.4″ width=”99.8%” custom_padding=”8px||42px|||” global_colors_info=”{}”][et_pb_column type=”3_5″ _builder_version=”4.16″ background_color=”rgba(0,0,0,0)” global_colors_info=”{}”][et_pb_text _builder_version=”4.17.4″ background_enable_color=”off” custom_margin=”||||false|false” custom_padding=”10px|10px|10px|10px|false|false” border_color_bottom=”#ffffff” global_colors_info=”{}”]<\/p>\n

About<\/span><\/h2>\n

The Conference on Automated Deduction<\/a> (CADE) is the major international forum for presenting research on all aspects of automated deduction.
The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award <\/a>for Distinguished Contributions to Automated Deduction, the Skolem Award(s)<\/a> for influential historical CADE papers, and the Bill McCune<\/a> PhD Award, are presented at the conference.<\/p>\n

The 29th International Conference on Automated Deduction (CADE-29) will take place from July 1 to 5, 2023 in Rome, Italy, with satellite events
on July 4 and 5. It will be co-located with FSCD 2023<\/a>.<\/p>\n

Submissions to CADE-29 are divided in two categories: Regular papers (up to 15 pages in LNCS style, excluding references) and short papers (up to 10 pages in LNCS style, excluding references). More information about the submission process can be found in the Call for Papers.<\/a><\/p>\n

The authors of a selection of the best CADE-29 papers will be invited to submit an extended version of their submission after the conference, to be published in a special issue of the Journal of Automated Reasoning.<\/p>\n

CADE-29 is organized in cooperation with ACM SIGLOG <\/a>and implements the ACM policy against harassment.\u00a0<\/a><\/p>\n

[\/et_pb_text][et_pb_text quote_border_color=”#c4c4c4″ _builder_version=”4.21.0″ _module_preset=”default” background_enable_color=”off” global_colors_info=”{}”]<\/p>\n

Latest News<\/h3>\n
\n