[et_pb_section fb_built=”1″ next_background_color=”#ffffff” _builder_version=”4.4.6″ background_color=”#8c8c8c” top_divider_color=”#b53319″ bottom_divider_style=”arrow3″][et_pb_row _builder_version=”4.4.6″ custom_margin=”-26px|auto||auto||”][et_pb_column type=”4_4″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″]<\/p>\n
[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.4.6″][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″]<\/p>\n
The ITP conference series is concerned with all topics related to\u00a0interactive theorem proving, ranging from theoretical foundations to\u00a0<\/span>implementation aspects and applications in system verification,\u00a0<\/span>security, and formalization of mathematics. The 12th ITP conference,\u00a0<\/span>ITP 2021, will be held in Rome between 29 June and 1 July.<\/span><\/p>\n It will be co-located with LICS conference.<\/span><\/p>\n ITP will carefully monitor the development of the COVID-19 pandemic,\u00a0<\/span>and take guidance from the health authorities to determine whether\u00a0<\/span>ITP21 will be held physically, virtually, or in a hybrid manner.<\/span><\/p>\n Researchers and practitioners are invited to\u00a0<\/span>submit proposals for\u00a0<\/strong>co-located workshops<\/strong>\u00a0on topics relating to interactive theorem\u00a0<\/span>proving. Workshops can target the ITP community in general, focus on a\u00a0<\/span>particular ITP system, or highlight more specific issues or recent\u00a0<\/span>developments. Proposals for in-depth tutorials or tool introductions\u00a0<\/span>are also welcome.<\/span><\/p>\n Co-located events will take place on 28 June and 2 July<\/strong>\u00a0and\u00a0<\/span>will be held on the same premises as the main conference. In case of\u00a0\u00a0<\/span>needs, we are\u00a0<\/span>ready to discuss and try to accommodate requests for\u00a0 two-day workshops. Conference facilities are offered free of charge to\u00a0one of the organizers and one of the invited speakers. Workshop-only\u00a0attendees will enjoy a significantly reduced registration fee.<\/p>\n Detailed organizational matters such as paper submission and review\u00a0<\/span>process, or publication of proceedings, are up to the organizers of\u00a0<\/span>individual workshops. All accepted workshops will be expected to have\u00a0<\/span>their program ready by 4 June, 2021.<\/span><\/p>\n Proposals for workshops should contain at least the following pieces\u00a0<\/span>of information:<\/span><\/p>\n \u00a0– name and contact details of the main organizer(s)<\/span><\/p>\n – (if applicable:) names of additional organizers<\/span><\/p>\n – title and organizational style of the workshop (tutorial, public\u00a0<\/span>workshop, project workshop, etc.)<\/span><\/p>\n – preferred length of the workshop (half day or full day)<\/span><\/p>\n – estimated number of attendees<\/span><\/p>\n – short (up to one page) description of the topic<\/span><\/p>\n – (if applicable:) pointers to previous editions of the workshop, or\u00a0<\/span>to similar events<\/span><\/p>\n