Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Abstracts: Workshop on Natural Formal...

Email Gateway (Aug 26 2025 at 06:23):

From: serge.autexier@dfki.de

======================================================================
Call for Abstracts

NatFoM 2025
Workshop on Natural Formal Mathematics
Tentative date: October 6, 2025

At the
Conference on Intelligent Computer Mathematics
October 6 – 11, 2025
Brasilia, Brazil
======================================================================

In (pure) mathematics, there has always been a strong informal sense
of “naturality” of topics and methods. Generally, “natural” theories,
notions, properties, or proofs are preferred over technical,
convoluted, or counterintuitive approaches. If formal mathematics is
to become part of mainstream mathematics, its formalizations and usage
have to become more “natural”, and thus closer to informal
mathematics.

This workshop broadly addresses the issue of naturality in formal
mathematics. It will take place in the context of the CICM conference,
tentatively on Monday, Oct. 6, 2025 (to be confirmed). We plan to hold
open discussions on naturalness in formal mathematics.

Topics of interest include (but are not limited to):

• The notion of naturality in mathematics generally
• Natural mathematical language

• Translations between informal and formal mathematics using
  statistical or symbolic techniques

• Natural input and output languages for formal mathematics systems

• Controlled natural languages (CNL) for mathematics
• Making formal mathematics documents readable

• Naturality of foundational theories (type theory, set theory, HOL,
  etc.)

• Naturality of proof methods

• Natural proof structures and granularities
• Natural structurings of formalized mathematical texts and libraries
• Mathematical typesetting (LaTeX) and formal mathematics
• Natural formalizations

Call for abstracts

We invite you to submit extended abstracts or demonstration proposals
(up to 500 words).

At least one author of each accepted extended abstract or
demonstration proposal is expected to attend NatFoM and present their
submission in person. Accepted abstracts will be made available
online. Accepted abstracts can optionally be extended to a full paper
(5–15 pages) after the workshop. We are considering publication on
CEUR-WS, so please use their LaTeX format.

Please send your abstract/demonstration proposal as a PDF via email to
both Frederik (jan.frederik.schaefer@fau.de) and Marcel
(marcel.schuetz@fau.de).

Rolling submission until September 7 (earlier submissions will receive
earlier notifications).

Program Committee

• Adrian De Lon, Bonn, Germany (co-chair)
• Peter Koepke, Bonn, Germany (co-chair)
• Marcel Schütz, Erlangen, Germany (co-chair)
• Jan Frederik Schaefer, Erlangen, Germany (co-chair)
• ...

Further Information

Workshop Website:
https://cicm-conference.org/2025/cicm.php?event=natfom

Conference Website: https://cicm-conference.org/2025/

If you have any questions, please contact Marcel Schütz
<marcel.schuetz@fau.de>

Last updated: Sep 13 2025 at 04:22 UTC