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 PM Josef Urban <josef.ur...@gmail.com> 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.] > > ========== > > 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 > >
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
