[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 others 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://urldefense.com/v3/__https://him-application.uni-bonn.de/index.php?id=5960__;!!IBzWLUs!S4GFlNH-BN5ckZa_z_HWmNS1i4qn-egIpHmzc8oWbUGGvdYdLJrq-pLNhWTJd-CvXy5JYhmqz48uXV7Dynor11amN0EhIMdgX_c2eKYY$
--
Valeria de Paiva
https://urldefense.com/v3/__http://vcvpaiva.github.io/__;!!IBzWLUs!S4GFlNH-BN5ckZa_z_HWmNS1i4qn-egIpHmzc8oWbUGGvdYdLJrq-pLNhWTJd-CvXy5JYhmqz48uXV7Dynor11amN0EhIMdgX1ceZLAg$
https://urldefense.com/v3/__https://topos.institute/__;!!IBzWLUs!S4GFlNH-BN5ckZa_z_HWmNS1i4qn-egIpHmzc8oWbUGGvdYdLJrq-pLNhWTJd-CvXy5JYhmqz48uXV7Dynor11amN0EhIMdgX_Q5TF47$
https://urldefense.com/v3/__http://www.cs.bham.ac.uk/*vdp/__;fg!!IBzWLUs!S4GFlNH-BN5ckZa_z_HWmNS1i4qn-egIpHmzc8oWbUGGvdYdLJrq-pLNhWTJd-CvXy5JYhmqz48uXV7Dynor11amN0EhIMdgX_9veDBf$
