You must enable JavaScript to use this site
  • NFM 2020 - Workshop on Natural Formal Mathematics
    one day within July 26-31, 2020, exact day to be announced

    The workshop will take place virtually with the exact details to be anounced.
    Please mail any questions or expressions of interest directly to the workshop chairs.

    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.

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

    • The notion of naturality in mathematics generally
    • Natural input and output languages for formal mathematics systems
    • Parsing natural mathematical language
    • Controlled natural languages (CNL) for mathematics
    • Making formal mathematics documents readable
    • Naturality of foundational theories (types, sets, HOL, ...)
    • Naturality of proof methods
    • Natural proof structures and granularities
    • Natural structurings of formalized mathematical texts and libraries
    • Mathematical type setting (LaTeX) and formal mathematics
    • Examples of natural formalizations

    Invited speaker: tba

    Submissions

    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 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

    The submission is via easychair.

    At least one author of each accepted extended abstract/demonstration proposal is expected to attend NFM and presents his/her extended abstract/demonstration. The extended abstracts will be made available online.

    Program Committee

    • Florian Rabe, Erlangen (co-chair)
    • Peter Koepke, Bonn (co-chair)
    • Merlin Carl, Flensburg
    • Marcos Cramer, Dresden
    • Adam Grabowski, Bialystok
    • Michael Junk, Konstanz
    • Cezary Kaliszyk, Innsbruck
    • Andrea Kohlhase, Neu-Ulm
    • Aarne Ranta, Gothenburg
    • Josef Urban, Prague
  • News

    • Final papers upload open
    • Accepted papers online
    • Notifications sent out
    • Decision phase completed
    • Rebuttal phase completed
    • Reviews sent out
    • Reviewing phase completed
    • Submission (main) closed
    • Cfp third round
    • Deadline extension
    • Cfp second round
    • Invited keynotes complete
    • Springer LNCS proceedings
    • Cfp first round
    • Dates online
    • Calls online
    • Invited speakers
    • PC online
    • Initial website online
Privacy policy and legal information
Last modified: May 19 2020 21:58:51 CEST