<div dir="ltr">                       -------------------------------------------------------------------------------<br>          Fifteenth Conference on Interactive Theorem Proving <span class="gmail-il">ITP</span> <span class="gmail-il">2024</span><br>                      September 9-14, <span class="gmail-il">2024</span>, Tbilisi, Georgia<br>                      <a href="https://urldefense.com/v3/__https://www.viam.science.tsu.ge/itp2024/__;!!IBzWLUs!QMFICFnP5lEQYnsYSsnr2zLB7NvdAd-yckcjdHGkE_8ByTAlaczdA5xhHemJSNFfCvW-s_BEu6CaGtXxxvQVE0kShbHsyg$" target="_blank">https://www.viam.science.tsu.ge/itp2024/</a><br>                     Call for Workshop and Tutorial Proposals<br> -------------------------------------------------------------------------------<br><br> The <span class="gmail-il">ITP</span> conference organizers are soliciting proposals for affiliated workshops<br> and tutorials. Members of the community are invited to submit proposals on any<br> topic related to interactive theorem proving. Workshops typically feature<br> presentations of ongoing research that is not ready yet for formal publication,<br> and tutorials may e.g. present extended demos of particular software. The <span class="gmail-il">ITP</span><br> organizers encourage a broad interpretation of the above formats and welcome<br> proposals for any kind of event that benefits the <span class="gmail-il">ITP</span> community.<br><br> The workshops and tutorials will take place 13-14 September (last two days of the conference).<br> <br> Workshop/tutorial proposals should contain the following data:<br><br> - Name of the workshop/tutorial.<br> - Brief description of the workshop/tutorial, including workshop topics.<br> - Previous instances of the event (if any).<br> - Contact information and affiliation of the workshop/tutorial organizers.<br> - An estimate of the audience size.<br> - Proposed format of the workshop/tutorial (e.g. regular talks, tool demos,<br>    poster presentations, etc.).<br> - Duration of the workshop/tutorial (e.g. full-day or half-day) and the<br>    preferred day.<br> - Special technical or AV needs (if any).<br><br> All proposals should be submitted by e-mail <a href="mailto:to%3Abdundua@gmail.com" target="_blank">to:bdundua@gmail.com</a>.<br> The deadline for submitting a proposal is March 5, <span class="gmail-il">2024</span>.<br> Earlier submissions are encouraged, and notifications of acceptance will be<br> issued on a rolling basis.                  <br></div>