{"id":2,"date":"2018-06-06T12:57:54","date_gmt":"2018-06-06T12:57:54","guid":{"rendered":"http:\/\/easyconferences.eu\/fscd2019\/?page_id=2"},"modified":"2019-06-25T06:32:41","modified_gmt":"2019-06-25T06:32:41","slug":"sample-page","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/fscd2019\/","title":{"rendered":"Home"},"content":{"rendered":"

[et_pb_section fb_built=”1″ admin_label=”section” _builder_version=”3.17.2″ background_image=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2018\/10\/fscd.png” parallax=”on” custom_padding=”108px|0px|96px|0px|false|false”][et_pb_row custom_padding=”31px|0px|94px|0px|false|false” _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″ inline_fonts=”Advent Pro”]<\/p>\n

FSCD 2019<\/b><\/span><\/h1>\n

INTERNATIONAL CONFERENCE<\/span><\/h1>\n

ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION<\/span><\/h1>\n
JUNE 24-30,2019<\/strong><\/span>
\n DORTMUND, GERMANY<\/b><\/span><\/div>\n

[\/et_pb_text][et_pb_button button_url=”http:\/\/easyconferences.eu\/fscd2019\/registration-2\/” button_text=”Register Here” button_alignment=”center” _builder_version=”3.17.2″ custom_button=”on” button_text_size=”14px” button_text_color=”#ffffff” button_border_width=”3px” button_border_color=”#ffffff” button_border_radius=”0px” button_letter_spacing=”4px” button_font=”Verdana||||||||”][\/et_pb_button][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”3.17.2″][et_pb_row _builder_version=”3.17.2″][et_pb_column type=”3_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″ background_color=”rgba(224,214,192,0.49)”]<\/p>\n

Registration is closed!<\/span><\/a><\/h4>\n

[\/et_pb_text][et_pb_button button_url=”http:\/\/easyconferences.eu\/fscd2019\/call-for-nomination\/” button_text=”Steering Committee Membership Election 2019 ” _builder_version=”3.17.2″ custom_button=”on” button_text_size=”18px” button_text_color=”#8300e9″ button_border_color=”#8300e9″ button_font=”||||||||”][\/et_pb_button][et_pb_button button_url=”http:\/\/easyconferences.eu\/fscd2019\/workshops\/” button_text=”FSCD 2019 Workshops” _builder_version=”3.17.2″][\/et_pb_button][et_pb_text _builder_version=”3.17.2″ animation_style=”fade”]<\/p>\n

WHO<\/strong><\/span><\/p>\n

FSCD<\/strong><\/a> covers 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.<\/p>\n

The organising institution is TU Dortmund<\/strong><\/a> which was founded 50 years ago and has 16 faculties ranging from science and engineering to social sciences and cultural studies. The University has near to 34,600 students and 6,200 members of staff, including 300 professors. All scientific disciplines share a common university spirit in which interdisciplinary, communication and cooperation are not only taught, but are actively lived by. This interactive culture creates a supportive environment that sparks technological innovation and drives advances in methods and knowledge.<\/p>\n

[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n

IMPORTANT DATES<\/strong><\/h4>\n

<\/strong><\/span><\/p>\n

Titles and Short Abstracts\u00a0 \u00a0 \u00a0<\/strong> <\/span><\/p>\n

\u00a08 February 2019\u00a0<\/span><\/p>\n

Full Papers\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0\u00a0<\/span><\/strong><\/p>\n

\u00a011 February 2019\u00a0<\/b><\/span><\/p>\n

Rebuttal period<\/span><\/strong><\/p>\n

\u00a028 March – 1 April 2019<\/span><\/p>\n

Authors Notification<\/strong><\/span><\/p>\n

8 April 2019\u00a0<\/span><\/p>\n

Final version for proceedings<\/span><\/strong><\/p>\n

22 April \u00a02019<\/span><\/p>\n

Conference Dates<\/span><\/strong><\/p>\n

24 – 30 June 2019<\/span><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”3.17.2″ background_color=”rgba(12,12,12,0.7)” background_image=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2019\/02\/workshop-with-audience.jpg” background_blend=”overlay” custom_padding=”7px|0px|11px|0px|false|false”][et_pb_row custom_padding=”25px|0px|31px|0px|false|false” _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n

Workshops<\/span><\/h1>\n

 <\/p>\n

FSCD 2019 will be the fourth edition of the International Conference on Formal Structures for\u00a0Computation and Deduction. The FSCD conference was created by the communities behind two\u00a0major conferences, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda\u00a0Calculi and Applications). The first event took place in Porto, Portugal in June 2016 and was\u00a0extremely successful, attracting 186 participants and 11 workshops.\u00a0\u00a0We invite proposals for workshops, tutorials or other satellite events, on any topic to related\u00a0<\/span>formal structures in computation and deduction, from theoretical foundations to tools and\u00a0<\/span>applications.<\/span><\/span><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_button button_url=”http:\/\/easyconferences.eu\/fscd2019\/workshops\/” button_text=”More Information” button_alignment=”center” _builder_version=”3.17.2″ custom_button=”on” button_text_color=”#ffffff” button_bg_color=”#0c71c3″ button_border_width=”0px” button_border_radius=”0px” button_font=”||||||||”][\/et_pb_button][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”3.17.2″ background_color=”#f4f4f4″ custom_padding=”0|0px|0|0px|false|false”][et_pb_row _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n

Invited Speakers<\/strong><\/span><\/p>\n

Click on the images for more information<\/strong><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.17.2″][et_pb_column type=”1_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_blurb image=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2018\/11\/accattoli.png” module_class=”popmake-beniamino-accattoli-inria-paris-france” _builder_version=”3.17.2″ box_shadow_style_image=”preset4″ text_orientation=”center”]<\/p>\n

Beniamino Accattoli<\/strong>
(INRIA, Paris, France)<\/p>\n

[\/et_pb_blurb][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_blurb image=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2018\/11\/female.png” module_class=”popmake-616″ _builder_version=”3.17.2″ box_shadow_style_image=”preset4″ text_orientation=”center” child_mix_blend_mode=”multiply”]<\/p>\n

Amy Felty<\/strong>
(University of Ottawa, Canada)<\/p>\n

[\/et_pb_blurb][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_blurb image=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2018\/11\/sara.png” module_class=”popmake-626″ _builder_version=”3.17.2″ box_shadow_style_image=”preset4″ text_orientation=”center”]<\/p>\n

Sarah Winkler<\/strong>
(University of Innsbruck, Austria)<\/p>\n

[\/et_pb_blurb][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_blurb image=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2018\/11\/ypoung.png” module_class=”popmake-643″ _builder_version=”3.17.2″ box_shadow_style_image=”preset4″ text_orientation=”center”]<\/p>\n

Hongseok Yang\u00a0<\/span><\/strong>
(KAIST,Korea)<\/span><\/p>\n

 <\/p>\n

[\/et_pb_blurb][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”3.17.2″ background_color=”#0509ff” use_background_color_gradient=”on” background_color_gradient_end=”#0081af” background_image=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2018\/10\/U.png” background_size=”contain” background_position=”top_left” background_blend=”color-burn” custom_padding=”0|0px|51.1875px|0px|false|false” animation_style=”fade”][et_pb_row _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n

VENUE \/ U-TOWER<\/span><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row custom_padding=”31px|0px|23px|0px|false|false” _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n

Dortmund\u2019s U-Tower is the venue of FSCD2019. Is a new type of cultural centre with art exhibitions, research, cultural education and creativity all under one roof. It is a symbol of the cultural revival and structural change in the Ruhr Area. The various cultural institutions and organisations based in the tower cooperate to deliver innovative programmes and events with an international reach, including exhibitions, film programmes, workshops, lectures, discussions, concerts, club evenings, and video and sound installations.<\/span><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row custom_padding=”29.9653px|0px|0|0px|false|false” _builder_version=”3.17.2″][et_pb_column type=”4_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_button button_url=”http:\/\/easyconferences.eu\/fscd2019\/venue\/” button_text=”More Information” button_alignment=”center” _builder_version=”3.17.2″ custom_button=”on” button_text_color=”#0c71c3″ button_bg_color=”#ffffff” button_border_width=”0px” button_border_color=”#ffffff” button_border_radius=”0px” button_font=”||||||||” button_icon_color=”#0c71c3″][\/et_pb_button][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”3.17.2″ background_color=”#ffffff” background_size=”contain” background_position=”top_left” background_blend=”color-burn” custom_padding=”0|0px|51.1875px|0px|false|false” animation_style=”fade”][et_pb_row custom_padding=”32px|0px|23px|0px|false|false” _builder_version=”3.17.2″][et_pb_column type=”1_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″ ul_font=”||||||||” ol_font=”||||||||”]<\/p>\n

Scientific Partner<\/strong><\/span><\/p>\n

[\/et_pb_text][et_pb_image src=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2019\/06\/LEIZLIT@3x.png” align=”center” _builder_version=”3.17.2″ custom_margin=”63px||” url=”https:\/\/leistungszentrum-logistik-it.de\/”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″ ul_font=”||||||||” ol_font=”||||||||”]<\/p>\n

Supported by<\/strong><\/span><\/p>\n

[\/et_pb_text][et_pb_image src=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2019\/06\/FSCD_HANDBOOK_final_19june.png” _builder_version=”3.17.2″ max_width=”49%” module_alignment=”center” custom_margin=”13px||” url=”https:\/\/www.dortmund.de\/en\/”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n

Sponsors<\/strong><\/span><\/p>\n

[\/et_pb_text][et_pb_image src=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2019\/05\/170518_MAX_Logo_FINAL_simple-01.jpg” _builder_version=”3.17.2″ max_width=”82%” module_alignment=”center”][\/et_pb_image][et_pb_image src=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2019\/05\/AIDO_Logo_farbig_cmyk_breit.png” _builder_version=”3.17.2″][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”3.17.2″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.2″]<\/p>\n

Sponsoring Airline<\/strong><\/span><\/p>\n

[\/et_pb_text][et_pb_image src=”http:\/\/easyconferences.eu\/fscd2019\/wp-content\/uploads\/2019\/02\/Capture.png” _builder_version=”3.17.2″ max_width=”62%” module_alignment=”center”][\/et_pb_image][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

FSCD 2019 INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION JUNE 24-30,2019 DORTMUND, GERMANY Registration is closed!WHO FSCD covers 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 […]<\/p>\n","protected":false},"author":1,"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":"This is an example page. It's different from a blog post because it will stay in one place and will show up in your site navigation (in most themes). Most people start with an About page that introduces them to potential site visitors. It might say something like this:\r\n

Hi there! I'm a bike messenger by day, aspiring actor by night, and this is my website. I live in Los Angeles, have a great dog named Jack, and I like pi\u00f1a coladas. (And gettin' caught in the rain.)<\/blockquote>\r\n...or something like this:\r\n
The XYZ Doohickey Company was founded in 1971, and has been providing quality doohickeys to the public ever since. Located in Gotham City, XYZ employs over 2,000 people and does all kinds of awesome things for the Gotham community.<\/blockquote>\r\nAs a new WordPress user, you should go to your dashboard<\/a> to delete this page and create new pages for your content. Have fun!","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/fscd2019\/wp-json\/wp\/v2\/pages\/2"}],"collection":[{"href":"https:\/\/easyconferences.eu\/fscd2019\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/fscd2019\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/fscd2019\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/fscd2019\/wp-json\/wp\/v2\/comments?post=2"}],"version-history":[{"count":73,"href":"https:\/\/easyconferences.eu\/fscd2019\/wp-json\/wp\/v2\/pages\/2\/revisions"}],"predecessor-version":[{"id":1129,"href":"https:\/\/easyconferences.eu\/fscd2019\/wp-json\/wp\/v2\/pages\/2\/revisions\/1129"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/fscd2019\/wp-json\/wp\/v2\/media?parent=2"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}