<div dir="ltr"><p>The Hausdorff Trimester "Prospects of Formalized
      Mathematics" will organize a "School of Formalized Mathematics" (<span style="font-family:"Aptos",sans-serif">May 13 - 17,
        2024). This is targeted towards junior researchers and mathematicians with little prior exposure to Formalization and
        Automated Theorem Proving and any others who are interested in this
        technology.  <br>
      </span></p>
    <p><span style="font-family:"Aptos",sans-serif">Prospective
        participants can still apply at [1] DEADLINE: Jan. 31. 2024
        (CET). <br>
      </span></p>
    <p>At the school the major theorem proving systems and libraries are
      introduced by their developers. We envision it to be quite
      informal, hands-on, and interactive. We plan to have plenary
      sessions in the mornings 9-11 on Monday May 13 to introduce the
      systems in a ca. 20 min lightning talks, and in the remaining days
      present specific aspects of general interest of the systems
      (please volunteer two topics) in 40 min presentations. In the
      afternoons we will form small groups that get their hands dirty in
      specific formalization projects. <br>
    </p>
    <p><span style="font-family:"Aptos",sans-serif">[1]
        <a href="https://urldefense.com/v3/__https://him-application.uni-bonn.de/index.php?id=5960__;!!IBzWLUs!S4GFlNH-BN5ckZa_z_HWmNS1i4qn-egIpHmzc8oWbUGGvdYdLJrq-pLNhWTJd-CvXy5JYhmqz48uXV7Dynor11amN0EhIMdgX_c2eKYY$" target="_blank">https://him-application.uni-bonn.de/index.php?id=5960</a></span></p><p><span style="font-family:"Aptos",sans-serif"><br></span></p><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div>Valeria de Paiva<br><span><a href="https://urldefense.com/v3/__http://vcvpaiva.github.io/__;!!IBzWLUs!S4GFlNH-BN5ckZa_z_HWmNS1i4qn-egIpHmzc8oWbUGGvdYdLJrq-pLNhWTJd-CvXy5JYhmqz48uXV7Dynor11amN0EhIMdgX1ceZLAg$" target="_blank">http://vcvpaiva.github.io/</a></span></div><div><span><a href="https://urldefense.com/v3/__https://topos.institute/__;!!IBzWLUs!S4GFlNH-BN5ckZa_z_HWmNS1i4qn-egIpHmzc8oWbUGGvdYdLJrq-pLNhWTJd-CvXy5JYhmqz48uXV7Dynor11amN0EhIMdgX_Q5TF47$" target="_blank">https://topos.institute/</a></span></div><div><span></span><a href="https://urldefense.com/v3/__http://www.cs.bham.ac.uk/*vdp/__;fg!!IBzWLUs!S4GFlNH-BN5ckZa_z_HWmNS1i4qn-egIpHmzc8oWbUGGvdYdLJrq-pLNhWTJd-CvXy5JYhmqz48uXV7Dynor11amN0EhIMdgX_9veDBf$" target="_blank">http://www.cs.bham.ac.uk/~vdp/</a></div><div><br></div><div><br></div></div></div></div></div></div></div></div>