{"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":"2021-07-04T16:21:16","modified_gmt":"2021-07-04T16:21:16","slug":"home","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/lics2021\/","title":{"rendered":"Home"},"content":{"rendered":"

[et_pb_section fb_built=”1″ fullwidth=”on” _builder_version=”4.4.6″ da_disable_devices=”off|off|off” da_is_popup=”off” da_exit_intent=”off” da_has_close=”on” da_alt_close=”off” da_dark_close=”off” da_not_modal=”on” da_is_singular=”off” da_with_loader=”off” da_has_shadow=”on”][et_pb_fullwidth_slider _builder_version=”4.4.6″ custom_padding=”221px||227px|||”][et_pb_slide heading=”ACM\/IEEE LICS 2021″ use_bg_overlay=”on” bg_overlay_color=”rgba(0,0,0,0)” use_text_overlay=”on” _builder_version=”4.4.6″ header_level=”h1″ header_font=”|700|||||||” header_text_color=”#ffffff” header_font_size=”100px” background_image=”http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2020\/06\/le-colis\u00e9-de-rome.jpg” background_enable_image=”on” parallax=”on” header_text_shadow_style=”preset2″ header_text_shadow_color=”#5a0c1c” sticky_transition=”on”]<\/p>\n

36th Annual Symposium on Logic in Computer Science<\/strong><\/h1>\n

29 June – 02 July, 2021<\/strong><\/h3>\n

Online<\/b><\/h2>\n

<\/b><\/p>\n

[\/et_pb_slide][\/et_pb_fullwidth_slider][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.4.6″ background_color=”#aa2e16″ custom_padding=”10px||11px|||” da_disable_devices=”off|off|off” da_is_popup=”off” da_exit_intent=”off” da_has_close=”on” da_alt_close=”off” da_dark_close=”off” da_not_modal=”on” da_is_singular=”off” da_with_loader=”off” da_has_shadow=”on”][et_pb_row _builder_version=”4.4.6″ custom_padding=”2px||2px|||”][et_pb_column type=”4_4″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″ text_font=”Adamina||||||||” header_3_text_color=”#ffffff”]<\/p>\n

Co-located with ITP 2021<\/span><\/a><\/span><\/span><\/h3>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.4.6″ background_color=”#FFFFFF” custom_margin=”-10px|||||” custom_padding=”2px||0px|||” da_disable_devices=”off|off|off” da_is_popup=”off” da_exit_intent=”off” da_has_close=”on” da_alt_close=”off” da_dark_close=”off” da_not_modal=”on” da_is_singular=”off” da_with_loader=”off” da_has_shadow=”on”][et_pb_row _builder_version=”4.4.6″][et_pb_column type=”4_4″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″ background_color=”#b3b3b3″ custom_padding=”||12px|||”]<\/p>\n

LICS 2021 Online<\/span><\/span><\/h2>\n

The safety and well-being of all conference participants is our priority. After evaluating\u00a0the ongoing COVID-19 situation, the decision has been made to transform the\u00a0in-person component of the IEEE LICS 2021 conference into an all-digital conference experience \u2013\u00a0IEEE LICS 2021 will now be an online event.\u00a0Therefore<\/strong>,\u00a0IEEE LICS 2021 will no longer\u00a0take place in Rome (Italy) and will instead take place virtually.\u00a0<\/strong>The conference\u00a0dates remain the same \u2013 June 29-July 2, 2021. Proceedings will not be cancelled, and publications\u00a0will continue as planned.\u00a0For questions, contact<\/span>\u00a0gorla@di.uniroma1.it<\/a>.<\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”#aa2e16″ custom_margin=”-27px|||||”]<\/p>\n

IMPORTANT<\/span><\/h2>\n

A message has been sent out (Wednesday, 23 June) to all participants and presenters with Zoom room links.<\/span><\/p>\n

Please look for an email from\u00a0info@easyconferences.org<\/a>\u00a0in your Inbox\/Spam folder.<\/span><\/p>\n

If you have not received the message, please email us at\u00a0info@easyconferences.org.<\/a><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”rgba(0,0,0,0.29)” custom_margin=”-24px||21px|||” custom_padding=”3px||2px|||”]<\/p>\n

Registration<\/span><\/a> is now open<\/strong><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”#aa2e16″ custom_margin=”-17px||21px|||” custom_padding=”4px||4px|||” link_option_url=”https:\/\/easyconferences.eu\/lics2021\/best-papers\/” link_option_url_new_window=”on”]<\/p>\n

LICS Distinguished Papers &\u00a0Kleene Award for Best Student Paper<\/b><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”rgba(0,0,0,0.29)” custom_margin=”-17px||21px|||” custom_padding=”3px||2px|||” link_option_url=”http:\/\/easyconferences.eu\/lics2021\/program\/” link_option_url_new_window=”on”]<\/p>\n

LICS 2021 Program is now available<\/b><\/span><\/a><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.9.7″ background_color=”#aa2e16″ custom_margin=”-17px||21px|||” custom_padding=”4px||4px|||” link_option_url_new_window=”on” hover_enabled=”0″ sticky_enabled=”0″]<\/p>\n

Keynote speaker’s video presentations are now posted<\/strong><\/span><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_2,1_2″ _builder_version=”4.4.6″ width=”99.8%” custom_margin=”-39px|auto||auto||” custom_padding=”||45px|||”][et_pb_column type=”1_2″ _builder_version=”4.4.6″ background_color=”rgba(0,0,0,0)”][et_pb_text _builder_version=”4.4.6″ background_color=”#b3b3b3″ custom_margin=”||||false|false” custom_padding=”10px|10px|10px|10px|false|false” border_color_bottom=”#ffffff” box_shadow_style=”preset1″]<\/p>\n

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

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. The 36th iteration, LICS 2021, will be hosted in Rome, Italy, 29 June – 02 July 2021. LICS\u00a02021 will be co-located with ITP 2021.<\/a><\/span><\/span><\/span><\/span><\/p>\n

[\/et_pb_text][et_pb_text _builder_version=”4.4.6″ header_2_text_color=”#ffffff” background_color=”#b7b7b7″ custom_padding=”10px|10px|10px|10px|false|false” box_shadow_style=”preset2″]<\/p>\n

Important Dates<\/span><\/h2>\n
Tentative<\/span><\/h5>\n
Main Conference:<\/strong>\u00a029 June \u2013 02 July, 2021<\/span><\/h5>\n
Workshops:<\/strong>\u00a027 June and 28 June, 2021<\/span><\/h5>\n
Titles and Short Abstracts Due:<\/strong>\u00a020 January, 2021<\/span><\/h5>\n
Full Papers Due:<\/strong>\u00a025 January, 2021<\/span><\/h5>\n
Author Response Period:<\/strong>\u00a010-14 March, 2021<\/span><\/h5>\n
Author Notification:<\/strong>\u00a031 March, 2021<\/span><\/h5>\n

[\/et_pb_text][et_pb_text _builder_version=”4.4.6″ header_2_text_color=”#ffffff” background_color=”#b7b7b7″ custom_padding=”10px|10px|10px|10px|false|false” box_shadow_style=”preset2″]<\/p>\n

Contact<\/span><\/h2>\n

For organizational matters and enquiries on academic program please contact:<\/strong><\/span><\/p>\n

\n
\n

<\/span><\/h4>\n

Daniele Gorla<\/span><\/h4>\n

gorla@di.uniroma1.it<\/a><\/span><\/p>\n

For enquiries and support on registration, travel and logistics please contact:<\/strong><\/span><\/p>\n

Easy Conferences<\/span><\/h4>\n

info@easyconferences.eu<\/a><\/span><\/p>\n

Tel: +357 22 591 900<\/span><\/p>\n<\/div>\n<\/div>\n

[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”4.4.6″ background_color=”#9b301d”][et_pb_text _builder_version=”4.4.6″ header_2_text_color=”#ffffff” background_color=”#9b301d” custom_margin=”||||false|false” custom_padding=”10px|10px|10px|10px|false|false” box_shadow_style=”preset1″]<\/p>\n

Hosting Institution<\/span><\/h2>\n

<\/h2>\n

\"\"<\/h2>\n
\n
\n

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

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

The local host of the conference will be the Universit\u00e0 di Roma \u201cLa Sapienza\u201d<\/strong> and the hosting department will be the Dipartimento di Informatica (<\/strong>https:\/\/www.uniroma1.it\/en\/pagina-strutturale\/home<\/a> \u00a0and https:\/\/www.di.uniroma1.it\/en<\/a>, respectively).<\/span><\/p>\n<\/div>\n<\/div>\n

\n
\n

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

With over 700 years of history, 112,000 students, 4000 teachers and 2000 employees, technicians and librarians, in addition to 2000 administrative staff in university hospitals, Sapienza is the first university in Europe. Our mission is to contribute to the development of a knowledge society through research, excellence, quality education and international cooperation. The world\u2019s leading university rankings place Sapienza at the top of Italian universities for quality of research, education and international dimension; moreover, Sapienza excels and leads as a benchmark in many subject areas.<\/span><\/p>\n<\/div>\n<\/div>\n

\n
\n

The Department of Computer Science<\/strong>
<\/span><\/p>\n

Founded on January 1, 1992 under the initiative of a group of professors from the Department of Mathematics \u201cGuido Castelnuovo\u201d with backgrounds from a variety of fields such as physics, engineering, and mathematics, the department is set on building upon the scientific and mathematical backgrounds of the founders. The department became the first center in greater Rome dedicated to the study of theoretical and applied computer science and today is a reference point for well-prepared students to jump into\u00a0 the evolving field of Information and Communications Technology.\u00a0<\/span><\/p>\n

The department is internationally recognized as a center of excellence in many of the most important current areas of research in Computer Science.<\/span><\/span><\/p>\n<\/div>\n<\/div>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_3,1_3,1_3″ _builder_version=”4.9.7″ _module_preset=”default”][et_pb_column type=”1_3″ _builder_version=”4.9.7″ _module_preset=”default”][et_pb_text _builder_version=”4.9.7″ _module_preset=”default”]<\/p>\n

ACM Transactions on Computational Logic (TOCL)<\/strong><\/p>\n

[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”4.9.7″ _module_preset=”default”][et_pb_text _builder_version=”4.9.7″ _module_preset=”default”]<\/p>\n

The ACM Transactions on Computation Theory (TOCT)<\/strong><\/p>\n

[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”4.9.7″ _module_preset=”default”][et_pb_text _builder_version=”4.9.7″ _module_preset=”default”]<\/p>\n

ACM Transactions on Quantum Computing (TQC)<\/strong><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_3,1_3,1_3″ _builder_version=”4.9.7″ _module_preset=”default”][et_pb_column type=”1_3″ _builder_version=”4.9.7″ _module_preset=”default”][et_pb_image src=”http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2021\/06\/tocl-cfp-06-2021.jpg” title_text=”tocl-cfp-06-2021″ url=”http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2021\/06\/tocl-cfp-06-2021.jpg” url_new_window=”on” _builder_version=”4.9.7″ _module_preset=”default”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”4.9.7″ _module_preset=”default”][et_pb_image src=”http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2021\/06\/toct-cfp-06-2021.jpg” title_text=”toct-cfp-06-2021″ url=”http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2021\/06\/toct-cfp-06-2021.jpg” url_new_window=”on” _builder_version=”4.9.7″ _module_preset=”default”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”4.9.7″ _module_preset=”default”][et_pb_image src=”http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2021\/06\/tqc-Inaugural-Issue-Announcement-06-2021.jpg” title_text=”tqc-Inaugural-Issue-Announcement-06-2021″ url=”http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2021\/06\/tqc-Inaugural-Issue-Announcement-06-2021.jpg” url_new_window=”on” _builder_version=”4.9.7″ _module_preset=”default”][\/et_pb_image][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.4.6″ custom_margin=”44px|auto||auto||”][et_pb_column type=”4_4″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″]<\/p>\n

Sponsored by<\/strong><\/h2>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_4,1_4,1_4,1_4″ _builder_version=”4.4.6″][et_pb_column type=”1_4″ _builder_version=”4.4.6″][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”4.4.6″][et_pb_image src=”http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2020\/11\/IEEE-300×107.jpg” title_text=”IEEE” url=”https:\/\/www.ieee.org\/” url_new_window=”on” _builder_version=”4.4.6″ custom_padding=”31px||||false|false”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”4.4.6″][et_pb_image src=”http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2020\/11\/acm-300×300.png” title_text=”acm” url=”https:\/\/www.acm.org\/” url_new_window=”on” align=”center” _builder_version=”4.4.6″ width=”66%” module_alignment=”center”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”4.4.6″][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ fullwidth=”on” _builder_version=”4.4.6″ background_image=”http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2020\/06\/rome_d.jpg” da_disable_devices=”off|off|off” da_is_popup=”off” da_exit_intent=”off” da_has_close=”on” da_alt_close=”off” da_dark_close=”off” da_not_modal=”on” da_is_singular=”off” da_with_loader=”off” da_has_shadow=”on”][et_pb_fullwidth_slider _builder_version=”4.4.6″ custom_margin=”48px|||||”][et_pb_slide heading=”ROME, ITALY” button_text=”More about Rome” button_link=”http:\/\/easyconferences.eu\/lics2021\/about-rome\/” _builder_version=”4.4.6″ header_font=”|700|||||||” body_text_color=”#ffffff” background_image=”http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2020\/06\/rome_d.jpg” background_enable_image=”on” custom_button=”on” button_text_size=”21px” button_text_color=”#ffffff” button_bg_color=”#a52615″ sticky_transition=”on”]<\/p>\n

Rome, Italy is the host city of Universit\u00e0 di Roma \u201cLa Sapienza\u201d<\/span><\/strong>. 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]<\/p>\n","protected":false},"excerpt":{"rendered":"

36th Annual Symposium on Logic in Computer Science 29 June – 02 July, 2021 Online Co-located with ITP 2021LICS 2021 Online The safety and well-being of all conference participants is our priority. After evaluating\u00a0the ongoing COVID-19 situation, the decision has been made to transform the\u00a0in-person component of the IEEE LICS 2021 conference into an all-digital […]<\/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":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/6"}],"collection":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/comments?post=6"}],"version-history":[{"count":57,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/6\/revisions"}],"predecessor-version":[{"id":1053,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/6\/revisions\/1053"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/media?parent=6"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}