Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024)

--0000000000007ee97806103c1e6d
Content-Type: text/plain; charset="UTF-8"

[This is a very late call and we are hoping for at least an informal
deadline extension; please advertise/send it to people who might be
interested.]

==========

The Hausdorff Trimester "Prospects of Formalized Mathematics" will organize
a "School of Formalized Mathematics" (May 13 - 17, 2024). This is targeted
towards junior researchers and mathematicians with little prior exposure to
Formalization and Automated Theorem Proving and any who are interested in
this technology.

Prospective participants can still apply at [1] DEADLINE: Jan. 31. 2024
(CET).

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.

[1] https://him-application.uni-bonn.de/index.php?id=5960

--0000000000007ee97806103c1e6d
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_quote"><div dir=3D"ltr"><p>[This is a =
very late call and we are hoping for at least an informal deadline extensio=
n; please advertise/send it to people who might be interested.]=C2=A0</p><p=
>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</p><p>The Hausdorff Trimester &quot;Prospec=
ts of Formalized Mathematics&quot; will organize a &quot;School of Formaliz=
ed Mathematics&quot; (<span style=3D"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 a=
nd any who are interested in this technology.=C2=A0</span><br></p><p><span =
style=3D"font-family:Aptos,sans-serif">Prospective participants can still a=
pply at [1] DEADLINE: Jan. 31. 2024 (CET).<br></span></p><p>At the school t=
he major theorem proving systems and libraries are introduced by their deve=
lopers. 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 intr=
oduce the systems in a ca. 20 min lightning talks, and in the remaining day=
s present specific aspects of general interest of the systems (please volun=
teer two topics) in 40 min presentations. In the afternoons we will form sm=
all groups that get their hands dirty in specific formalization projects.<b=
r></p><p><span style=3D"font-family:Aptos,sans-serif">[1]=C2=A0<a href=3D"h=
ttps://him-application.uni-bonn.de/index.php?id=3D5960" target=3D"_blank">h=
ttps://him-application.uni-bonn.de/index.php?id=3D5960</a></span></p><br></=
div>
</div></div>

--0000000000007ee97806103c1e6d--