Logic List Mailing Archive

CfP: (Deadline extended till Feb 4): School of Formalized Mathematics, 13 - 17 May 2024, Bonn (Germany)

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 .

=============================================================

       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


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php