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

--000000000000335c0306103f3560
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

The deadline for applications has been extended until Sunday (February 4)
midnight CET.

More information about the trimester is at
https://www.mathematics.uni-bonn.de/him/programs/future/tp_2024_05 and the
school at
https://www.mathematics.uni-bonn.de/him/programs/future/tp_2024_05#wks4 .

On Wed, Jan 31, 2024 at 12:24=E2=80=AFPM Josef Urban <[email protected]=
> wrote:

> [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.]
>
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
>
> 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 pri=
or
> 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 mornin=
gs
> 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=3D5960
>
>

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

<div dir=3D"ltr"><div dir=3D"ltr">The deadline for applications has been ex=
tended until Sunday (February 4) midnight CET.<br></div><div dir=3D"ltr"><b=
r></div><div>More information about the trimester is at=C2=A0<a href=3D"htt=
ps://www.mathematics.uni-bonn.de/him/programs/future/tp_2024_05">https://ww=
w.mathematics.uni-bonn.de/him/programs/future/tp_2024_05</a> and the school=
 at=C2=A0<a href=3D"https://www.mathematics.uni-bonn.de/him/programs/future=
/tp_2024_05#wks4">https://www.mathematics.uni-bonn.de/him/programs/future/t=
p_2024_05#wks4</a> .</div><br><div class=3D"gmail_quote"><div dir=3D"ltr" c=
lass=3D"gmail_attr">On Wed, Jan 31, 2024 at 12:24=E2=80=AFPM Josef Urban &l=
t;<a href=3D"mailto:[email protected]">[email protected]</a>&gt; wr=
ote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px=
 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D=
"ltr"><div class=3D"gmail_quote"><div dir=3D"ltr"><p>[This is a very late c=
all and we are hoping for at least an informal deadline extension; please a=
dvertise/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;Prospects of Form=
alized Mathematics&quot; will organize a &quot;School of Formalized Mathema=
tics&quot; (<span style=3D"font-family:Aptos,sans-serif">May 13 - 17, 2024)=
. This is targeted towards junior researchers and mathematicians with littl=
e prior exposure to Formalization and Automated Theorem Proving and any who=
 are interested in this technology.=C2=A0</span><br></p><p><span style=3D"f=
ont-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 t=
heorem proving systems and libraries are introduced by their developers. We=
 envision it to be quite informal, hands-on, and interactive. We plan to ha=
ve 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 t=
opics) 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=3D"font-family:Aptos,sans-serif">[1]=C2=A0<a href=3D"https://him=
-application.uni-bonn.de/index.php?id=3D5960" target=3D"_blank">https://him=
-application.uni-bonn.de/index.php?id=3D5960</a></span></p><br></div>
</div></div>
</blockquote></div></div>

--000000000000335c0306103f3560--