{"id":462,"date":"2022-11-30T07:05:13","date_gmt":"2022-11-30T07:05:13","guid":{"rendered":"https:\/\/easyconferences.eu\/cade2023\/?page_id=462"},"modified":"2023-03-17T08:30:50","modified_gmt":"2023-03-17T08:30:50","slug":"call-for-workshops-tutorial-proposals","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/cade2023\/call-for-workshops-tutorial-proposals\/","title":{"rendered":"Call for Workshops & Tutorial Proposals"},"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

Call for Workshop & Tutorial Proposals<\/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″ global_colors_info=”{}”][et_pb_row _builder_version=”4.16″ 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

\n
\n
\n
\n

OVERVIEW<\/span><\/h3>\n

We invite proposals for workshops, tutorials or other satellite events, on any topic related to formal structures in computation, deduction and automated reasoning, from theoretical foundations to tools and applications.<\/p>\n

FSCD satellite events will take place before the main conference on July 1-2, and CADE-29 satellite events will take place after the main conference on July 4 (afternoon)-5.
It is expected that satellite events would run for 1\/2, 1 or 2 days (max 1 and 1\/2 day for CADE-29 satellite events), and be open to participants of parallel events. Please note overlaps between FSCD workshops and CADE-29 conference and between CADE-29 workshops and FSCD conference (see Important Dates below).<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n

\n
\n
\n
\n

PROPOSALS<\/span><\/h3>\n

Proposals must be limited to three pages and should be submitted via EasyChair: https:\/\/easychair.org\/my\/conference?conf=fscd23cade29ws<\/a>\u00a0<\/p>\n

Each proposal should consist of the following two parts.<\/p>\n

1. A description part including:<\/span><\/strong>
\u2013 A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant);
\u2013 A brief description (up to 120 words) of the event for the website and publicity material.<\/p>\n

2. An organisational part including:<\/span><\/strong>
\u2013 contact information for the workshop organisers;
\u2013 proposed affiliated conference;
\u2013 estimate of the number of workshop participants;
\u2013 proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.)
\u2013 potential invited speakers;
\u2013 procedures for selecting papers and participants;
\u2013 tentative schedule for paper submission and notification of acceptance;
\u2013 plans for dissemination, if any (e.g. a journal special issue);
\u2013 duration (which may vary from half a day to two days (max 1 and 1\/2 days for CADE-29);
\u2013 any other special requirements.<\/p>\n

<\/a><\/p>\n

The Organising Committee of FSCD-CADE-29 will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and availability of space and facilities.<\/span><\/p>\n

The organisers of satellite events are expected to create and maintaina website for the event; handle paper selection, reviewing and acceptance; draw up a tentative programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings.<\/span><\/p>\n

The FSCD-CADE-29 organising committee will handle promotion of the event on the main conference website; integration of the event\u2019s programme into the overall timetable; registration of participants; arrangement of an appropriate meeting room; and provision of lunch and coffee breaks for participants.<\/span><\/p>\n

The organisers may rely on one free registration for every workshop, to be used e.g. for one invited speaker. No other cost will be covered by the local organisation. Workshop organisers are encouraged to find sponsors for financing workshop expenses.<\/span> <\/span><\/p>\n

IMPORTANT DATES<\/span><\/p>\n

Main Conferences:<\/strong><\/p>\n

CADE-29 July 1-4, 2023<\/p>\n<\/div>\n

\n

FSCD July 3-6, 2023<\/p>\n

Workshops:<\/strong><\/p>\n

CADE-29 July 4 (afternoon) and 5, 2023
FSCD July 1-2, 2023
Submission of workshop proposals: December, 18th 2022
Notification of success of proposals: December, 23rd, 2022<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n

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

Call for Workshop & Tutorial Proposals OVERVIEW We invite proposals for workshops, tutorials or other satellite events, on any topic related to formal structures in computation, deduction and automated reasoning, from theoretical foundations to tools and applications. FSCD satellite events will take place before the main conference on July 1-2, and CADE-29 satellite events will […]<\/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\/462"}],"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=462"}],"version-history":[{"count":5,"href":"https:\/\/easyconferences.eu\/cade2023\/wp-json\/wp\/v2\/pages\/462\/revisions"}],"predecessor-version":[{"id":243684,"href":"https:\/\/easyconferences.eu\/cade2023\/wp-json\/wp\/v2\/pages\/462\/revisions\/243684"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/cade2023\/wp-json\/wp\/v2\/media?parent=462"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}