categories - Category Theory list
 help / color / mirror / Atom feed
* SUBJECT: Last Call (deadline Jan 31): School of Formalized Mathematics (May 13 - 17, 2024)
@ 2024-01-30 19:35 Valeria de Paiva
  0 siblings, 0 replies; only message in thread
From: Valeria de Paiva @ 2024-01-30 19:35 UTC (permalink / raw)
  To: categories

[-- Attachment #1: Type: text/plain, Size: 2338 bytes --]

The Hausdorff Trimester "Prospects of Formalized Mathematics" will organize a "School of Formalized Mathematics" (May 13 - 17, 2024). This is targeted towards junior research ers and Mathematicans 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.




Valeria de Paiva<><><>

You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<>   |   Leave group<>   |   Learn more about Microsoft 365 Groups<>

[-- Attachment #2: Type: text/html, Size: 6338 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2024-01-30 19:38 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-01-30 19:35 SUBJECT: Last Call (deadline Jan 31): School of Formalized Mathematics (May 13 - 17, 2024) Valeria de Paiva

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).