<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"><meta http-equiv="Content-Type" content="text/html charset=windows-1252"><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><span style="font-family: Monaco; ">ITP 2013: Fourth Conference on Interactive Theorem Proving</span></div><div><font face="Monaco"><br></font></div><div><font face="Monaco"> Rennes, France, July 23 - 26, 2013</font></div><div><font face="Monaco"><span style="background-color: transparent;"> <a href="http://itp2013.inria.fr">http://itp2013.inria.fr</a></span></font></div><div><font face="Monaco"><br>THE ITP CONFERENCE SERIES</font></div><div><font face="Monaco"><br>SCOPE AND ORGANIZATION OF WORKSHOPS<br><br></font></div><div><font face="Monaco">The ITP conference series is concerned with all topics related to </font></div><div><font face="Monaco">Interactive Theorem Proving, ranging from theoretical foundations </font></div><div><font face="Monaco">to </font><span style="font-family: Monaco; ">implementation aspects and applications in program</span><span style="font-family: Monaco; "> </span><span style="font-family: Monaco; ">verification, </span></div><div><font face="Monaco">security, and formalization of mathematics.<br><br>The fourth ITP conference, ITP 2013, will be held in Rennes, France,</font></div><div><font face="Monaco">between July 23th and July 26th, 2013. <br><br>Similar to previous iterations of the conference, researchers and </font></div><div><font face="Monaco">practitioners are invited to submit proposals for colocated </font></div><div><font face="Monaco">workshops </font><span style="font-family: Monaco; ">on topics relating to interactive theorem proving.</span><span style="font-family: Monaco; "> </span><span style="font-family: Monaco; ">Workshops </span></div><div><span style="font-family: Monaco; ">can </span><span style="font-family: Monaco; ">target the ITP community in general, focus on a </span></div><div><span style="font-family: Monaco; ">particular ITP system, or</span><span style="font-family: Monaco; "> </span><span style="font-family: Monaco; ">highlight more specific issues or recent</span><span style="font-family: Monaco; "> </span></div><div><span style="font-family: Monaco; ">d</span><span style="font-family: Monaco; ">evelopments.</span><span style="font-family: Monaco; ">Proposals for in-depth tutorials or tool introductions are</span></div><div><span style="font-family: Monaco; ">also </span><span style="font-family: Monaco; ">welcome.</span></div><div><font face="Monaco">All colocated events will precede the main conference, and will be</font></div><div><font face="Monaco">held in the Inria Rennes research center. Conference facilities </font></div><div><font face="Monaco">(meeting rooms, standard technical equipment) are offered free of</font></div><div><font face="Monaco">charge to the organizers; workshop-only attendees will enjoy a </font></div><div><font face="Monaco">significantly reduced registration fee. </font><span style="font-family: Monaco; ">Detailed organizational </span></div><div><span style="font-family: Monaco; ">matters such as paper submission and review process, or publication</span><span style="font-family: Monaco; "> </span></div><div><span style="font-family: Monaco; ">of proceedings, are up to the organizers of individual workshops.</span></div><div><span style="font-family: Monaco; ">All accepted workshops will</span><span style="font-family: Monaco; "> </span><span style="font-family: Monaco; ">be expected to have the program ready by</span></div><div><span style="font-family: Monaco; ">May 1st 2013.</span></div><div><font face="Monaco"><br></font></div><div><font face="Monaco">FORMAT OF PROPOSALS<br>Proposals for workshops should contain at least the following pieces</font></div><div><font face="Monaco">of information.<br><div>• name and contact details of the main organizer(s)<br></div><div>• names of additional organizers (optional)<br></div><div>• title and organizational style of workshop (tutorial, public</div><div> workshop, project workshop, etc)<br></div><div>• preferred length of workshop (half day, full day etc)<br></div><div>• estimated number of attendees<br></div><div>• short (up to 1 page) description of topic<br></div><div>• (if applicable) pointers to previous editions of the workshop, </div><div> or to similar events<br></div><div><font face="Monaco"><br></font></div>SUBMISSION AND NOTIFICATION DETAILS<br>Proposals are invited to be submitted by email to <a href="mailto:itp2012@easychair.org">itp2013@easychair.org</a>, </font></div><div><font face="Monaco">no later than December 20th, 2012.<br><div>Selected workshops will be notified by January 9th, 2013.</div> </font></div></body></html>