29 June – 01 July, 2021<\/strong><\/h3>\nOnline<\/b><\/h2>\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_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” da_disable_devices=”off|off|off”][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 LICS 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_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” da_disable_devices=”off|off|off”][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_margin=”-17px||4px|||” link_option_url=”https:\/\/easyconferences.eu\/itp2021\/program\/” link_option_url_new_window=”on” hover_enabled=”0″ custom_padding=”8px||13px|||”]<\/p>\n
Videos of sessions\/presentations are posted on the program<\/u><\/b><\/span><\/a><\/p>\n[\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”#aa2e16″]<\/p>\n
ITP 2021 Proceedings<\/span><\/h2>\n\u00a0ITP Proceedings are available here: https:\/\/drops.dagstuhl.de\/opus\/volltexte\/2021\/13894\/pdf\/lipics-vol193-itp2021-complete.pdf<\/a><\/span><\/span><\/p>\n\u00a0Individual papers are available here:<\/span> https:\/\/drops.dagstuhl.de\/opus\/portals\/lipics\/index.php?semnr=16189<\/a><\/span><\/p>\n<\/span><\/p>\n[\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”#b3b3b3″]<\/p>\n
ITP 2021 Online<\/span><\/span><\/h2>\nDue to the COVID-19 global pandemic, ITP 2021 will transition to an online format. This decision\u00a0will alleviate the inherent difficulties and travel restrictions incurred by the pandemic, offering the\u00a0widest spread of new scientific knowledge with the lowest risk to participants. The Organizers are\u00a0committed in offering the best possible online experience to attendees.<\/span>[\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”#aa2e16″ custom_margin=”-26px||21px|||”]<\/p>\nIMPORTANT<\/span><\/h2>\nA message has been sent out (Wednesday, 23 June) to all participants and presenters with Zoom room links.<\/span><\/p>\nPlease look for an email from\u00a0info@easyconferences.org<\/a>\u00a0in your Inbox\/Spam folder.<\/span><\/p>\nIf 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=”#b3b3b3″ custom_margin=”-17px||20px|||”]<\/p>\n
Registration<\/a><\/span> 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|||”]<\/p>\n
Deadline for Author Registration has been extended to 14 May, 2021<\/span><\/b><\/span><\/p>\n[\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”#b3b3b3″ custom_margin=”-17px||20px|||” link_option_url=”https:\/\/easyconferences.eu\/itp2021\/program\/” link_option_url_new_window=”on”]<\/p>\n
Program is available<\/u><\/b><\/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_padding=”0px||42px|||”][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>\nITP 2021 is the twelfth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects to applications in program verification, security, and formalization of mathematics. ITP 2021 will be co-located with LICS 2021<\/a><\/span>\u00a0and will take place online.<\/span><\/span><\/p>\nTo learn more about ITP and find details on the history and organization of the conference series visit the official website:\u00a0https:\/\/itp-conference.github.io<\/a><\/span><\/span>\u00a0<\/span><\/strong><\/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<\/h5>\n
Main Conference:<\/strong> 29 June – 01 July, 2021<\/span><\/p>\nWorkshops:<\/strong> 28 June and 02 July, 2021<\/span><\/p>\nWorkshop proposal deadline:<\/strong> January 11, 2021<\/span><\/p>\nWorkshop proposal notification by:<\/strong> January 15, 2021<\/span><\/p>\nAbstract submission deadline:<\/strong> January 25, 2021<\/span><\/p>\nPaper submission deadline:<\/strong> February 1, 2021<\/span><\/p>\nAuthor notification:<\/strong> March 25, 2021<\/span><\/p>\nCamera-ready copy due:<\/strong> April 20, 2021<\/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
Contact<\/span><\/h2>\nFor organizational matters please contact:<\/strong><\/span><\/p>\n\n\n<\/span><\/h4>\nDaniele Gorla<\/span><\/h4>\ngorla@di.uniroma1.it<\/a><\/span><\/p>\nFor enquiries regarding the Scientific Program \/ Paper Writing and Submissions please contact:<\/span><\/strong><\/span><\/p>\nLiron Cohen
Cezary Kaliszyk<\/span><\/h4>\nitp2021@easychair.org<\/a><\/span><\/p>\nFor enquiries and support on registration, travel and logistics please contact:<\/strong><\/span><\/p>\nEasy Conferences<\/span><\/h4>\ninfo@easyconferences.eu<\/a><\/span><\/p>\nTel: +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![\"\"](\"http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2020\/06\/Sapienza-Universita-di-Roma-300x91.png\")
<\/h2>\n\n\n<\/span><\/p>\n<\/span><\/p>\nThe 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\nProfile<\/strong><\/span><\/p>\nWith 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\nThe Department of Computer Science<\/strong>
<\/span><\/p>\nFounded 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>\nThe 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_section][et_pb_section fb_built=”1″ fullwidth=”on” _builder_version=”4.4.6″ background_image=”http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2020\/06\/rome_d.jpg” 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” da_disable_devices=”off|off|off”][et_pb_fullwidth_slider _builder_version=”4.4.6″][et_pb_slide heading=”ROME, ITALY” button_text=”More about Rome” button_link=”http:\/\/easyconferences.eu\/itp2021\/about-rome\/” _builder_version=”4.4.6″ header_font=”|700|||||||” body_text_color=”#ffffff” background_image=”http:\/\/easyconferences.eu\/itp2021\/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″]<\/p>\n
Rome, Italy is the host city of\u00a0Universit\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":"
Interactive Theorem Proving 29 June – 01 July, 2021 OnlineCo-located with LICS 2021Videos of sessions\/presentations are posted on the program ITP 2021 Proceedings \u00a0ITP Proceedings are available here: https:\/\/drops.dagstuhl.de\/opus\/volltexte\/2021\/13894\/pdf\/lipics-vol193-itp2021-complete.pdf \u00a0Individual papers are available here: https:\/\/drops.dagstuhl.de\/opus\/portals\/lipics\/index.php?semnr=16189 ITP 2021 Online Due to the COVID-19 global pandemic, ITP 2021 will transition to an online format. This decision\u00a0will alleviate […]<\/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\/itp2021\/wp-json\/wp\/v2\/pages\/6"}],"collection":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/comments?post=6"}],"version-history":[{"count":41,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/6\/revisions"}],"predecessor-version":[{"id":539,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/6\/revisions\/539"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/media?parent=6"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
[\/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_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” da_disable_devices=”off|off|off”][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_margin=”-17px||4px|||” link_option_url=”https:\/\/easyconferences.eu\/itp2021\/program\/” link_option_url_new_window=”on” hover_enabled=”0″ custom_padding=”8px||13px|||”]<\/p>\n
Videos of sessions\/presentations are posted on the program<\/u><\/b><\/span><\/a><\/p>\n [\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”#aa2e16″]<\/p>\n \u00a0ITP Proceedings are available here: https:\/\/drops.dagstuhl.de\/opus\/volltexte\/2021\/13894\/pdf\/lipics-vol193-itp2021-complete.pdf<\/a><\/span><\/span><\/p>\n \u00a0Individual papers are available here:<\/span> https:\/\/drops.dagstuhl.de\/opus\/portals\/lipics\/index.php?semnr=16189<\/a><\/span><\/p>\n <\/span><\/p>\n [\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”#b3b3b3″]<\/p>\n Due to the COVID-19 global pandemic, ITP 2021 will transition to an online format. This decision\u00a0will alleviate the inherent difficulties and travel restrictions incurred by the pandemic, offering the\u00a0widest spread of new scientific knowledge with the lowest risk to participants. The Organizers are\u00a0committed in offering the best possible online experience to attendees.<\/span>[\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”#aa2e16″ custom_margin=”-26px||21px|||”]<\/p>\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=”#b3b3b3″ custom_margin=”-17px||20px|||”]<\/p>\n Registration<\/a><\/span> 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|||”]<\/p>\n Deadline for Author Registration has been extended to 14 May, 2021<\/span><\/b><\/span><\/p>\n [\/et_pb_text][et_pb_text _builder_version=”4.4.6″ background_color=”#b3b3b3″ custom_margin=”-17px||20px|||” link_option_url=”https:\/\/easyconferences.eu\/itp2021\/program\/” link_option_url_new_window=”on”]<\/p>\n Program is available<\/u><\/b><\/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_padding=”0px||42px|||”][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 ITP 2021 is the twelfth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects to applications in program verification, security, and formalization of mathematics. ITP 2021 will be co-located with LICS 2021<\/a><\/span>\u00a0and will take place online.<\/span><\/span><\/p>\n To learn more about ITP and find details on the history and organization of the conference series visit the official website:\u00a0https:\/\/itp-conference.github.io<\/a><\/span><\/span>\u00a0<\/span><\/strong><\/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 Main Conference:<\/strong> 29 June – 01 July, 2021<\/span><\/p>\n Workshops:<\/strong> 28 June and 02 July, 2021<\/span><\/p>\n Workshop proposal deadline:<\/strong> January 11, 2021<\/span><\/p>\n Workshop proposal notification by:<\/strong> January 15, 2021<\/span><\/p>\n Abstract submission deadline:<\/strong> January 25, 2021<\/span><\/p>\n Paper submission deadline:<\/strong> February 1, 2021<\/span><\/p>\n Author notification:<\/strong> March 25, 2021<\/span><\/p>\n Camera-ready copy due:<\/strong> April 20, 2021<\/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 For organizational matters please contact:<\/strong><\/span><\/p>\n gorla@di.uniroma1.it<\/a><\/span><\/p>\n For enquiries regarding the Scientific Program \/ Paper Writing and Submissions please contact:<\/span><\/strong><\/span><\/p>\n itp2021@easychair.org<\/a><\/span><\/p>\n For enquiries and support on registration, travel and logistics please contact:<\/strong><\/span><\/p>\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 <\/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 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 The Department of Computer Science<\/strong> 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_section][et_pb_section fb_built=”1″ fullwidth=”on” _builder_version=”4.4.6″ background_image=”http:\/\/easyconferences.eu\/itp2021\/wp-content\/uploads\/2020\/06\/rome_d.jpg” 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” da_disable_devices=”off|off|off”][et_pb_fullwidth_slider _builder_version=”4.4.6″][et_pb_slide heading=”ROME, ITALY” button_text=”More about Rome” button_link=”http:\/\/easyconferences.eu\/itp2021\/about-rome\/” _builder_version=”4.4.6″ header_font=”|700|||||||” body_text_color=”#ffffff” background_image=”http:\/\/easyconferences.eu\/itp2021\/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″]<\/p>\n Rome, Italy is the host city of\u00a0Universit\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":" Interactive Theorem Proving 29 June – 01 July, 2021 OnlineCo-located with LICS 2021Videos of sessions\/presentations are posted on the program ITP 2021 Proceedings \u00a0ITP Proceedings are available here: https:\/\/drops.dagstuhl.de\/opus\/volltexte\/2021\/13894\/pdf\/lipics-vol193-itp2021-complete.pdf \u00a0Individual papers are available here: https:\/\/drops.dagstuhl.de\/opus\/portals\/lipics\/index.php?semnr=16189 ITP 2021 Online Due to the COVID-19 global pandemic, ITP 2021 will transition to an online format. This decision\u00a0will alleviate […]<\/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\/itp2021\/wp-json\/wp\/v2\/pages\/6"}],"collection":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/comments?post=6"}],"version-history":[{"count":41,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/6\/revisions"}],"predecessor-version":[{"id":539,"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/pages\/6\/revisions\/539"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/itp2021\/wp-json\/wp\/v2\/media?parent=6"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}ITP 2021 Proceedings<\/span><\/h2>\n
ITP 2021 Online<\/span><\/span><\/h2>\n
IMPORTANT<\/span><\/h2>\n
About<\/span><\/h2>\n
Important Dates<\/span><\/h2>\n
<\/h5>\n
Contact<\/span><\/h2>\n
<\/span><\/h4>\n
Daniele Gorla<\/span><\/h4>\n
Liron Cohen
Cezary Kaliszyk<\/span><\/h4>\nEasy Conferences<\/span><\/h4>\n
Hosting Institution<\/span><\/h2>\n
<\/h2>\n
<\/h2>\n
<\/span><\/p>\n