NatFoM2020: Natural Formal Mathematics Conference on Intelligent Computer Mathematics Bertinoro (virtual), Italy, July 26-31, 2020 |
Conference website | https://cicm-conference.org/2020/cicm.php?event=NFM&menu=general |
Submission link | https://easychair.org/conferences/?conf=natfom2020 |
Abstract registration deadline | June 15, 2020 |
Submission deadline | June 15, 2020 |
In (pure) mathematics there has always existed a strong informal sense of "naturality" of topics and methods. Generally "natural" theories, notions, properties, or proofs are prefered over technical, convoluted, or counterintuitive approaches. If formal mathematics is to become part of mainstream mathematics, its formalizations and usage apparently have to become more "natural". Or should mathematicians learn formal languages like Lean so that they regard them as natural? This workshop broadly addresses the issue of naturality in formal mathematics.
Submission Guidelines
We welcome submission of extended abstracts and demonstration proposals presenting work related to the workshop's topics of interest. Electronic submission is done through EasyChair. Extended abstracts and demonstration proposals should be about 1 page formatted in LaTeX using the style onecolceurws (the corresponding style files can be downloaded from here).
- Submission deadline: June 15 2020 (or later pending further developments of the CICM organization)
- Notification of acceptance: July 01 2020
Venue
The conference will be held as a part of the Conference on Intelligent Computer Mathematics, which will take place virtually.
The exact format of this virtual workshop will be decided later.
Organizers and Contact
The workshop will be organized by
- Florian Rabe, Erlangen
- Peter Koepke, Bonn
The organizers can be contacted at natfom2020 at easychair.
|