<div dir="ltr"><span style="color:rgb(36,36,36);font-size:14.6667px">Call for Bids to Host FroCoS-ITP-TABLEAUX 2025</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">==============================================</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">We are pleased to announce the call for proposals for hosting and organising FroCoS-ITP-TABLEAUX 2025, on their 15th, 16th and 33rd editions, respectively.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">- FroCoS (</span><a href="https://urldefense.com/v3/__http://frocos.cs.uiowa.edu/__;!!IBzWLUs!X_uwPb9bGtAxTAxzc3dWPvzF-M01YsfxFhFzh1miFlweoJfNs9ACRrR3gswwqKzlg5Xti0ussApn-20GC0ULwBMCdmGLDbba6D0jYiiZ$" target="_blank" rel="noopener noreferrer" style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:14.6667px;line-height:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">http://frocos.cs.uiowa.edu/</a><span style="color:rgb(36,36,36);font-size:14.6667px">) is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">- ITP (</span><a href="https://urldefense.com/v3/__https://itp-conference.github.io/__;!!IBzWLUs!X_uwPb9bGtAxTAxzc3dWPvzF-M01YsfxFhFzh1miFlweoJfNs9ACRrR3gswwqKzlg5Xti0ussApn-20GC0ULwBMCdmGLDbba6MpO_9eh$" target="_blank" rel="noopener noreferrer" style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:14.6667px;line-height:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">https://itp-conference.github.io/</a><span style="color:rgb(36,36,36);font-size:14.6667px">) is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">- TABLEAUX (</span><a href="https://urldefense.com/v3/__http://www.tableaux-ar.org/__;!!IBzWLUs!X_uwPb9bGtAxTAxzc3dWPvzF-M01YsfxFhFzh1miFlweoJfNs9ACRrR3gswwqKzlg5Xti0ussApn-20GC0ULwBMCdmGLDbba6IXHgo0y$" target="_blank" rel="noopener noreferrer" style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:14.6667px;line-height:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">http://www.tableaux-ar.org/</a><span style="color:rgb(36,36,36);font-size:14.6667px">) is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableaux-based reasoning and related methods is presented.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">FroCoS and Tableaux have co-located for quite a number of editions, and in 2017 we had a very successful edition of the three conferences running together. In 2025 we intend to resume this partnership. We expect the 2025 edition of FroCoS+Tableaux to have around 100 participants. ITP tends to have 75-100 participants.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">Bids should be sent to <a href="mailto:frocos.itp.tableaux@gmail.com">frocos.itp.tableaux@gmail.com</a> and should include at least the following information:</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">       • name and email address of a contact person</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">       • names of other people involved</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">       • address of website for the bid</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">       • approximate dates of the conference</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">       • structure (e.g., k workshop days and n days of presentations, excursion, etc.)</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">       • advantages of the proposed venue</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">       • estimated costs and registration fee</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">The deadline for bids is Monday, 15 April 2024. Shortly after, all admitted bids will be made public and the voting phase will take place. The people eligible to vote are those who are seriously considering attending FroCoS-ITP-TABLEAUX 2025. The voting system used will be single transferable vote between all received bids.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">FroCoS-ITP-TABLEAUX Steering Committees</span><br clear="all"><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><font face="arial, sans-serif"><span style="color:rgb(32,31,30)">Elaine.</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">-----------------------------------</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">Elaine Pimentel</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">Associate Professor in Programming Principles, Logic, and Verification</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">Department of Computer Science</span><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">University College London</span></font></div><div dir="ltr"><font face="arial, sans-serif"><font color="#201f1e"><a href="https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!X_uwPb9bGtAxTAxzc3dWPvzF-M01YsfxFhFzh1miFlweoJfNs9ACRrR3gswwqKzlg5Xti0ussApn-20GC0ULwBMCdmGLDbba6I3nvfsu$" target="_blank">https://sites.google.com/site/elainepimentel/</a></font><br style="color:rgb(32,31,30)"><span style="color:rgb(32,31,30)">-----------------------------------</span></font><br></div></div></div></div></div></div>