
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>

<div><span>--------------------------------------------------------------------</span></div>

<div><span>ITP2021: Interactive Theorem Proving, 12th International Conference</span></div>

<div><span>2021, June 29-July 1, Rome, Italy</span></div>

<div><a class="editor-rtfLink" href="http://easyconferences.eu/itp2021/" target="_blank" rel="noopener noreferrer"><span>http://easyconferences.eu/itp2021/</span></a><span> </span></div>

<div><span>--------------------------------------------------------------------</span></div>

<div> </div>

<div><span>SECOND CALL FOR WORKSHOPS</span></div>

<div> </div>

<div><span>The ITP conference series is concerned with all topics related to</span></div>

<div><span>interactive theorem proving, ranging from theoretical foundations to</span></div>

<div><span>implementation aspects and applications in system verification,</span></div>

<div><span>security, and formalization of mathematics. The 12th ITP conference,</span></div>

<div><span>ITP 2021, will be held in Rome between 29 June and 1 July.</span></div>

<div><span>It will be co-located with LICS and ICTCS conferences.</span></div>

<div> </div>

<div><span>ITP will carefully monitor the development of the COVID-19 pandemic,</span></div>

<div><span>and take guidance from the health authorities to determine whether</span></div>

<div><span>ITP21 will be held physically, virtually, or in a hybrid manner.</span></div>

<div> </div>

<div><span>Researchers and practitioners are invited to </span><strong>submit proposals for</strong></div>

<div><strong>co-located workshops</strong><span> on topics relating to interactive theorem</span></div>

<div><span>proving. Workshops can target the ITP community in general, focus on a</span></div>

<div><span>particular ITP system, or highlight more specific issues or recent</span></div>

<div><span>developments. Proposals for in-depth tutorials or tool introductions</span></div>

<div><span>are also welcome.</span></div>

<div> </div>

<div><strong>Co-located events will take place on 28 June and 2 July</strong><span> and</span></div>

<div><span>will be held on the same premises as the main conference. In case of </span></div>

<div><span>needs, we are </span>ready to discuss and try to accommodate requests for </div>

<div>two-day workshops. Conference facilities are offered free of charge to </div>

<div>one of the organizers and one of the invited speakers. Workshop-only </div>

<div>attendees will enjoy a significantly reduced registration fee.</div>

<div> </div>

<div><span>Detailed organizational matters such as paper submission and review</span></div>

<div><span>process, or publication of proceedings, are up to the organizers of</span></div>

<div><span>individual workshops. All accepted workshops will be expected to have</span></div>

<div><span>their program ready by 4 June, 2021.</span></div>

<div> </div>

<div><span>Proposals for workshops should contain at least the following pieces</span></div>

<div><span>of information:</span></div>

<ul>

<li><span>name and contact details of the main organizer(s)</span></li>

<li><span>(if applicable:) names of additional organizers</span></li>

<li><span>title and organizational style of the workshop (tutorial, public<br /></span><span>workshop, project workshop, etc.)</span></li>

<li><span>preferred length of the workshop (half day or full day)</span></li>

<li><span>estimated number of attendees</span></li>

<li><span>short (up to one page) description of the topic</span></li>

<li><span>(if applicable:) pointers to previous editions of the workshop, or<br /></span><span>to similar events</span></li>

<li><span>(if applicable:) special needs for an online event</span></li>

</ul>

<div><span>Proposals should be submitted by email to </span></div>

<div><a class="editor-rtfLink" href="mailto:itp2021-workshops@easyconferences.eu"><span>itp2021-workshops@easyconferences.eu</span></a><span>,</span></div>

<div><span>no later than 11 January, 2021.</span></div>

<div><span>Selected workshops will be notified by 15 January, 2021.</span></div>

</body></html>