July 3-6, 2023<\/strong><\/h3>\n\u00a0Co-Located with CADE 29<\/a><\/span><\/h3>\nRome, 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 column_structure=”3_5,2_5″ _builder_version=”4.17.4″ width=”99.8%” custom_padding=”49px||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>\nFSCD<\/strong><\/a>\u00a0covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (RewritingTechniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.<\/span><\/span><\/p>\nThe 8th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held in Rome, July 3-6, 2023, with workshops on the preceding two days.<\/strong><\/p>\nFSCD is a series of annual conferences, started in 2016, which merged and superseded two long-running conferences:<\/p>\n
\n- RTA<\/a>\u00a0<\/span>(Rewriting Techniques and Applications), celebrated since 1985.<\/li>\n
- TLCA<\/a>\u00a0<\/span>(Typed Lambda Calculi and Applications), celebrated since 1993.<\/li>\n<\/ul>\n
Building on the RTA and TLCA communities, FSCD updates and modernizes the RTA and TLCA core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas.\u00a0<\/p>\n
FSCD 2023 will be co-located with CADE-29.\u00a0<\/a><\/p>\n <\/p>\n
[\/et_pb_text][et_pb_button button_url=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2023\/03\/FSCD-2023-Sponsorship-Package.pdf” url_new_window=”on” button_text=”Sponsorship Opportunities” button_alignment=”center” _builder_version=”4.19.4″ _module_preset=”default” custom_button=”on” button_text_size=”20px” button_text_color=”#991a0f” button_border_width=”3px” button_border_radius=”10px” button_font=”|600|||||||” button_icon=”5||divi||400″ global_colors_info=”{}”][\/et_pb_button][\/et_pb_column][et_pb_column type=”2_5″ _builder_version=”4.17.4″ background_enable_color=”off” global_colors_info=”{}”][et_pb_button button_url=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2023\/06\/INSIDE_FSCD_web.pdf” url_new_window=”on” button_text=”Download Conference handbook” button_alignment=”center” _builder_version=”4.20.2″ _module_preset=”default” custom_button=”on” button_text_size=”20px” button_text_color=”#991a0f” button_border_width=”3px” button_border_radius=”10px” button_font=”|600|||||||” button_icon=”5||divi||400″ global_colors_info=”{}”][\/et_pb_button][et_pb_text _builder_version=”4.20.2″ _module_preset=”default” hover_enabled=”0″ sticky_enabled=”0″ border_radii=”on|1px|1px|1px|1px” border_width_all=”1px”]<\/p>\n
FSCD Steering Committee Election<\/a><\/p>\n[\/et_pb_text][et_pb_text _builder_version=”4.20.2″ _module_preset=”default” custom_margin=”||||false|false” custom_padding=”10px|10px|10px|10px|false|false” border_width_all=”1px” global_colors_info=”{}”]<\/p>\n
Connect with colleagues & organise your stay in Rome.<\/span><\/p>\nClick on the image to join the FSCD\/CADE 2023 community<\/p>\n
![\"\"](\"https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2023\/05\/SDDw7CnuoUGax6x9mTo7dd-300x283.jpg\")
<\/a><\/p>\n[\/et_pb_text][et_pb_text quote_border_color=”#8e1313″ _builder_version=”4.19.4″ _module_preset=”default” background_enable_color=”off” global_colors_info=”{}”]<\/p>\n
Important Dates<\/h3>\n\n\n- Abstract submission deadline – 30 January 2023 (Monday)<\/strong><\/span> 04 February 2023 (Saturday)<\/strong><\/li>\n
- Paper submission deadline –3 February 2023 (Friday)<\/strong><\/span> 09 February 2023 (Thursday)<\/strong><\/li>\n
- Rebuttal – 24-28 March 2023 (Friday-Tuesday)<\/strong><\/li>\n
- Notification – 13 April 2023 (Thursday)<\/strong><\/li>\n
- Final version submission deadline – 27 April 2023 (Thursday)<\/strong><\/li>\n<\/ul>\n<\/blockquote>\n
[\/et_pb_text][et_pb_text quote_border_color=”#8e1313″ _builder_version=”4.17.4″ _module_preset=”default” background_enable_color=”off” global_colors_info=”{}”]<\/p>\n
Co – located Events<\/h3>\n\n\n- FSCD <\/span>Conference – 3-6 July 2023<\/strong><\/li>\n
- FSCD Satellite Events<\/a> – 1-2 July, 2023<\/strong><\/li>\n
- CADE-29 Conference<\/a> – 1-4 (morning), July 2023<\/strong><\/li>\n
- CADE-29 Satellite Events<\/a> – 4 (afternoon)-6 July, 2023<\/strong><\/li>\n<\/ul>\n<\/blockquote>\n
[\/et_pb_text][et_pb_text quote_border_color=”#8e1313″ _builder_version=”4.20.2″ _module_preset=”default” background_enable_color=”off” global_colors_info=”{}”]<\/p>\n
Latest News<\/span><\/span><\/p>\n\nCheck out the list of Accepted Papers here!<\/a><\/p>\nCheck the conference satellite events here\u00a0<\/a><\/p>\nCall for papers is now available<\/a><\/p>\nCall for Workshop & Tutorial Proposals is now available<\/a><\/p>\n<\/blockquote>\n[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ fullwidth=”on” _builder_version=”4.17.4″ background_enable_image=”off” parallax=”on” global_colors_info=”{}”][et_pb_fullwidth_slider _builder_version=”4.17.4″ custom_margin=”24px|||||” global_colors_info=”{}”][et_pb_slide heading=”ROME, ITALY” button_text=”More about Rome” button_link=”https:\/\/easyconferences.eu\/fscd2023\/about-rome\/” use_bg_overlay=”off” use_text_overlay=”on” text_overlay_color=”rgba(0,0,0,0.67)” text_border_radius=”35px” _builder_version=”4.17.4″ header_font=”|700|||||||” body_text_color=”#ffffff” background_image=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/11\/When-in-Rome-celebrate-Saturnalia-by-Microsoft-Wallpapers.jpg” background_enable_image=”on” custom_button=”on” button_text_size=”21px” button_text_color=”#ffffff” button_bg_color=”#a52615″ child_filter_saturate=”0%” child_filter_saturate_last_edited=”off|desktop” global_colors_info=”{}” child_filter_saturate__hover_enabled=”on|desktop” child_filter_saturate__hover=”100%” sticky_transition=”on”]<\/p>\n
Rome, Italy <\/strong>will be the host city and country for FSCD 2023. Rome offers many advantages as a location. It is readily accessible -at affordable prices- internationally and directly from all major European air hubs (e.g. London, Frankfurt etc.). Rome is also accessible from the Americas, Asia, Africa and Middle East.<\/p>\n[\/et_pb_slide][\/et_pb_fullwidth_slider][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_row column_structure=”1_2,1_2″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”1_2″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”]<\/p>\n
Organiser<\/strong><\/h3>\n<\/strong><\/p>\n![\"\"](\"https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2020\/07\/sapienzalogo-300x90.png\")
<\/strong><\/p>\n[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.16″ _module_preset=”default” custom_padding=”0px|||||” global_colors_info=”{}”][et_pb_row _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.16″ _module_preset=”default” custom_padding=”|||15px|false|false” link_option_url=”https:\/\/attend.ieee.org\/isc2-2022\/travel-information\/#lufthansa” global_colors_info=”{}”]<\/p>\n
<\/strong><\/h3>\nSpecial Lufthansa Group airlines fares<\/strong> for flights to Rome (FCO).<\/h3>\nClick here<\/span><\/a> for more information<\/h3>\n[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_5,1_5,1_5,1_5,1_5″ _builder_version=”4.16″ _module_preset=”default” link_option_url=”https:\/\/attend.ieee.org\/isc2-2022\/travel-information\/#lufthansa” link_option_url_new_window=”on” global_colors_info=”{}”][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Austrian.png” title_text=”Austrian” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Brussels.png” title_text=”Brussels” url=”https:\/\/www.visitcyprus.com\/index.php\/en\/” url_new_window=”on” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Eurowings.png” title_text=”Eurowings” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/12\/Lufthansa-1.png” title_text=”Lufthansa” url=”https:\/\/www.visitpafos.org.cy\/” url_new_window=”on” align=”center” _builder_version=”4.16″ _module_preset=”default” width=”102%” max_width=”100%” height=”50px” max_height=”1000px” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Swiss.png” title_text=”Swiss” url=”https:\/\/pafos.org.cy\/” url_new_window=”on” module_id=”one” module_class=”one” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.17.4″ _module_preset=”default” background_color=”#b7b7b7″ custom_padding=”0px||0px|||” global_colors_info=”{}”][et_pb_row _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.17.4″ header_2_text_color=”#ffffff” background_color=”#b7b7b7″ custom_padding=”10px|10px|10px|10px|false|false” box_shadow_style=”preset2″ global_colors_info=”{}”]<\/p>\n
Contact<\/span><\/h2>\nFor organizational matters and enquiries on academic program please contact:<\/strong><\/span><\/p>\n\n\n<\/span><\/h4>\nDaniele Gorla<\/span><\/h4>\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 column_structure=”3_5,2_5″ _builder_version=”4.17.4″ width=”99.8%” custom_padding=”49px||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>\nFSCD<\/strong><\/a>\u00a0covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (RewritingTechniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.<\/span><\/span><\/p>\nThe 8th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held in Rome, July 3-6, 2023, with workshops on the preceding two days.<\/strong><\/p>\nFSCD is a series of annual conferences, started in 2016, which merged and superseded two long-running conferences:<\/p>\n
\n- RTA<\/a>\u00a0<\/span>(Rewriting Techniques and Applications), celebrated since 1985.<\/li>\n
- TLCA<\/a>\u00a0<\/span>(Typed Lambda Calculi and Applications), celebrated since 1993.<\/li>\n<\/ul>\n
Building on the RTA and TLCA communities, FSCD updates and modernizes the RTA and TLCA core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas.\u00a0<\/p>\n
FSCD 2023 will be co-located with CADE-29.\u00a0<\/a><\/p>\n <\/p>\n
[\/et_pb_text][et_pb_button button_url=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2023\/03\/FSCD-2023-Sponsorship-Package.pdf” url_new_window=”on” button_text=”Sponsorship Opportunities” button_alignment=”center” _builder_version=”4.19.4″ _module_preset=”default” custom_button=”on” button_text_size=”20px” button_text_color=”#991a0f” button_border_width=”3px” button_border_radius=”10px” button_font=”|600|||||||” button_icon=”5||divi||400″ global_colors_info=”{}”][\/et_pb_button][\/et_pb_column][et_pb_column type=”2_5″ _builder_version=”4.17.4″ background_enable_color=”off” global_colors_info=”{}”][et_pb_button button_url=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2023\/06\/INSIDE_FSCD_web.pdf” url_new_window=”on” button_text=”Download Conference handbook” button_alignment=”center” _builder_version=”4.20.2″ _module_preset=”default” custom_button=”on” button_text_size=”20px” button_text_color=”#991a0f” button_border_width=”3px” button_border_radius=”10px” button_font=”|600|||||||” button_icon=”5||divi||400″ global_colors_info=”{}”][\/et_pb_button][et_pb_text _builder_version=”4.20.2″ _module_preset=”default” hover_enabled=”0″ sticky_enabled=”0″ border_radii=”on|1px|1px|1px|1px” border_width_all=”1px”]<\/p>\n
FSCD Steering Committee Election<\/a><\/p>\n[\/et_pb_text][et_pb_text _builder_version=”4.20.2″ _module_preset=”default” custom_margin=”||||false|false” custom_padding=”10px|10px|10px|10px|false|false” border_width_all=”1px” global_colors_info=”{}”]<\/p>\n
Connect with colleagues & organise your stay in Rome.<\/span><\/p>\nClick on the image to join the FSCD\/CADE 2023 community<\/p>\n
<\/a><\/p>\n[\/et_pb_text][et_pb_text quote_border_color=”#8e1313″ _builder_version=”4.19.4″ _module_preset=”default” background_enable_color=”off” global_colors_info=”{}”]<\/p>\n
Important Dates<\/h3>\n\n\n- Abstract submission deadline – 30 January 2023 (Monday)<\/strong><\/span> 04 February 2023 (Saturday)<\/strong><\/li>\n
- Paper submission deadline –3 February 2023 (Friday)<\/strong><\/span> 09 February 2023 (Thursday)<\/strong><\/li>\n
- Rebuttal – 24-28 March 2023 (Friday-Tuesday)<\/strong><\/li>\n
- Notification – 13 April 2023 (Thursday)<\/strong><\/li>\n
- Final version submission deadline – 27 April 2023 (Thursday)<\/strong><\/li>\n<\/ul>\n<\/blockquote>\n
[\/et_pb_text][et_pb_text quote_border_color=”#8e1313″ _builder_version=”4.17.4″ _module_preset=”default” background_enable_color=”off” global_colors_info=”{}”]<\/p>\n
Co – located Events<\/h3>\n\n\n- FSCD <\/span>Conference – 3-6 July 2023<\/strong><\/li>\n
- FSCD Satellite Events<\/a> – 1-2 July, 2023<\/strong><\/li>\n
- CADE-29 Conference<\/a> – 1-4 (morning), July 2023<\/strong><\/li>\n
- CADE-29 Satellite Events<\/a> – 4 (afternoon)-6 July, 2023<\/strong><\/li>\n<\/ul>\n<\/blockquote>\n
[\/et_pb_text][et_pb_text quote_border_color=”#8e1313″ _builder_version=”4.20.2″ _module_preset=”default” background_enable_color=”off” global_colors_info=”{}”]<\/p>\n
Latest News<\/span><\/span><\/p>\n\nCheck out the list of Accepted Papers here!<\/a><\/p>\nCheck the conference satellite events here\u00a0<\/a><\/p>\nCall for papers is now available<\/a><\/p>\nCall for Workshop & Tutorial Proposals is now available<\/a><\/p>\n<\/blockquote>\n[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ fullwidth=”on” _builder_version=”4.17.4″ background_enable_image=”off” parallax=”on” global_colors_info=”{}”][et_pb_fullwidth_slider _builder_version=”4.17.4″ custom_margin=”24px|||||” global_colors_info=”{}”][et_pb_slide heading=”ROME, ITALY” button_text=”More about Rome” button_link=”https:\/\/easyconferences.eu\/fscd2023\/about-rome\/” use_bg_overlay=”off” use_text_overlay=”on” text_overlay_color=”rgba(0,0,0,0.67)” text_border_radius=”35px” _builder_version=”4.17.4″ header_font=”|700|||||||” body_text_color=”#ffffff” background_image=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/11\/When-in-Rome-celebrate-Saturnalia-by-Microsoft-Wallpapers.jpg” background_enable_image=”on” custom_button=”on” button_text_size=”21px” button_text_color=”#ffffff” button_bg_color=”#a52615″ child_filter_saturate=”0%” child_filter_saturate_last_edited=”off|desktop” global_colors_info=”{}” child_filter_saturate__hover_enabled=”on|desktop” child_filter_saturate__hover=”100%” sticky_transition=”on”]<\/p>\n
Rome, Italy <\/strong>will be the host city and country for FSCD 2023. Rome offers many advantages as a location. It is readily accessible -at affordable prices- internationally and directly from all major European air hubs (e.g. London, Frankfurt etc.). Rome is also accessible from the Americas, Asia, Africa and Middle East.<\/p>\n[\/et_pb_slide][\/et_pb_fullwidth_slider][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_row column_structure=”1_2,1_2″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”1_2″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”]<\/p>\n
Organiser<\/strong><\/h3>\n<\/strong><\/p>\n<\/strong><\/p>\n[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.16″ _module_preset=”default” custom_padding=”0px|||||” global_colors_info=”{}”][et_pb_row _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.16″ _module_preset=”default” custom_padding=”|||15px|false|false” link_option_url=”https:\/\/attend.ieee.org\/isc2-2022\/travel-information\/#lufthansa” global_colors_info=”{}”]<\/p>\n
<\/strong><\/h3>\nSpecial Lufthansa Group airlines fares<\/strong> for flights to Rome (FCO).<\/h3>\nClick here<\/span><\/a> for more information<\/h3>\n[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_5,1_5,1_5,1_5,1_5″ _builder_version=”4.16″ _module_preset=”default” link_option_url=”https:\/\/attend.ieee.org\/isc2-2022\/travel-information\/#lufthansa” link_option_url_new_window=”on” global_colors_info=”{}”][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Austrian.png” title_text=”Austrian” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Brussels.png” title_text=”Brussels” url=”https:\/\/www.visitcyprus.com\/index.php\/en\/” url_new_window=”on” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Eurowings.png” title_text=”Eurowings” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/12\/Lufthansa-1.png” title_text=”Lufthansa” url=”https:\/\/www.visitpafos.org.cy\/” url_new_window=”on” align=”center” _builder_version=”4.16″ _module_preset=”default” width=”102%” max_width=”100%” height=”50px” max_height=”1000px” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Swiss.png” title_text=”Swiss” url=”https:\/\/pafos.org.cy\/” url_new_window=”on” module_id=”one” module_class=”one” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.17.4″ _module_preset=”default” background_color=”#b7b7b7″ custom_padding=”0px||0px|||” global_colors_info=”{}”][et_pb_row _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.17.4″ header_2_text_color=”#ffffff” background_color=”#b7b7b7″ custom_padding=”10px|10px|10px|10px|false|false” box_shadow_style=”preset2″ global_colors_info=”{}”]<\/p>\n
Contact<\/span><\/h2>\nFor organizational matters and enquiries on academic program please contact:<\/strong><\/span><\/p>\n\n\n<\/span><\/h4>\nDaniele Gorla<\/span><\/h4>\n
FSCD<\/strong><\/a>\u00a0covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (RewritingTechniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.<\/span><\/span><\/p>\n The 8th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held in Rome, July 3-6, 2023, with workshops on the preceding two days.<\/strong><\/p>\n FSCD is a series of annual conferences, started in 2016, which merged and superseded two long-running conferences:<\/p>\n Building on the RTA and TLCA communities, FSCD updates and modernizes the RTA and TLCA core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas.\u00a0<\/p>\n FSCD 2023 will be co-located with CADE-29.\u00a0<\/a><\/p>\n <\/p>\n [\/et_pb_text][et_pb_button button_url=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2023\/03\/FSCD-2023-Sponsorship-Package.pdf” url_new_window=”on” button_text=”Sponsorship Opportunities” button_alignment=”center” _builder_version=”4.19.4″ _module_preset=”default” custom_button=”on” button_text_size=”20px” button_text_color=”#991a0f” button_border_width=”3px” button_border_radius=”10px” button_font=”|600|||||||” button_icon=”5||divi||400″ global_colors_info=”{}”][\/et_pb_button][\/et_pb_column][et_pb_column type=”2_5″ _builder_version=”4.17.4″ background_enable_color=”off” global_colors_info=”{}”][et_pb_button button_url=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2023\/06\/INSIDE_FSCD_web.pdf” url_new_window=”on” button_text=”Download Conference handbook” button_alignment=”center” _builder_version=”4.20.2″ _module_preset=”default” custom_button=”on” button_text_size=”20px” button_text_color=”#991a0f” button_border_width=”3px” button_border_radius=”10px” button_font=”|600|||||||” button_icon=”5||divi||400″ global_colors_info=”{}”][\/et_pb_button][et_pb_text _builder_version=”4.20.2″ _module_preset=”default” hover_enabled=”0″ sticky_enabled=”0″ border_radii=”on|1px|1px|1px|1px” border_width_all=”1px”]<\/p>\n FSCD Steering Committee Election<\/a><\/p>\n [\/et_pb_text][et_pb_text _builder_version=”4.20.2″ _module_preset=”default” custom_margin=”||||false|false” custom_padding=”10px|10px|10px|10px|false|false” border_width_all=”1px” global_colors_info=”{}”]<\/p>\n Connect with colleagues & organise your stay in Rome.<\/span><\/p>\n Click on the image to join the FSCD\/CADE 2023 community<\/p>\n [\/et_pb_text][et_pb_text quote_border_color=”#8e1313″ _builder_version=”4.19.4″ _module_preset=”default” background_enable_color=”off” global_colors_info=”{}”]<\/p>\n [\/et_pb_text][et_pb_text quote_border_color=”#8e1313″ _builder_version=”4.17.4″ _module_preset=”default” background_enable_color=”off” global_colors_info=”{}”]<\/p>\n [\/et_pb_text][et_pb_text quote_border_color=”#8e1313″ _builder_version=”4.20.2″ _module_preset=”default” background_enable_color=”off” global_colors_info=”{}”]<\/p>\n Latest News<\/span><\/span><\/p>\n Check out the list of Accepted Papers here!<\/a><\/p>\n Check the conference satellite events here\u00a0<\/a><\/p>\n Call for papers is now available<\/a><\/p>\n Call for Workshop & Tutorial Proposals is now available<\/a><\/p>\n<\/blockquote>\n [\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ fullwidth=”on” _builder_version=”4.17.4″ background_enable_image=”off” parallax=”on” global_colors_info=”{}”][et_pb_fullwidth_slider _builder_version=”4.17.4″ custom_margin=”24px|||||” global_colors_info=”{}”][et_pb_slide heading=”ROME, ITALY” button_text=”More about Rome” button_link=”https:\/\/easyconferences.eu\/fscd2023\/about-rome\/” use_bg_overlay=”off” use_text_overlay=”on” text_overlay_color=”rgba(0,0,0,0.67)” text_border_radius=”35px” _builder_version=”4.17.4″ header_font=”|700|||||||” body_text_color=”#ffffff” background_image=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/11\/When-in-Rome-celebrate-Saturnalia-by-Microsoft-Wallpapers.jpg” background_enable_image=”on” custom_button=”on” button_text_size=”21px” button_text_color=”#ffffff” button_bg_color=”#a52615″ child_filter_saturate=”0%” child_filter_saturate_last_edited=”off|desktop” global_colors_info=”{}” child_filter_saturate__hover_enabled=”on|desktop” child_filter_saturate__hover=”100%” sticky_transition=”on”]<\/p>\n Rome, Italy <\/strong>will be the host city and country for FSCD 2023. Rome offers many advantages as a location. It is readily accessible -at affordable prices- internationally and directly from all major European air hubs (e.g. London, Frankfurt etc.). Rome is also accessible from the Americas, Asia, Africa and Middle East.<\/p>\n [\/et_pb_slide][\/et_pb_fullwidth_slider][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_row column_structure=”1_2,1_2″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”1_2″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”]<\/p>\n <\/strong><\/p>\n [\/et_pb_text][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.16″ _module_preset=”default” custom_padding=”0px|||||” global_colors_info=”{}”][et_pb_row _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.16″ _module_preset=”default” custom_padding=”|||15px|false|false” link_option_url=”https:\/\/attend.ieee.org\/isc2-2022\/travel-information\/#lufthansa” global_colors_info=”{}”]<\/p>\n [\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_5,1_5,1_5,1_5,1_5″ _builder_version=”4.16″ _module_preset=”default” link_option_url=”https:\/\/attend.ieee.org\/isc2-2022\/travel-information\/#lufthansa” link_option_url_new_window=”on” global_colors_info=”{}”][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Austrian.png” title_text=”Austrian” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Brussels.png” title_text=”Brussels” url=”https:\/\/www.visitcyprus.com\/index.php\/en\/” url_new_window=”on” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Eurowings.png” title_text=”Eurowings” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/12\/Lufthansa-1.png” title_text=”Lufthansa” url=”https:\/\/www.visitpafos.org.cy\/” url_new_window=”on” align=”center” _builder_version=”4.16″ _module_preset=”default” width=”102%” max_width=”100%” height=”50px” max_height=”1000px” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/easyconferences.eu\/fscd2023\/wp-content\/uploads\/2022\/07\/Swiss.png” title_text=”Swiss” url=”https:\/\/pafos.org.cy\/” url_new_window=”on” module_id=”one” module_class=”one” _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.17.4″ _module_preset=”default” background_color=”#b7b7b7″ custom_padding=”0px||0px|||” global_colors_info=”{}”][et_pb_row _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.17.4″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.17.4″ header_2_text_color=”#ffffff” background_color=”#b7b7b7″ custom_padding=”10px|10px|10px|10px|false|false” box_shadow_style=”preset2″ global_colors_info=”{}”]<\/p>\n For organizational matters and enquiries on academic program please contact:<\/strong><\/span><\/p>\n\n
<\/a><\/p>\nImportant Dates<\/h3>\n
\n
\n
Co – located Events<\/h3>\n
\n
\n
\n
Organiser<\/strong><\/h3>\n
<\/strong><\/p>\n<\/strong><\/h3>\n
Special Lufthansa Group airlines fares<\/strong> for flights to Rome (FCO).<\/h3>\n
Click here<\/span><\/a> for more information<\/h3>\n
Contact<\/span><\/h2>\n
<\/span><\/h4>\n
Daniele Gorla<\/span><\/h4>\n